PLSQL Array Generator.ipynb

{
 "cells": [
  {
   "cell_type": "code",
   "execution_count": 1,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "array1820 integer[] := ARRAY[8260, 7562, 8735, 8900, 8901, 8902, 8985, 8837, 8794, 8340, 8338, 8543, 7244, 7274, 7275, 8736, 7243, 7213, 7214, 7241, 7977, 8520, 8633, 8612, 8813, 9541, 9542, 9543, 9628, 8255, 7277, 7278, 7279, 7285, 8753, 8759, 7211, 7212, 7022, 7037, 7041, 3061, 7283, 7270, 7967, 2832, 7168, 7169, 7070, 7038, 7034, 7245, 7370, 7259, 8204, 8619, 8566, 7965, 7972, 7684, 7072, 553218, 553220, 553223, 553238, 553302, 553305, 553342, 553343, 553344, 553346, 553347, 553349, 553350, 553351, 553356, 553357, 553358, 553359, 553361, 553363, 553367, 553372, 553373, 553374, 553379, 553381, 553387, 553388, 553389, 553390, 553391, 553392, 553393, 553394, 553396, 553400, 553402, 553405, 553406, 553407, 553415, 553419, 553421, 553423, 553425, 553447, 553448, 553451, 553452, 553453, 553454, 553455, 553456, 553462, 553466, 553467, 553468, 553470, 553475, 553477, 553478, 553479, 553480, 553482, 553484, 553489, 553491, 553494, 553496, 553497, 553499, 553501, 553506, 553507, 553509, 553511, 553512, 553513, 553514, 553515, 553518, 553519, 553520, 553521, 553522, 553525, 553526, 553527, 553528, 553529, 553541, 553546, 553547, 553551, 553552, 553556, 553568, 553570, 553573, 553587, 553590, 553592, 553593, 553595, 553604, 553605, 553608, 553609, 553611, 553649, 553652, 553654, 553655, 553674, 553676, 553679, 553680, 553683, 553694, 553695, 553698, 553699, 553700, 553738, 553739, 553746, 553757, 553758, 553759, 553760, 553761, 553763, 553765, 553766, 553767, 553768, 553784, 553785, 553786, 553787, 553788, 553789, 553790, 553792, 553793, 553794, 553795, 553798, 553800, 553810, 553811, 553812, 553813, 553819, 553832, 553833, 553834, 553836, 553838, 553850, 553853, 553855, 553856, 553857, 553895, 553896, 553897, 553898, 553899, 553902, 553906, 553909, 553911, 553912, 553913, 553914, 553921, 553922, 553924, 553925, 553926, 553927, 553928, 553929, 553935, 553936, 553937, 553940, 553941, 553952, 553955, 553958, 553959, 553961, 553965, 553969, 553970, 553971, 553976, 553981, 553985, 553986, 553987, 553988, 553989, 553992, 553996, 553997, 553999, 748073, 753470, 756262, 747656, 747955, 749178, 747604, 756808, 747803, 747448, 747685, 747746, 747603, 747719, 747747, 747833, 747521, 747582, 748059, 748084, 747473, 747602, 747635, 747857, 747447, 747550, 747740, 747990, 748004, 748045, 748086, 751465];\n",
      "array1830 integer[] := ARRAY[7209, 7971, 7975, 7266, 8723, 7970, 7871, 7210, 7002, 7054, 7176, 7177, 7909, 7685, 7515, 8301, 8751, 8862, 8842, 8798, 9464, 7029, 7030, 7032, 7012, 7047, 7055, 7062, 7065, 7066, 2652, 7272, 7015, 7016, 7017, 5605, 7052, 7053, 7024, 7011, 8540, 8627, 8698, 7297, 7352, 7335, 554010, 554012, 554013, 554014, 554016, 554050, 554052, 554053, 554055, 554057, 554058, 554067, 554068, 554070, 554071, 554072, 554073, 554074, 554075, 554078, 554080, 554083, 554090, 554093, 554094, 554095, 554096, 554100, 554102, 554103, 554106, 554107, 554108, 554109, 554110, 554117, 554119, 554121, 554122, 554123, 554128, 554129, 554131, 554132, 554133, 563747, 563750, 563786, 563791, 563795, 563798, 563832, 563836, 563838, 563844, 563907, 563912, 563955, 563956, 563958, 563959, 563996, 563998, 564000, 564002, 564006, 564010, 564086, 564090, 564114, 564115, 564125, 564141, 564149, 564161, 564166, 564170, 564171, 564199, 564204, 564207, 564239, 564241, 564242, 564244, 564268, 564273, 564276, 564297, 564305, 564307, 564309, 564316, 564345, 564351, 564353, 564355, 564402, 564407, 564427, 554137, 554139, 554141, 554142, 554143, 554146, 554151, 554152, 554153, 554154, 554155, 554163, 554165, 554166, 554167, 554195, 554196, 554197, 554198, 554201, 554209, 554210, 554211, 554213, 554215, 554216, 554219, 554221, 554228, 554230, 554231, 554235, 554241, 554242, 564461, 564465, 564480, 564482, 564484, 564499, 564502, 564525, 564527, 564534, 564536, 564542, 564545, 564553, 564563, 564568, 564579, 564592, 564610, 564613, 564618, 564656, 564662, 564671, 564675, 564684, 564686, 564699, 564701, 564710, 564715, 564732, 564742, 564768, 564772, 564792, 564795, 564798, 564823, 564836, 564858, 564862, 564871, 564880, 554246, 554250, 554251, 554254, 554259, 554263, 554264, 554265, 554266, 554274, 554276, 554280, 554283, 554287, 554293, 554295, 554298, 554329, 554330, 554331, 554332, 554333, 554341, 554344, 554345, 554351, 554353, 565033, 565066, 554392, 554415, 554419, 554420, 554422, 554423, 586134, 586150, 586197, 586207, 586307, 554584, 554638, 554700, 554726, 554749, 586344, 586439, 586449, 586472, 747487, 747561, 747989, 754783, 747517, 764842, 747409, 747503, 747577, 747717, 755185, 747509, 747591, 747966, 748005, 748008, 748051, 771099, 747485, 747718, 747779, 747902, 747959, 748113, 749613, 755436, 747652, 747786, 747882, 747898, 747946, 747960, 755525, 757476, 772749, 747482, 747585, 747605, 747647, 754206, 747464, 747465, 747507, 747610];\n",
      "array1840 integer[] := ARRAY[8909, 9127, 9320, 9329, 7425, 7367, 7381, 7383, 7332, 7373, 7375, 7292, 7256, 7655, 7681, 7928, 7792, 8208, 8098, 8121, 8578, 7057, 7355, 9354, 9749, 7388, 8787, 8194, 7426, 7503, 7545, 7571, 7103, 7450, 7262, 8037, 556, 544, 8923, 8890, 8919, 7152, 2913, 7995, 8541, 7990, 7763, 7744, 7193, 7154, 8878, 9375, 7218, 7006, 7192, 7196, 7200, 583, 7347, 8349, 586497, 586512, 586555, 586556, 586557, 586558, 586564, 586565, 586584, 586586, 554766, 554814, 554815, 554817, 554820, 554841, 554848, 554864, 554869, 554871, 554881, 554894, 554917, 554918, 554920, 554922, 554950, 554974, 554975, 586607, 586616, 586635, 586682, 586728, 586759, 586770, 586800, 586820, 586832, 587022, 554993, 554999, 555024, 555028, 555050, 555088, 555101, 555103, 555104, 555129, 555145, 555146, 555150, 565235, 565236, 565241, 565252, 565253, 565254, 565255, 565258, 565265, 565267, 565272, 565304, 565305, 565306, 565307, 565310, 565311, 565314, 565316, 565335, 565336, 565338, 565349, 565352, 565353, 565358, 565373, 565376, 565293, 565299, 565300, 555172, 555173, 555184, 555188, 555203, 555207, 555220, 555221, 555224, 555225, 555226, 587318, 587118, 587178, 587205, 518559, 518856, 519043, 519376, 522589, 522615, 522622, 522630, 522660, 522673, 522678, 522704, 522709, 522724, 522727, 522996, 523062, 587395, 587427, 587492, 587497, 587512, 587513, 587563, 587567, 587570, 587596, 587615, 555238, 555355, 565442, 565455, 565456, 565542, 565581, 555383, 555403, 555412, 555415, 523866, 523939, 523963, 524042, 524089, 524175, 524594, 565703, 565707, 555460, 555505, 555521, 555562, 565754, 565762, 524812, 524833, 524835, 524871, 524885, 524904, 524944, 525141, 525298, 525337, 565796, 565834, 555588, 768793, 747644, 747861, 747926, 747994, 762742, 768644, 772625, 747579, 747583, 747596, 747853, 747950, 754823, 747536, 747650, 747735, 747797, 748060, 748690, 752682, 747533, 747607, 747706, 747877, 747892, 747948, 748006, 748164, 749098, 755204, 762654, 772139, 772692, 747928, 748075, 750187, 747434, 772497];\n",
      "array1850 integer[] := ARRAY[8302, 9040, 9069, 9158, 2486, 7764, 7839, 7842, 70, 9218, 604, 1273, 2301, 2416, 2494, 7973, 7724, 7489, 8077, 8110, 8297, 7493, 7469, 7698, 7968, 2880, 2749, 3447, 9075, 5078, 2618, 7431, 9768, 9037, 9140, 1191, 555603, 555605, 555606, 555609, 555611, 555617, 555620, 555634, 555635, 555636, 555637, 555638, 555639, 555675, 555676, 555678, 555679, 555680, 565872, 565878, 565904, 565905, 565906, 565907, 565909, 565910, 565912, 565938, 565939, 565940, 565942, 565943, 565944, 565979, 589154, 589165, 589167, 589251, 589256, 589300, 589305, 589329, 589363, 589367, 589423, 589426, 589427, 589430, 589454, 589456, 589478, 589508, 589514, 525436, 525474, 525497, 525505, 525530, 525559, 525567, 525613, 525614, 525619, 525654, 525677, 525679, 525682, 525688, 525711, 525715, 525716, 525726, 525729, 525730, 525778, 525781, 521465, 503895, 503986, 504024, 504052, 504088, 525821, 525904, 526043, 526064, 526068, 517280, 589545, 589639, 589648, 589665, 589782, 589785, 589806, 589868, 589874, 589908, 589926, 566010, 566013, 566014, 566015, 566017, 566042, 566045, 566047, 566048, 566050, 566069, 566070, 566071, 566072, 566074, 566075, 566092, 566093, 566094, 566097, 566098, 555689, 555691, 555692, 555700, 555701, 555702, 555704, 555706, 555707, 555718, 555720, 555722, 555723, 555730, 555732, 555733, 555734, 555737, 555747, 555749, 555751, 555753, 555760, 555761, 555762, 555766, 555767, 555768, 555776, 555781, 555788, 555790, 555792, 555793, 566129, 566131, 566132, 566135, 566154, 566155, 566156, 566159, 566160, 566202, 566240, 566241, 526182, 526421, 504660, 590234, 566254, 566255, 566260, 566331, 575130, 555822, 555854, 555891, 555904, 555966, 555972, 566429, 566451, 590342, 590351, 505100, 505186, 505272, 505365, 556039, 556102, 556231, 566707, 566711, 566731, 566736, 590750, 590756, 590905, 590995, 566784, 566843, 556291, 556470, 556583, 556622, 556623, 556423, 566917, 591197, 526797, 506134, 506205, 506251, 506395, 526895, 527065, 591206, 567080, 556665, 556807, 748019, 772011, 747495, 747930, 749447, 752548, 771217, 771569, 747555, 747976, 748464, 765349, 771274, 771859, 747477, 747500, 750816, 750818, 755030, 747598, 747674, 747876, 748018, 748146, 748479, 750257, 754781, 771880, 772309, 747626, 755595, 769051, 769137, 750590, 753133, 755095];\n",
      "array1860 integer[] := ARRAY[2807, 3844, 8044, 9683, 9817, 9589, 8795, 9001, 9002, 8975, 9314, 9317, 9318, 741, 9439, 9458, 8871, 9137, 9489, 9394, 9214, 96, 7736, 7836, 8526, 8695, 8335, 8336, 8099, 8264, 8215, 7884, 7960, 7725, 827, 3036, 3024, 9825, 9771, 9082, 3507, 57, 2480, 5320, 9007, 9023, 9114, 9837, 9829, 3915, 556846, 556848, 556849, 556850, 556853, 556893, 556896, 556899, 556902, 556939, 556942, 556946, 556994, 556997, 556999, 567270, 567273, 567342, 567343, 567436, 527137, 527181, 527220, 527283, 527324, 527351, 506638, 506666, 506692, 524251, 507021, 507038, 507149, 527401, 527426, 527432, 527464, 527503, 527507, 527522, 527523, 527538, 527543, 527556, 527557, 527564, 527592, 527595, 527603, 527635, 527638, 527639, 527641, 527652, 527658, 527661, 567665, 567670, 567705, 567708, 567719, 567734, 557063, 557064, 557066, 557102, 557105, 557108, 557109, 557110, 557111, 557159, 557160, 557162, 557204, 557205, 557207, 557208, 557209, 557211, 557212, 557254, 557411, 557418, 557421, 557423, 557425, 557426, 557259, 557264, 557266, 557267, 557310, 557311, 557312, 557314, 557357, 557359, 557363, 557364, 499770, 499865, 499883, 499893, 499943, 499946, 500031, 500076, 500116, 567780, 567781, 567783, 567784, 567809, 567810, 567811, 567894, 567930, 527698, 527739, 527740, 527772, 527798, 527818, 527819, 527822, 527839, 527840, 527855, 527951, 527952, 527962, 507372, 507550, 527985, 527986, 528009, 528110, 528125, 528185, 528189, 567951, 567965, 567969, 567998, 568026, 568027, 500164, 500180, 500181, 500185, 500213, 500271, 500274, 500286, 500329, 500340, 557497, 557593, 557761, 557787, 500533, 500558, 500608, 568055, 528331, 528359, 528454, 508015, 528525, 528527, 528529, 528538, 528553, 528575, 528599, 528652, 528749, 528770, 568297, 557856, 557857, 557921, 557923, 557949, 557956, 558033, 558071, 558072, 528831, 528866, 528876, 485842, 529168, 529257, 568597, 558126, 558132, 558192, 500696, 500884, 501046, 501069, 558316, 558343, 576948, 577005, 577097, 529399, 529434, 529512, 529517, 509158, 509223, 501327, 501397, 529650, 529671, 529715, 529721, 577262, 558368, 558370, 757943, 769666, 772540, 753265, 760948, 767591, 747506, 750648, 752000, 752545, 754451, 747606, 748317, 748679, 749646, 754740, 754741, 754742, 755017, 771252, 754737, 757813, 771449, 772044, 750271, 760515, 770072, 747642, 766380, 771104, 771694, 772034, 770957, 748907, 748972, 749139];\n",
      "array1870 integer[] := ARRAY[8266, 8678, 9282, 9283, 9284, 9285, 9286, 9287, 9803, 9790, 2978, 2665, 5331, 5834, 247, 1563, 9057, 9183, 9163, 9493, 9016, 9152, 9190, 9449, 9202, 2449, 8141, 8180, 7876, 7838, 7706, 7712, 7674, 7463, 711, 987, 517, 68, 598, 7710, 7634, 7629, 7676, 613, 854, 1095, 3012, 4208, 9692, 9680, 9682, 558465, 558476, 558480, 558542, 558543, 558546, 558560, 558563, 577551, 577693, 577733, 577757, 577772, 568968, 569012, 569039, 569040, 569041, 533544, 533546, 534170, 534840, 535548, 536243, 536908, 536914, 537600, 537605, 537610, 538304, 539004, 501492, 501512, 501533, 501565, 501569, 501575, 501580, 501586, 501656, 509474, 509583, 509684, 509699, 509893, 501717, 501720, 501724, 501738, 501774, 501847, 501872, 501930, 539686, 540302, 540305, 541009, 541014, 541019, 541717, 541725, 542349, 542358, 542360, 543505, 544051, 544060, 544685, 581145, 569065, 569091, 569093, 569095, 569129, 569158, 569161, 569164, 558576, 558580, 558588, 558591, 558592, 558615, 558628, 558629, 558642, 558657, 558658, 558670, 558694, 569239, 569246, 569247, 569291, 569319, 550664, 550682, 550897, 551151, 551157, 551170, 551417, 581245, 581367, 547028, 549016, 549984, 549986, 549993, 550207, 550209, 550215, 550439, 501962, 501998, 510190, 510266, 510490, 510566, 502302, 502324, 502348, 502371, 581563, 581571, 581576, 581590, 581618, 552194, 551865, 551881, 551973, 553264, 553280, 553429, 552382, 569450, 558736, 558737, 558791, 558833, 558836, 558841, 558857, 569493, 569496, 569614, 569619, 555085, 554530, 554180, 502738, 511152, 569636, 569712, 558878, 558890, 558954, 558956, 557889, 557898, 559371, 558972, 558975, 558981, 559001, 559020, 559021, 559022, 560348, 559938, 560504, 560639, 560643, 560975, 561208, 561541, 582294, 503124, 503165, 503177, 503182, 503185, 503195, 503220, 503224, 511218, 503283, 503332, 503338, 582602, 582654, 582667, 563136, 559196, 559199, 559311, 564375, 565386, 565397, 570048, 565863, 511858, 583233, 567858, 568870, 569583, 570188, 570195, 570203, 559433, 559481, 559483, 559516, 750608, 752823, 751301, 752510, 749315, 751776, 751936, 752515, 758673, 771399, 772546, 750820, 750821, 751629, 752521, 754704, 754809, 769362, 771084, 771095, 748635, 748779, 749728, 752439, 765430, 749431, 764578, 767657, 748718, 771561, 749013, 752418, 752420, 772258, 772365];\n",
      "array1880 integer[] := ARRAY[9712, 4545, 640, 2316, 8538, 7494, 7511, 7784, 7874, 7630, 2300, 1814, 2425, 4888, 5637, 3704, 1190, 1192, 1182, 7896, 7443, 7470, 905, 1145, 1017, 828, 2469, 996, 626, 631, 223, 98, 8133, 8054, 8285, 7885, 7462, 7411, 7484, 7707, 8105, 1954, 1841, 1842, 53, 175, 1073, 9255, 9256, 9257, 9258, 9259, 9260, 9261, 9262, 9263, 9271, 9455, 2979, 4635, 829, 1090, 7442, 559536, 559537, 559538, 559539, 559540, 559544, 559545, 559546, 559547, 559552, 559553, 559555, 559558, 559560, 559561, 559562, 559566, 559568, 559569, 559577, 559578, 559582, 559586, 559612, 559620, 559631, 570372, 570381, 570433, 570467, 571509, 571512, 573278, 571692, 572353, 572359, 572478, 572637, 572640, 572856, 571855, 571859, 572202, 572219, 583890, 583908, 583652, 583697, 583741, 583800, 583802, 512628, 512736, 512909, 583932, 584005, 584030, 584061, 584079, 584084, 574000, 574286, 574294, 574295, 574302, 574758, 575502, 576657, 576660, 576666, 576667, 570500, 570503, 570504, 570520, 570572, 570590, 570592, 577295, 576970, 576975, 576981, 575942, 575945, 559639, 559652, 559668, 559673, 559675, 559676, 559694, 559695, 559727, 559738, 559744, 559746, 559749, 559782, 559786, 559800, 559803, 559834, 559842, 559851, 559854, 559859, 559865, 559868, 559879, 559880, 577854, 577856, 577857, 577862, 577880, 577924, 577948, 577950, 577962, 577970, 577972, 577974, 578011, 578015, 578035, 578038, 578050, 593168, 593223, 593358, 593514, 593519, 593552, 593606, 593652, 593653, 513053, 513115, 513197, 513220, 513246, 513287, 513288, 513367, 513440, 578378, 578452, 593713, 593939, 593980, 593984, 594004, 594016, 594019, 594058, 594127, 594176, 594194, 578119, 578124, 578149, 578171, 578173, 578188, 578221, 578252, 578278, 578288, 578289, 578314, 578333, 578337, 570809, 570859, 559893, 559897, 559910, 559911, 559914, 559916, 559917, 559954, 559964, 559975, 559988, 560000, 560003, 560008, 560010, 560120, 560183, 560191, 570982, 571000, 571002, 592784, 592795, 578776, 485851, 578905, 579097, 594845, 594961, 595086, 595240, 571038, 571040, 560241, 560274, 560284, 560481, 560482, 571169, 571186, 571212, 571222, 595441, 595515, 595516, 595671, 579169, 579173, 579279, 579328, 579542, 579615, 579672, 584194, 514353, 514430, 595705, 595890, 596073, 596102, 571454, 571456, 571457, 560567, 560623, 560697, 560706, 560719, 560804, 560831, 560832, 560996, 561030, 561054, 561057, 561153, 561154, 596244, 596516, 596595, 514621, 514692, 579788, 579818, 579819, 584622, 580029, 580108, 580197, 580260, 580269, 596784, 596836, 596979, 597092, 561270, 561281, 752365, 754237, 754848, 762545, 772355, 750656, 751303, 751441, 754680, 750665, 766847, 771401, 751874, 752799, 752917, 754811, 754975, 769173, 771410, 772288, 772469, 772581, 758490, 764722, 748896, 750541, 754734, 764740, 765518, 766039, 770521, 771166, 771589];\n"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "array1890 integer[] := ARRAY[7415, 7424, 7964, 8123, 9410, 9416, 9417, 9295, 9342, 2974, 2766, 2659, 2404, 2323, 781, 9369, 9370, 9696, 9697, 9599, 9600, 9330, 9459, 2951, 2545, 3154, 3058, 638, 113, 720, 862, 2377, 525, 447, 5841, 3710, 3711, 5304, 5210, 151, 647, 844, 845, 847, 849, 850, 152, 111, 72, 5103, 3685, 3723, 3741, 3934, 4008, 3619, 817, 831, 841, 2342, 561425, 561437, 561442, 561458, 561460, 561474, 561486, 561489, 561507, 561508, 561521, 561526, 561532, 561565, 561566, 561573, 571977, 571996, 572013, 572053, 597161, 597180, 597188, 597193, 597198, 597232, 597239, 597241, 597280, 597333, 597341, 597387, 597419, 597448, 597474, 597529, 597557, 550170, 550179, 550185, 550252, 550261, 550347, 515121, 515202, 580314, 580346, 580360, 580382, 580466, 580476, 580485, 580521, 580558, 580566, 580585, 580589, 584838, 584842, 584882, 584889, 584899, 584902, 584929, 584934, 584936, 584946, 584948, 584987, 584995, 585023, 585066, 585073, 585085, 580609, 580612, 580651, 580680, 580710, 580733, 580746, 580757, 580779, 580795, 580833, 580848, 580849, 580857, 580866, 580976, 515307, 515332, 515518, 513088, 550412, 550424, 550477, 550482, 550495, 550538, 550540, 550553, 550602, 597601, 597654, 597675, 597726, 597728, 597734, 597797, 597849, 597856, 550618, 550637, 572111, 572115, 572150, 572250, 572283, 572286, 572289, 572290, 572298, 561628, 561631, 561632, 561643, 561658, 561661, 561667, 561677, 561736, 561754, 496121, 496125, 496183, 496222, 496233, 496256, 496269, 496315, 496631, 496701, 561769, 561787, 561818, 561819, 561833, 561964, 572316, 550683, 550734, 583577, 581938, 581946, 583018, 585201, 585698, 585343, 585365, 585402, 585526, 585143, 584977, 584806, 551025, 551074, 551200, 562022, 562210, 496995, 497012, 497366, 497520, 562255, 562370, 551448, 551483, 585575, 585604, 586886, 590141, 585935, 585959, 516393, 516516, 551700, 562566, 562577, 562606, 497777, 498283, 498493, 562669, 562674, 562722, 562723, 562748, 562770, 562820, 516575, 516627, 516634, 591334, 591451, 591496, 591499, 591526, 591571, 591678, 591679, 591685, 591694, 591695, 591703, 591731, 591765, 591776, 591779, 591816, 591875, 552126, 562891, 562918, 563015, 498838, 499143, 499303, 563077, 563168, 563198, 563271, 563272, 563275, 552240, 552285, 552291, 591933, 591949, 591961, 592039, 592100, 592140, 592225, 592235, 592258, 563367, 563404, 563428, 563437, 563459, 563510, 563513, 499527, 499750, 752497, 755027, 766253, 766516, 769214, 771097, 771303, 751480, 754905, 771296, 771483, 772635, 749467, 753556, 765500, 765845, 766334, 768931, 772068, 772478, 751487, 752198, 763907, 764709, 769393, 771425, 772372, 750650, 752865, 754717, 754720, 754723, 764426, 766809, 766817, 770711, 771895, 751207, 751587, 751597, 753078, 760374, 771027];\n",
      "array1900 integer[] := ARRAY[2339, 3070, 3119, 3897, 199, 1266, 1220, 998, 2504, 5249, 12409, 14361, 468, 243, 1304, 830, 13928, 13936, 4168, 1021, 160, 5166, 3056, 2876, 14506, 14214, 13929, 158, 1049, 500, 4898, 5387, 5519, 13294, 14413, 13366, 3547, 4043, 2863, 5353, 4405, 813, 485001, 485005, 485008, 485009, 485010, 485011, 485012, 485013, 485016, 485018, 485019, 485021, 485022, 485024, 485025, 485026, 485027, 430000, 430001, 430002, 430003, 430004, 430005, 430006, 430007, 430008, 430009, 430010, 430011, 430012, 430013, 430014, 473082, 473098, 473111, 473114, 473140, 473143, 473153, 473158, 473171, 473172, 473191, 473193, 473204, 473211, 473218, 473223, 440515, 440520, 440562, 440564, 440654, 440683, 440685, 440718, 440730, 440733, 440746, 440747, 440751, 440761, 440768, 440772, 440775, 440785, 440790, 440796, 486114, 485032, 485033, 485034, 485036, 485037, 485038, 485040, 485041, 485042, 485043, 485044, 485049, 485051, 485052, 485055, 485056, 485058, 485059, 485028, 485080, 485081, 485083, 485097, 485980, 485981, 485993, 485994, 485466, 485089, 485091, 485092, 485086, 485087, 486321, 486323, 486328, 440258, 440259, 440274, 440290, 440296, 440328, 440341, 440348, 440378, 440385, 440387, 440390, 440393, 440407, 440408, 440416, 440433, 440436, 440443, 440450, 440452, 440457, 440458, 440469, 473231, 473243, 473249, 473277, 473278, 473292, 473303, 473322, 473332, 473338, 473347, 473348, 473352, 473354, 473357, 473359, 473363, 473373, 473380, 473399, 430015, 430016, 430017, 430018, 430019, 430020, 430021, 430022, 430023, 430024, 430025, 430026, 430027, 430028, 430029, 430030, 430031, 430032, 430033, 430034, 430035, 430036, 430037, 430038, 430039, 430040, 430041, 430042, 430043, 430044, 430045, 430046, 430047, 486504, 486505, 486506, 486508, 486509, 486510, 486515, 486621, 486622, 486623, 486624, 486625, 486627, 486628, 486629, 486630, 486631, 486632, 486633, 486634, 486635, 486636, 486637, 486639, 486641, 486642, 486645, 486646, 486649, 486650, 486651, 486653, 486654, 486655, 486660, 486661, 486665, 486666, 430048, 430049, 430050, 430051, 430052, 430053, 430054, 430055, 430056, 430057, 430058, 430059, 430060, 430061, 430062, 430063, 430064, 430065, 430066, 430067, 430068, 430069, 430070, 430071, 430072, 430073, 430074, 430075, 430076, 430077, 430078, 430079, 430080, 430081, 430082, 430083, 430084, 430085, 430086, 473402, 473417, 473421, 473432, 473434, 473442, 473464, 473472, 473544, 473597, 439867, 439970, 440071, 440073, 440087, 439511, 473676, 473706, 473728, 473758, 473819, 430100, 430101, 430102, 430111, 430119, 430091, 486679, 486681, 486684, 486712, 486740, 486744, 486745, 486725, 486780, 486781, 486796, 486797, 486800, 486802, 486804, 430136, 430144, 473868, 473887, 473904, 473933, 473937, 473944, 439229, 439240, 439285, 439395, 486290, 486292, 438901, 438948, 439038, 439105, 439147, 474152, 474203, 474214, 430158, 430160, 430162, 430164, 430174, 430175, 430178, 430180, 430181, 430184, 430191, 430196, 430198, 430202, 430203, 430204, 430207, 430208, 430212, 430213, 430215, 430229, 430237, 430239, 430242, 430243, 486806, 486809, 486819, 486828, 486839, 486841, 486846, 486882, 430245, 430249, 430250, 430256, 430262, 430268, 430275, 430276, 430284, 430286, 430287, 430289, 430292, 430293, 430297, 430303, 474267, 474280, 474362, 438646, 438725, 485997, 438210, 438234, 438255, 474470, 474488, 474574, 474600, 474626, 430304, 430305, 430307, 430310, 430312, 430317, 430321, 430325, 430333, 430338, 430340, 430341, 486892, 486895, 486897, 486911, 486916, 486917, 486934, 486937, 486689, 430351, 430354, 430357, 430359, 430360, 430366, 430367, 430376, 430381, 430387, 430388, 430389, 430390, 430391, 430393, 430396, 430399, 430400, 474840, 437923, 437950, 438026, 438092, 438097, 438101, 438141, 437554, 437557, 437609, 437694, 437726, 437779, 437796, 474933, 474988, 430412, 430419, 430422, 430424, 430429, 430431, 465290, 486614, 486707, 486576, 486729, 486733, 486737, 773829, 773833, 773924, 774057, 774189, 750130, 751180, 773705, 774001, 774008, 774062, 768907, 773445, 773551, 773632, 773768, 773877, 774002, 748683, 754221, 772636, 773838, 773883, 773969, 774091, 749943, 766417, 771778, 773458, 773490, 773511, 773642, 773685, 773854, 773979, 773994, 750989, 751479, 752366, 771785, 773407, 773516, 773537, 773578, 773600, 773660, 773704, 773759, 773795, 752270, 773482, 773579, 773664, 773752, 773885, 760907, 773400, 754227, 754229];\n",
      "array1910 integer[] := ARRAY[1946, 639, 1079, 940, 5100, 3653, 4403, 481, 306, 7, 1776, 1777, 2427, 2483, 2481, 5250, 5759, 2948, 3612, 2905, 2737, 2619, 2681, 2303, 1915, 2151, 2199, 3785, 4264, 16275, 13900, 13901, 13896, 14522, 14543, 14255, 13897, 13376, 3503, 3313, 1548, 1590, 486764, 486765, 486766, 486767, 486770, 486771, 486772, 486773, 486774, 486945, 486946, 486947, 486948, 486950, 486951, 486953, 486955, 486956, 486957, 486604, 486998, 487013, 486972, 487039, 487041, 487042, 487043, 487044, 487045, 487046, 486720, 486722, 486723, 486724, 486695, 486696, 486697, 486699, 465331, 465342, 465373, 465381, 465398, 465406, 465408, 465418, 465435, 465485, 465487, 430439, 430440, 430441, 430442, 430443, 430444, 430445, 430446, 430447, 430448, 430449, 430450, 430451, 430452, 430453, 430454, 430455, 430457, 430458, 430459, 430460, 430461, 430462, 430463, 437128, 437244, 437248, 437253, 437273, 437293, 437306, 437307, 437326, 437331, 437345, 437346, 437380, 437387, 437410, 437413, 437426, 437430, 437435, 437443, 437451, 437463, 437479, 437496, 436770, 436789, 436806, 436816, 436827, 436831, 436834, 436839, 436840, 436886, 436893, 436907, 436923, 436955, 436960, 436977, 436984, 436995, 437008, 437039, 437056, 430464, 430465, 430466, 430467, 430468, 430469, 430470, 430471, 430472, 430473, 430474, 430475, 430476, 430477, 430478, 430479, 430480, 430481, 430482, 430483, 430484, 430485, 430486, 430487, 430488, 430489, 430490, 430491, 430492, 465507, 465523, 465528, 465565, 465566, 465567, 465573, 465575, 465581, 465583, 465591, 465593, 465594, 465596, 465605, 465612, 465620, 465622, 465637, 465646, 465668, 465674, 487047, 487048, 487051, 487053, 487054, 487056, 487057, 487058, 487059, 487060, 487061, 487062, 487063, 487064, 487067, 487069, 487070, 487072, 487073, 487074, 487075, 487076, 487079, 487089, 487090, 487091, 487092, 487098, 487109, 487123, 487124, 465702, 465723, 465728, 465745, 465763, 465802, 465828, 465833, 430493, 430496, 430502, 430503, 430506, 430508, 430512, 430514, 430515, 430517, 430519, 430520, 430522, 430525, 430526, 436470, 436536, 436540, 436607, 436642, 436726, 436732, 436747, 486103, 485082, 436313, 436336, 436361, 436442, 436448, 430529, 430542, 430544, 430545, 430550, 430555, 430564, 430566, 487154, 465885, 465938, 465981, 466054, 466092, 466097, 466104, 466173, 487173, 488343, 430572, 430576, 430577, 430587, 430588, 430596, 430601, 430602, 435808, 435824, 435932, 435933, 435955, 435964, 435975, 493031, 493014, 493018, 493026, 493035, 493037, 493038, 493039, 493041, 493043, 493047, 493049, 493050, 435223, 435364, 435396, 435505, 493146, 493149, 430610, 430611, 430619, 430627, 430632, 430643, 430651, 430661, 430664, 487184, 487187, 466225, 466237, 466303, 466318, 466374, 487189, 487190, 466471, 466473, 466475, 430672, 430678, 430687, 430690, 430700, 430703, 430706, 430711, 430721, 430722, 430726, 430732, 430733, 493151, 493154, 457475, 444473, 444505, 444539, 444595, 448348, 486173, 486225, 486260, 486336, 486337, 486364, 486365, 486366, 486370, 493066, 493070, 493073, 486378, 434672, 434781, 434787, 430742, 430748, 430755, 430762, 430766, 430777, 430785, 430786, 430787, 488333, 466610, 466625, 466633, 466651, 466655, 466708, 487203, 487208, 487210, 487215, 487217, 487222, 466766, 466858, 466863, 466868, 466874, 466912, 488328, 430789, 430797, 430799, 430800, 430801, 430804, 434455, 432705, 432743, 493101, 493112, 486117, 485065, 493144, 493213, 493217, 433956, 434026, 434130, 434203, 430807, 430809, 430811, 430818, 430823, 466942, 466993, 467006, 467024, 467025, 467032, 467038, 467044, 467048, 467064, 749162, 752665, 760557, 769300, 770902, 771685, 772166, 772172, 773401, 773494, 773807, 773844, 773859, 774007, 748876, 749852, 751192, 751578, 767101, 767566, 773417, 773469, 773601, 773754, 773872, 773971, 773981, 774005, 751478, 753061, 754816, 761352, 771396, 773430, 773561, 774026, 751585, 756452, 761343, 773542, 773580, 756365, 772455, 773679, 773848, 768813, 773463, 773491, 773581, 773825, 751482, 773813, 773518, 773999, 755585, 773517, 773940, 751191, 773916];\n"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "array1920 integer[] := ARRAY[2360, 1971, 1219, 1155, 1158, 1302, 1423, 1480, 1396, 1800, 488, 550, 3072, 3319, 3348, 2724, 14291, 14289, 14283, 13375, 4143, 2976, 4568, 4627, 2501, 721, 2197, 368, 4408, 5521, 3784, 14369, 14067, 13942, 13483, 13335, 3299, 13943, 14008, 13367, 16386, 14164, 4515, 5139, 16858, 467103, 467107, 467114, 467122, 467130, 467133, 467144, 467151, 467166, 467170, 467183, 467201, 467213, 467214, 467221, 467223, 467230, 487224, 487226, 487228, 487229, 487230, 430825, 430826, 430827, 430828, 430829, 430830, 430831, 430832, 430833, 430834, 430835, 430836, 430837, 430838, 430839, 430840, 430841, 430842, 430843, 430844, 430845, 430846, 430847, 488321, 488322, 488323, 488325, 433619, 433630, 433640, 433656, 433703, 433751, 433773, 432803, 432812, 432826, 432832, 432837, 432842, 432859, 432861, 493221, 493222, 493226, 493228, 493231, 493232, 493233, 493234, 493235, 493236, 493239, 493240, 493241, 493173, 493176, 486118, 486119, 486120, 486121, 486122, 486123, 486125, 486126, 486142, 486143, 486040, 486148, 486150, 486146, 493178, 493179, 493180, 493181, 493242, 493243, 493246, 493247, 493248, 493250, 493251, 493252, 493255, 493256, 493257, 493258, 493259, 493260, 493261, 493262, 433132, 433150, 433151, 433207, 433214, 433221, 433239, 433255, 433258, 433264, 433269, 433323, 433335, 433406, 433427, 488316, 488317, 488318, 488319, 488320, 430848, 430849, 430850, 430851, 430852, 430853, 430854, 430855, 430856, 430857, 430858, 430859, 430861, 430862, 430863, 430864, 430865, 487231, 487232, 487233, 487234, 487235, 487236, 487237, 487238, 487239, 487240, 487241, 487242, 487244, 487245, 487246, 467254, 467256, 467266, 467294, 467306, 467331, 467341, 467351, 467354, 467371, 467376, 467386, 467393, 467404, 467421, 467444, 467450, 467453, 467523, 430866, 430867, 430868, 430869, 430870, 430871, 430872, 430873, 430874, 430875, 430876, 430877, 430878, 430879, 430880, 430881, 430882, 430883, 432895, 432898, 432930, 432931, 432933, 432983, 433026, 433061, 433107, 432548, 432556, 432566, 432583, 432584, 432597, 432617, 432628, 432668, 493263, 493264, 493265, 493266, 493267, 493269, 493276, 493277, 493433, 493457, 486159, 486153, 486154, 486156, 486232, 486206, 486207, 486202, 486196, 486238, 486132, 486133, 486278, 253581, 253589, 253592, 253594, 253595, 253599, 253615, 253619, 253630, 253631, 253647, 253648, 253658, 163707, 163712, 163718, 163726, 163728, 163731, 163733, 163737, 163738, 163751, 163754, 163770, 163775, 163777, 163778, 163784, 163785, 163786, 163789, 493462, 493302, 493289, 493293, 493296, 457151, 457410, 430886, 430888, 430894, 488314, 219674, 219679, 219680, 219681, 219682, 219699, 219708, 219733, 219734, 219740, 219745, 219747, 219753, 219755, 219759, 219767, 219770, 219771, 219789, 219790, 219795, 219798, 219801, 219802, 219803, 219808, 219809, 219811, 219812, 219813, 219828, 219829, 219831, 219832, 219842, 219844, 219852, 219858, 219861, 219864, 219870, 219944, 219947, 219964, 219965, 219976, 219981, 219982, 219985, 219994, 219995, 219997, 219998, 220000, 220004, 220006, 220008, 220024, 220026, 220030, 220039, 220040, 220041, 220045, 220047, 220050, 220052, 220206, 220238, 220241, 220243, 220253, 220257, 220269, 220277, 220278, 220283, 220290, 220293, 467550, 467596, 487254, 253668, 253673, 254345, 254347, 254348, 254353, 254354, 254355, 254361, 254376, 254381, 254392, 254395, 254406, 254407, 254416, 254417, 254423, 254426, 254445, 254446, 254447, 220302, 220304, 220306, 220307, 220309, 220310, 220328, 220333, 220340, 220346, 220360, 220370, 220372, 220382, 220388, 253683, 253690, 253699, 253705, 253707, 253725, 253744, 253751, 253752, 253753, 253756, 487266, 467700, 467704, 467736, 467766, 467780, 467814, 486492, 486494, 488110, 301183, 301205, 301207, 301212, 301220, 301221, 301222, 301223, 301224, 301235, 301239, 301244, 301246, 301247, 301251, 456765, 456880, 456932, 456944, 448257, 493312, 493320, 493322, 493323, 493464, 163356, 163370, 163373, 163375, 163383, 163395, 163398, 163404, 163406, 163411, 163413, 163414, 163415, 163416, 163420, 163422, 163424, 163433, 163434, 253401, 253408, 253410, 253411, 253416, 253425, 253432, 253450, 253458, 253481, 253488, 486376, 151783, 151789, 151812, 151816, 151824, 151827, 151831, 151836, 151850, 151851, 151853, 151854, 151860, 151864, 151867, 151869, 151871, 151872, 151874, 151880, 151884, 151889, 151906, 151908, 151909, 151915, 151916, 151928, 151929, 151932, 151938, 151939, 151943, 151948, 151949, 151955, 151957, 151966, 151967, 151973, 151976, 151977, 151980, 151988, 152009, 152014, 299585, 299586, 299607, 299614, 299619, 299623, 299635, 299651, 299654, 299659, 299662, 299663, 299664, 299679, 299680, 299682, 299689, 299697, 299700, 299702, 299712, 300416, 300419, 300442, 300443, 300446, 300448, 300449, 300454, 486008, 486170, 486172, 163798, 163799, 163800, 163801, 163802, 163807, 163809, 163811, 163816, 163819, 163826, 163837, 163842, 493470, 493335, 493339, 493341, 493343, 254571, 254573, 254580, 254584, 254599, 447817, 448107, 430919, 430925, 430926, 430928, 430931, 300455, 300457, 300462, 300480, 300486, 300497, 300503, 300510, 300520, 300522, 300523, 300528, 300530, 300533, 300541, 300628, 300641, 300642, 300645, 300650, 300657, 300661, 300679, 300685, 300695, 300699, 300700, 300701, 300712, 300714, 300715, 300717, 300721, 300736, 300740, 490082, 490084, 490091, 490093, 467901, 467923, 467950, 253759, 253763, 253766, 253767, 253770, 253781, 253786, 253787, 253788, 253796, 253797, 253800, 253804, 253819, 253830, 253832, 253845, 253849, 253851, 253870, 253874, 253876, 253882, 253883, 253888, 253894, 254463, 254473, 254502, 254503, 254505, 254510, 254522, 254531, 254549, 254555, 254559, 253897, 253904, 253907, 253916, 253919, 253921, 253922, 253923, 253928, 253932, 253947, 253951, 253960, 487272, 487274, 468023, 468030, 468105, 468125, 468141, 220391, 220392, 220404, 220410, 220423, 220428, 220430, 220433, 220434, 220438, 220440, 220451, 220453, 220458, 220459, 220464, 220466, 220479, 220482, 220486, 220487, 220495, 220498, 490125, 490131, 490133, 490137, 490138, 490139, 490148, 490151, 488301, 378546, 430934, 430940, 447743, 447774, 493358, 493363, 493476, 163851, 163868, 163882, 163883, 163887, 379681, 152197, 152200, 152201, 152206, 152227, 152229, 152231, 152233, 152235, 152243, 152248, 152250, 152251, 152254, 152274, 152278, 152307, 152312, 152322, 152028, 490169, 490171, 490173, 490175, 490177, 486233, 163456, 163469, 163472, 163479, 163480, 163481, 163483, 163491, 163091, 163093, 163094, 163095, 163097, 163100, 163107, 163109, 163111, 163120, 163121, 163127, 163134, 163137, 493479, 493379, 493381, 493385, 493388, 493389, 493391, 493394, 254602, 254603, 254604, 254610, 254615, 254628, 254629, 254656, 254659, 254660, 254662, 254664, 254668, 254672, 254676, 254681, 254682, 254683, 254684, 254687, 254689, 254691, 254697, 254700, 254702, 254709, 254717, 254719, 254721, 254722, 447225, 447277, 447331, 447357, 447428, 430958, 430961, 430972, 430976, 301278, 301280, 301287, 301294, 301301, 301313, 490153, 490154, 490155, 490163, 488298, 219874, 219888, 219891, 219907, 219925, 219935, 219937, 219940, 163907, 163915, 163916, 163918, 163932, 163935, 163938, 163939, 163949, 163952, 163968, 163969, 163970, 468214, 468254, 468260, 468295, 487282, 487283, 487284, 487286, 253967, 253975, 253977, 253979, 253981, 253983, 254004, 254007, 254023, 254025, 254026, 254027, 254031, 254032, 254055, 254070, 254077, 254079, 254083, 254087, 254089, 254090, 254100, 254108, 254113, 254116, 254119, 254120, 254122, 254123, 254127, 254128, 254145, 254162, 254167, 254173, 254176, 254182, 254183, 254194, 254196, 254199, 254202, 254205, 254206, 254208, 254210, 254211, 254212, 254216, 254220, 254226, 254231, 254246, 254253, 254257, 254258, 468360, 468411, 468413, 468421, 468451, 468480, 468505, 163980, 163981, 163982, 163993, 163995, 164006, 164008, 164021, 164031, 164045, 164046, 164051, 164052, 164053, 164066, 164073, 164076, 164077, 164085, 164086, 164095, 164096, 164100, 164108, 164110, 164112, 164114, 164117, 164118, 164120, 164127, 164130, 164133, 164135, 164138, 164140, 164147, 164148, 164152, 164153, 164166, 164173, 164175, 164182, 164183, 164184, 164188, 164198, 164199, 164215, 164218, 164222, 164245, 164248, 164252, 164253, 164254, 164267, 164269, 164270, 164285, 164287, 164294, 164299, 164301, 164304, 164307, 164313, 164319, 164321, 164322, 164326, 164333, 164338, 164341, 164342, 164343, 164349, 164353, 164366, 164373, 164389, 164401, 164415, 164418, 164419, 164423, 164425, 164431, 164433, 164445, 164453, 164466, 164471, 164477, 164478, 164492, 164494, 164496, 164498, 164503, 164511, 164518, 164521, 164531, 164543, 164553, 164554, 164566, 164567, 164572, 164574, 164576, 164578, 164581, 164587, 164593, 164598, 164600, 164602, 164614, 164615, 164616, 164618, 164625, 164627, 164632, 164634, 164644, 164646, 164648, 164651, 164667, 164670, 164680, 164694, 164697, 164700, 164702, 164704, 164705, 164711, 164713, 164714, 164718, 164720, 164725, 164730, 220522, 220523, 220527, 220529, 220531, 220533, 220534, 220537, 220542, 220549, 220569, 220577, 488294, 488295, 300543, 300550, 300551, 300552, 300561, 300582, 300584, 300589, 300591, 300600, 300604, 430979, 430984, 300744, 300754, 300756, 300775, 300777, 300784, 300789, 300794, 300803, 300809, 300814, 300823, 300826, 300835, 300836, 300839, 300841, 300847, 300848, 300850, 300855, 300856, 300876, 300881, 300883, 300884, 300886, 300894, 300901, 300908, 300911, 300913, 300916, 300917, 300929, 300931, 300935, 300943, 300946, 300950, 300974, 300975, 300983, 300990, 300991, 300994, 300995, 300999, 301004, 301006, 301010, 301011, 301012, 301020, 301024, 301028, 301030, 301040, 301046, 301050, 301060, 301075, 301081, 301085, 301086, 301095, 254725, 254747, 254751, 254752, 254756, 254757, 254769, 254773, 254775, 254776, 493330, 493314, 493299, 493497, 493499, 163141, 163144, 163145, 163176, 163180, 163189, 163194, 163195, 163198, 163210, 163214, 163217, 163225, 163229, 163230, 163232, 163234, 163253, 163496, 163497, 163500, 163501, 163510, 163513, 163515, 163523, 163525, 163541, 163543, 163551, 163575, 163576, 163577, 163578, 163597, 163602, 163606, 163607, 163617, 163618, 163626, 163631, 163635, 163638, 163643, 163654, 163655, 163656, 163673, 163675, 163691, 163695, 163698, 486390, 486397, 486282, 490185, 490186, 299937, 299954, 299959, 299978, 299980, 299985, 299990, 299994, 299998, 300002, 300015, 300018, 300019, 300043, 300050, 300053, 300056, 300057, 300060, 300081, 300083, 300092, 300096, 300099, 300107, 300111, 300115, 300118, 300119, 300121, 300122, 300127, 300128, 300136, 300148, 300156, 300176, 300179, 300183, 300190, 300193, 300197, 300201, 300207, 300210, 300212, 300214, 300221, 300224, 300226, 300230, 300233, 300240, 300241, 300248, 300283, 300285, 300287, 300288, 300295, 300296, 300299, 300305, 300307, 300312, 300317, 300318, 300319, 300323, 300329, 300332, 300343, 300345, 300349, 300378, 300385, 300389, 299723, 299730, 299734, 299742, 299747, 299749, 299754, 299762, 299763, 299784, 299789, 299794, 299795, 299799, 299800, 299804, 299821, 299833, 299835, 299848, 299857, 299863, 299880, 299883, 299885, 299886, 299888, 299889, 299891, 299898, 299908, 299909, 299911, 299923, 299928, 299929, 299933, 490218, 490219, 490222, 490225, 490232, 490242, 490243, 152066, 152072, 152075, 152078, 152080, 152081, 152101, 152103, 152108, 152111, 152112, 152114, 152120, 152129, 152131, 152138, 152149, 152162, 152165, 152170, 152177, 152180, 163285, 163286, 163292, 163304, 163307, 163309, 163313, 163323, 163325, 163337, 253492, 253502, 253506, 253512, 253544, 253552, 253566, 493500, 493504, 493121, 493122, 493124, 493125, 493418, 254792, 254800, 254808, 254817, 254818, 254826, 254827, 254848, 254854, 254860, 254861, 254867, 254872, 254880, 254882, 254883, 254889, 254893, 254895, 254896, 254907, 254909, 254913, 254916, 254918, 254926, 254928, 254941, 254942, 164741, 164768, 164769, 164780, 164784, 164789, 164793, 164795, 164796, 301098, 301099, 301105, 301107, 301108, 301119, 301133, 301134, 301140, 301152, 301153, 301157, 301159, 430990, 430994, 301321, 301328, 301333, 301338, 301341, 301344, 488289, 488292, 220059, 220060, 220068, 220087, 220090, 220091, 220092, 220093, 220094, 220101, 220125, 220130, 220134, 220137, 220139, 220144, 220147, 220149, 220150, 220156, 220159, 220163, 220165, 220166, 220167, 220172, 220174, 220179, 220185, 220186, 220188, 220191, 468531, 468535, 468570, 468580, 468611, 468635, 468640, 468641, 468663, 254264, 254267, 254278, 254282, 254284, 254287, 254296, 254297, 254302, 254308, 254309, 254312, 254319, 254320, 254326, 254330, 254332, 301348, 301353, 301354, 301356, 301359, 301360, 301361, 301375, 487301, 751773, 773562, 773860, 773945, 773952, 749568, 750901, 751077, 751181, 751975, 759074, 770811, 771016, 773438, 773541, 773788, 773836, 773889, 773946, 749948, 750735, 752368, 753542, 765874, 770713, 773550, 773645, 773676, 774013, 774170, 773440, 773520, 773612, 773634, 773709, 773769, 773816, 773958, 773990, 774153, 774186, 774223, 774248, 773545, 773602, 773736, 773822, 773519, 773670, 774083, 774197, 774373, 774056, 774145];\n",
      "array1930 integer[] := ARRAY[16433, 23227, 23229, 13338, 10022, 10027, 5621, 5604, 5591, 5594, 5556, 5529, 5562, 5285, 4998, 780121, 780128, 5630, 10035, 10036, 14096, 23231, 23235, 23237, 23238, 23240, 23248, 23249, 23258, 23259, 23262, 16877, 16870, 23264, 23271, 23273, 23274, 23277, 23279, 23288, 14196, 10050, 10057, 780119, 780125, 780130, 10063, 10064, 10073, 10074, 23295, 23297, 23298, 23301, 23304, 23305, 23308, 23310, 23331, 10078, 10080, 10081, 10087, 780132, 10090, 13946, 23340, 23344, 23345, 23346, 23347, 23350, 23362, 23373, 23374, 23379, 16350, 10102, 10104, 10110, 10115, 10123, 10124, 13883, 23382, 23385, 23394, 23395, 487305, 487785, 487786, 302494, 302495, 302496, 302497, 302498, 302499, 302500, 302501, 302502, 302503, 302504, 302505, 302506, 302507, 302508, 302509, 302510, 302511, 302512, 302513, 302514, 302515, 302591, 302592, 302593, 302594, 302595, 302596, 302597, 302598, 302599, 302600, 302601, 302602, 302603, 302604, 302605, 302606, 302607, 302608, 302609, 302610, 302611, 302612, 302613, 468683, 468684, 468690, 468691, 468694, 468701, 468704, 468721, 468731, 468734, 468750, 468751, 468754, 468763, 468771, 468773, 468784, 468794, 468801, 468803, 468813, 468824, 468831, 220582, 220583, 220584, 220585, 220586, 486531, 486532, 486533, 486534, 486536, 486537, 486538, 486539, 486501, 486503, 488062, 430998, 430999, 431000, 431001, 431002, 431003, 431004, 431005, 431006, 431007, 431008, 431009, 431010, 431012, 431013, 431014, 431015, 431016, 431017, 431018, 431019, 431020, 166315, 166316, 166317, 166318, 166319, 166320, 166321, 166322, 166323, 166324, 166325, 166326, 166327, 166328, 166329, 166330, 166331, 166332, 166333, 166334, 166335, 166336, 166337, 166338, 165718, 165719, 165720, 165721, 165722, 165723, 165724, 165725, 165726, 165727, 165728, 165729, 165730, 165731, 165732, 165733, 165734, 165735, 165736, 165737, 165738, 165739, 165740, 165741, 164826, 164827, 164828, 164829, 164830, 164831, 164832, 164833, 164834, 164835, 164836, 164837, 164838, 164839, 164840, 164841, 164842, 164843, 164844, 164845, 164846, 164847, 164848, 164849, 164850, 164926, 164927, 164928, 164929, 164930, 164931, 164932, 164933, 164934, 164935, 254997, 254998, 254999, 255000, 255001, 255002, 255003, 255004, 255005, 255006, 255007, 255008, 255009, 255010, 255011, 255012, 255013, 255014, 255015, 255016, 255017, 255018, 255019, 255020, 255021, 255396, 255397, 255398, 255399, 255400, 255401, 255402, 255403, 255404, 255405, 255406, 255407, 255408, 255409, 255410, 255411, 255412, 255413, 255414, 255415, 255416, 255417, 255418, 255419, 255420, 493128, 493133, 493135, 493506, 493507, 493524, 446136, 446152, 446208, 446285, 446294, 446349, 446352, 446379, 486303, 490245, 490246, 490247, 490248, 490249, 490250, 490253, 490255, 490257, 490258, 490261, 490262, 490264, 490268, 152357, 152358, 152359, 152360, 152361, 152362, 152363, 152364, 152365, 152366, 152367, 152368, 152369, 152370, 152371, 152372, 152373, 152374, 152375, 152376, 152377, 152378, 152379, 152380, 152456, 152457, 486402, 486403, 486404, 486418, 486431, 486434, 486435, 486436, 486437, 486438, 486439, 485093, 445802, 445880, 445884, 445930, 445941, 445944, 445975, 456683, 493533, 493535, 493536, 493545, 493548, 493553, 493554, 493556, 164936, 164937, 164938, 164939, 164940, 164941, 164942, 164943, 164944, 164945, 164946, 164947, 164948, 431021, 431022, 431023, 431024, 431025, 431026, 431027, 431028, 431029, 431030, 431031, 431032, 431033, 431034, 431035, 431036, 431037, 431038, 431039, 431040, 486448, 486445, 486454, 486441, 220662, 220663, 220664, 220665, 220666, 220667, 220668, 220669, 220670, 220671, 220672, 220673, 220674, 220675, 220676, 220677, 220678, 220679, 220680, 220681, 220682, 220683, 220684, 220685, 491000, 491011, 491021, 491015, 491077, 491069, 491085, 491087, 491119, 491110, 491114, 468853, 468854, 468881, 468883, 468901, 468903, 468904, 468911, 468913, 468924, 468931, 468951, 468961, 468973, 468974, 468983, 468993, 469004, 469011, 469013, 469014, 301993, 301994, 301995, 301996, 301997, 302192, 302193, 302194, 302195, 302196, 302197, 302198, 302199, 302200, 302201, 302202, 302203, 302204, 302205, 302206, 302207, 302208, 302209, 302210, 302211, 302212, 302213, 302214, 302215, 302216, 302292, 302293, 302294, 302295, 302296, 302297, 302298, 302299, 302300, 302301, 302302, 302303, 302304, 302305, 302306, 302307, 302308, 302309, 302310, 302311, 302312, 302313, 302314, 302315, 302316, 301695, 301696, 301697, 301698, 301699, 301700, 301701, 301702, 301703, 301704, 301705, 301706, 301707, 301708, 301709, 301710, 301711, 301712, 301713, 301714, 301715, 301716, 301717, 301718, 301719, 487781, 487782, 487784, 487778, 487779, 487780, 487306, 487307, 487308, 487309, 487312, 487313, 487314, 487315, 487316, 487318, 487319, 487321, 487322, 487323, 301795, 301796, 301797, 301798, 301799, 301800, 301801, 301802, 301803, 487296, 487297, 301396, 301397, 301398, 301399, 301400, 301401, 301402, 301403, 301404, 301405, 301406, 301407, 301408, 301409, 301410, 301411, 301412, 301413, 301414, 301415, 301416, 301417, 301418, 301419, 301420, 469031, 469041, 469044, 469053, 469061, 469064, 469073, 469081, 469091, 469101, 469113, 469121, 469153, 469163, 469171, 491115, 491109, 491144, 491151, 491022, 431048, 431052, 166514, 166517, 166519, 166528, 166534, 493558, 255501, 255121, 456499, 456562, 456572, 456644, 456646, 152459, 152463, 152468, 152471, 152477, 152480, 152554, 152556, 152558, 152560, 152561, 152564, 152566, 152573, 152574, 152657, 152665, 152666, 152670, 152673, 152674, 456242, 456253, 456344, 255202, 255208, 255209, 255507, 255515, 255516, 493573, 493668, 487883, 488081, 166613, 166614, 166616, 166622, 166624, 166628, 166631, 166632, 431063, 431065, 431067, 431073, 486466, 486469, 221063, 221065, 221083, 491097, 491099, 491103, 469251, 469330, 301496, 301497, 301508, 301516, 301518, 301808, 301811, 302003, 302010, 302011, 302012, 302015, 302017, 487330, 487335, 487336, 302095, 302096, 302100, 302106, 302108, 302115, 302406, 302411, 302493, 301894, 301601, 301604, 301609, 301619, 469363, 469433, 469480, 469493, 491033, 221165, 221168, 221169, 221170, 221173, 221180, 220964, 220965, 220981, 220983, 492124, 147016, 147017, 147020, 147023, 147027, 147031, 431085, 431087, 431091, 165022, 165023, 165025, 165038, 165040, 165124, 165126, 165144, 487878, 493684, 255595, 255606, 255609, 255611, 255300, 255307, 255313, 255316, 255320, 455754, 152759, 152766, 152768, 152773, 152774, 152856, 152859, 152867, 152869, 152870, 152876, 152877, 493724, 493784, 490311, 490314, 256285, 256298, 256380, 256383, 256385, 256389, 256393, 256399, 256478, 256479, 256480, 256481, 256488, 256489, 256501, 165224, 165230, 431096, 431100, 431104, 154648, 154649, 154653, 154656, 154665, 154667, 221208, 221212, 221218, 221229, 221230, 221311, 221318, 221324, 221906, 221911, 221912, 221915, 221916, 221921, 221926, 222005, 222011, 222105, 222120, 222127, 491056, 491101, 491141, 491143, 469600, 469610, 469621, 302669, 302682, 302683, 302687, 302689, 487357, 487363, 487344, 487826, 487371, 487376, 487386, 303270, 303280, 303281, 303285, 303287, 141030, 141033, 141039, 141044, 141053, 141130, 141131, 141134, 141135, 141139, 141140, 141148, 141149, 141227, 141232, 141234, 141235, 141238, 141241, 141246, 141251, 141327, 141339, 141341, 141342, 141345, 141348, 141431, 141435, 141448, 141449, 141528, 141529, 141532, 141535, 141538, 141541, 141542, 141544, 141635, 141638, 141642, 141643, 141644, 141648, 141726, 141728, 141729, 141735, 141737, 141742, 141827, 141834, 141835, 141836, 141838, 141843, 141848, 141924, 141925, 141927, 141932, 141933, 141938, 141943, 142027, 142030, 142036, 142045, 469680, 469730, 469793, 469803, 222210, 222214, 222226, 222309, 222311, 222322, 222326, 221408, 221410, 221411, 221413, 221417, 221420, 221422, 221423, 221503, 221507, 221518, 491892, 491895, 154753, 154757, 154760, 154761, 154762, 154763, 153166, 153167, 153175, 153262, 153264, 153268, 153275, 147119, 491505, 431108, 431109, 431110, 431113, 431118, 165827, 165840, 455079, 455135, 490319, 490324, 493860, 493862, 493906, 493911, 152957, 152958, 152963, 153053, 153054, 153056, 153060, 153064, 153067, 153069, 153075, 153152, 494035, 490327, 490331, 143434, 143446, 143527, 143546, 143622, 143628, 143629, 256581, 256585, 256586, 256589, 256591, 256595, 256596, 256599, 256602, 256685, 255682, 255684, 255689, 255784, 255795, 255802, 255886, 255894, 255896, 255904, 165919, 165921, 165922, 165925, 165926, 165242, 165244, 165322, 165328, 165331, 165333, 165334, 165423, 165433, 431132, 431139, 431140, 431141, 491668, 491566, 491559, 491602, 491761, 153360, 153364, 153366, 153374, 153375, 153456, 153459, 153463, 153466, 153473, 153556, 153561, 153567, 153569, 153650, 153654, 153660, 153662, 153664, 153665, 153666, 153668, 153673, 153750, 153758, 153759, 153761, 153765, 153766, 153769, 153851, 153854, 153859, 153864, 153874, 154849, 154857, 154858, 154864, 154866, 154868, 221606, 221608, 221610, 221611, 221617, 221624, 221625, 222403, 222405, 222409, 222412, 222413, 222418, 222427, 222503, 222507, 222509, 222513, 222519, 491203, 469920, 469953, 469985, 142129, 142130, 142133, 142134, 142136, 142142, 142146, 142226, 142228, 142230, 142232, 142329, 142331, 142332, 142336, 142339, 142346, 142424, 142425, 142428, 142439, 142444, 142531, 142538, 142546, 142547, 142626, 142630, 142640, 142641, 142643, 142646, 142735, 142737, 142741, 142825, 142835, 142841, 142923, 142924, 142926, 142931, 142942, 143026, 143028, 143036, 143037, 143038, 143040, 143041, 143046, 143126, 143130, 143231, 143232, 143233, 143245, 143324, 143328, 143329, 143333, 143340, 143423, 143425, 143427, 303465, 303480, 303484, 303487, 303569, 303573, 303575, 302772, 302773, 302780, 302787, 302870, 302872, 487395, 487397, 487400, 487816, 487817, 487421, 302881, 302884, 302885, 302886, 302887, 302891, 302974, 302976, 302983, 302988, 303581, 303583, 303369, 303378, 303381, 303388, 470083, 470100, 470135, 491178, 491179, 491129, 491131, 491171, 222605, 222608, 222610, 221719, 221727, 222016, 222025, 222026, 154952, 154958, 155047, 155048, 155050, 155053, 155058, 155060, 155062, 155068, 155069, 153953, 153956, 153968, 154054, 154056, 154058, 154061, 154064, 154065, 154070, 431143, 431145, 431146, 431147, 431148, 431149, 431153, 165437, 165439, 165441, 165522, 165524, 165525, 165528, 165535, 165538, 165542, 165619, 165628, 165633, 165635, 165636, 165637, 166714, 165935, 165939, 166021, 166022, 166024, 166033, 166035, 166116, 166139, 166421, 166426, 166433, 222620, 222623, 222626, 222709, 222712, 222714, 222718, 222725, 222726, 222727, 222808, 222816, 222817, 222818, 222823, 256781, 256782, 256783, 256792, 256798, 256801, 255980, 255981, 255984, 255993, 255994, 255996, 255997, 256000, 256004, 256083, 256086, 256089, 256090, 256092, 256100, 143633, 143634, 143646, 143726, 143732, 143734, 143824, 143825, 143826, 143835, 143922, 143934, 143939, 144024, 144028, 144033, 144035, 144037, 144126, 144131, 144143, 144227, 144230, 144234, 144242, 144244, 144326, 144327, 144330, 144331, 144332, 144335, 144336, 144340, 144344, 144427, 144435, 144523, 144525, 144530, 144532, 144534, 144538, 144545, 144623, 144624, 144635, 144639, 144641, 144644, 144721, 144726, 144732, 144734, 144735, 144740, 144744, 144836, 144837, 144839, 144841, 144843, 144930, 144936, 144941, 144945, 145021, 145023, 145025, 145026, 145031, 145032, 145035, 145044, 145045, 145121, 145223, 145322, 145325, 145327, 145328, 145330, 145334, 145335, 145338, 454097, 454354, 494062, 494100, 494116, 490357, 453700, 145427, 145431, 145434, 145438, 145442, 145519, 145522, 145523, 145527, 145529, 145530, 145633, 145634, 145636, 145638, 145641, 145642, 145720, 145727, 145731, 145739, 145741, 145742, 145825, 145826, 145828, 145829, 145830, 145833, 145834, 145838, 145925, 145935, 145939, 145941, 146020, 146022, 146028, 146029, 146031, 146035, 146042, 146132, 146136, 146142, 146143, 146222, 146223, 146229, 146231, 146234, 146239, 146240, 146319, 146419, 146422, 146424, 146426, 146430, 146434, 146438, 146519, 146527, 146533, 146534, 146618, 146619, 256179, 256185, 256201, 166220, 166222, 166230, 166233, 166236, 166238, 166728, 166731, 166812, 166817, 166820, 166829, 431160, 431165, 431166, 431169, 431170, 431174, 154151, 154152, 154154, 154155, 154157, 154167, 154168, 154250, 154252, 154269, 154272, 154353, 154356, 154363, 154366, 154371, 154457, 154461, 154462, 154466, 154470, 154548, 154556, 154557, 154560, 154561, 155148, 155155, 155160, 155165, 155169, 491596, 491651, 491700, 491710, 147219, 147228, 147236, 147316, 147318, 147324, 147329, 147332, 147333, 147417, 147418, 147422, 147439, 147521, 147523, 147530, 147534, 147615, 147616, 147622, 147625, 147636, 147719, 147722, 147726, 147816, 147818, 147820, 147822, 147825, 147830, 147834, 147918, 147920, 147922, 147929, 147932, 147933, 147935, 147936, 147937, 147938, 146621, 146625, 146629, 146725, 146729, 146733, 146823, 146833, 146920, 146933, 146934, 146935, 146939, 146940, 221806, 221819, 491819, 491885, 491955, 303665, 303669, 303673, 303680, 303681, 303687, 303083, 303085, 303091, 303169, 303177, 303178, 303182, 303185, 303189, 303192, 487431, 774010, 774049, 774119, 774284, 774344, 774388, 773403, 773436, 773493, 773635, 773693, 773760, 773818, 773936, 773993, 773996, 774021, 774028, 774034, 774164, 774184, 774219, 774236, 774317, 774358, 773410, 773556, 773624, 773721, 773744, 774004, 774101, 774124, 774161, 774173, 774331, 773515, 773599, 774115, 774165, 774172, 774364, 774382, 774383, 773420, 773644, 773858, 773965, 774263, 774294, 773564, 773603, 773798, 773811, 774142, 773715, 773828, 774108, 774199, 773565, 774147, 773521, 773625, 773742, 773914, 774251];\n"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "array1940 integer[] := ARRAY[16516, 10161, 10163, 10164, 23449, 23450, 23451, 23452, 23453, 23454, 23455, 23456, 23457, 16686, 16518, 16594, 781946, 5748, 16693, 23458, 23459, 23460, 23461, 23469, 23470, 10181, 10189, 10190, 10191, 10192, 12247, 780149, 780147, 10199, 14084, 781948, 16696, 16596, 16130, 16128, 10212, 10213, 10216, 10218, 5342, 5239, 5240, 187, 781952, 16512, 23541, 23542, 23543, 23544, 23545, 23546, 23552, 10238, 10239, 10242, 780142, 14003, 16131, 16123, 23569, 23572, 23574, 23576, 781953, 781954, 5122, 487448, 487449, 487450, 487451, 487452, 487453, 487454, 487455, 487456, 487457, 487458, 487459, 487460, 487461, 487462, 487463, 487467, 487865, 487866, 487867, 487868, 470697, 470698, 470704, 470707, 470708, 470717, 470718, 491173, 491159, 491163, 491150, 491156, 491157, 491152, 148025, 148026, 148027, 148028, 148029, 148030, 148031, 148032, 148033, 148034, 148035, 148036, 148037, 148124, 148125, 148126, 148127, 148128, 148129, 148130, 148131, 148132, 148133, 148134, 148135, 148136, 148137, 148224, 148225, 148226, 148227, 148228, 148229, 148230, 148231, 148232, 148233, 148234, 148235, 148236, 148237, 148322, 148323, 148324, 148325, 148326, 148327, 148328, 148329, 148330, 148331, 148332, 148333, 148334, 148335, 148422, 148423, 148424, 148425, 148426, 148427, 148428, 148429, 148430, 148431, 148432, 148433, 148434, 148435, 148522, 148523, 148524, 148525, 148526, 148527, 148528, 148529, 148530, 148531, 148532, 148533, 148534, 148535, 148622, 148623, 148624, 148625, 148626, 148627, 148628, 148629, 148630, 148631, 148632, 148633, 148634, 148635, 148722, 148723, 148724, 148725, 148726, 148727, 148728, 148729, 148730, 148731, 148732, 148733, 148734, 148735, 148822, 148823, 148824, 148825, 148826, 148827, 148828, 148829, 148830, 148831, 148832, 148833, 148834, 148835, 148921, 148922, 148923, 148924, 148925, 148926, 148927, 148928, 148929, 148930, 148931, 148932, 148933, 148934, 149021, 149022, 149023, 149024, 149025, 149026, 149027, 149028, 149029, 149030, 149031, 149032, 149033, 149034, 149120, 149121, 149122, 149123, 149124, 149125, 149126, 149127, 149128, 149129, 149130, 149131, 149132, 149133, 149219, 149220, 149221, 149222, 149223, 149224, 149225, 149226, 149227, 149228, 149229, 149230, 149231, 149232, 149317, 149318, 149319, 149320, 149321, 149322, 149323, 149324, 149325, 149326, 149327, 149328, 149329, 149330, 149417, 149418, 149419, 149420, 149421, 149422, 149423, 149424, 149425, 149426, 149427, 149428, 149429, 149430, 149517, 149518, 149519, 149520, 149521, 149522, 149523, 149524, 149525, 149526, 149527, 149528, 149529, 149530, 149616, 149617, 149618, 149619, 149620, 149621, 149622, 149623, 149624, 149625, 149626, 149627, 149628, 149629, 149716, 149717, 149718, 149719, 149720, 149721, 149722, 149723, 149724, 149725, 149726, 149727, 149728, 149729, 149816, 149817, 149818, 149819, 149820, 149821, 149822, 149823, 149824, 149825, 149826, 149827, 149828, 149829, 149915, 149916, 149917, 149918, 149919, 149920, 149921, 149922, 149923, 149924, 149925, 149926, 149927, 149928, 491677, 491609, 491610, 491614, 491553, 491564, 155257, 155258, 155259, 155260, 155261, 155262, 155263, 155264, 155265, 155266, 155267, 155268, 155269, 155270, 155356, 155357, 155358, 155359, 155360, 155361, 155362, 155363, 155364, 155365, 155366, 155367, 155368, 155369, 431179, 431180, 431181, 431182, 431183, 431184, 431185, 431186, 431187, 431188, 431189, 431190, 431191, 431192, 431193, 431194, 431195, 166919, 166920, 166921, 166922, 166923, 166924, 166925, 166926, 166927, 166928, 166929, 166930, 166931, 166932, 167019, 167020, 167021, 167022, 167023, 167024, 167025, 167026, 167027, 167028, 167029, 167030, 167031, 167032, 167119, 167120, 167121, 167122, 167123, 167124, 167125, 167126, 167127, 167128, 167129, 167130, 167131, 167132, 222894, 222895, 222896, 222897, 222898, 222899, 222900, 222901, 222902, 222903, 222904, 222905, 222906, 222907, 222993, 222994, 222995, 222996, 222997, 222998, 222999, 223000, 223001, 223002, 223003, 223004, 223005, 223006, 256973, 256974, 256975, 256976, 256977, 256978, 256979, 256980, 256981, 256982, 256983, 256984, 256985, 256986, 257073, 257074, 257075, 257076, 257077, 257078, 257079, 257080, 257081, 257082, 257083, 257084, 257085, 257086, 257173, 257174, 257175, 257176, 257177, 257178, 257179, 257180, 257181, 257182, 257183, 257184, 257185, 257186, 172209, 172210, 172211, 172212, 172213, 172214, 172215, 172216, 172217, 172218, 172219, 172220, 172221, 172222, 172308, 172309, 172310, 172311, 172312, 172313, 172314, 172315, 172316, 172317, 172318, 172319, 172320, 172321, 470725, 470735, 470738, 470744, 470774, 470777, 470785, 470794, 470797, 470817, 470824, 470835, 470837, 470838, 470847, 179196, 179197, 179198, 179199, 179200, 179201, 179202, 179203, 179204, 179205, 179206, 179207, 179208, 179209, 179295, 179296, 179297, 179298, 179299, 452959, 453072, 453095, 453098, 453130, 453186, 453207, 453449, 453476, 453506, 494132, 494135, 494136, 494137, 494152, 494166, 494167, 494168, 494169, 494172, 494175, 160236, 160237, 160238, 160239, 160240, 160241, 160242, 160243, 160244, 160245, 160246, 160247, 160248, 160249, 160335, 160336, 160337, 160338, 160339, 160340, 160341, 160342, 160343, 160344, 160345, 160346, 160347, 485030, 485109, 485111, 485112, 485114, 485116, 485117, 485118, 494179, 494180, 494181, 494185, 494186, 494187, 494188, 494189, 494191, 494194, 494198, 494202, 494203, 452579, 452605, 452619, 452651, 452680, 452704, 452707, 452754, 452854, 179300, 179301, 179302, 179303, 179304, 179305, 179306, 179307, 179308, 178497, 178498, 178499, 178500, 178501, 178502, 178503, 178504, 178505, 178506, 178507, 178508, 178509, 178510, 470854, 470864, 470867, 470874, 470877, 470895, 470898, 470918, 470924, 470927, 470928, 470948, 470967, 470984, 470985, 470988, 470994, 471008, 471014, 172408, 172409, 172410, 172411, 172412, 172413, 172414, 172415, 172416, 172417, 172418, 172419, 172420, 172421, 172508, 172509, 172510, 172511, 172512, 172513, 172514, 172515, 172516, 172517, 172518, 172519, 172520, 172521, 172608, 172609, 172610, 172611, 172612, 172613, 172614, 172615, 172616, 172617, 172618, 172619, 172620, 172621, 172708, 172709, 172710, 172711, 172712, 172713, 172714, 172715, 172716, 172717, 172718, 172719, 172720, 172721, 172807, 172808, 172809, 172810, 172811, 172812, 172813, 172814, 172815, 172816, 172817, 172818, 172819, 172820, 257273, 257274, 257275, 257276, 257277, 257278, 257279, 257280, 257281, 257282, 257283, 257284, 257285, 257286, 257373, 257374, 257375, 257376, 257377, 257378, 257379, 257380, 257381, 257382, 257383, 257384, 257385, 179395, 179396, 179397, 179398, 179399, 179400, 179401, 179402, 179403, 179404, 179405, 179406, 179407, 179408, 223093, 223094, 223095, 223096, 223097, 223098, 223099, 223100, 223101, 223102, 223103, 223104, 223105, 223106, 223193, 223194, 223195, 223196, 223197, 223198, 223199, 223200, 223201, 223202, 223203, 223204, 223205, 223206, 223293, 223294, 223295, 223296, 223297, 223298, 223299, 223300, 223301, 223302, 223303, 223304, 223305, 223306, 223393, 223394, 223395, 223396, 223397, 223398, 223399, 223400, 223401, 223402, 223403, 223404, 223405, 223406, 224389, 224390, 224391, 224392, 224393, 224394, 224395, 224396, 224397, 224398, 224399, 224400, 224401, 224402, 224689, 224690, 224691, 224692, 224693, 224694, 224695, 224696, 224697, 224698, 224699, 224700, 224701, 224702, 224789, 224790, 224791, 224792, 224793, 224794, 224795, 224796, 224797, 224798, 224799, 224800, 224801, 224802, 224889, 224890, 224891, 224892, 224893, 224894, 224895, 224896, 224897, 224898, 224899, 224900, 224901, 224902, 224989, 224990, 224991, 224992, 224993, 224994, 224995, 224996, 224997, 224998, 224999, 225000, 225001, 225002, 225089, 225090, 225091, 225092, 225093, 225094, 225095, 225096, 225097, 225098, 225099, 225100, 225101, 225102, 167219, 167220, 167221, 167222, 167223, 167224, 167225, 167226, 167227, 167228, 167229, 167230, 167231, 167232, 167318, 167319, 167320, 167321, 167322, 167323, 167324, 167325, 167326, 167327, 167328, 167329, 167330, 167331, 167418, 167419, 167420, 167421, 167422, 167423, 167424, 167425, 167426, 167427, 167428, 167429, 167430, 167431, 167518, 167519, 167520, 167521, 167522, 167523, 167524, 167525, 167526, 167527, 167528, 167529, 167530, 167531, 431196, 431197, 431198, 431199, 431200, 431201, 431202, 431203, 431204, 431205, 431206, 431207, 431208, 431209, 431210, 431211, 431212, 431213, 431214, 431215, 431216, 431217, 431218, 431219, 431220, 431221, 431222, 431223, 431224, 431225, 155455, 155456, 155457, 155458, 155459, 155460, 155461, 155462, 155463, 155464, 155465, 155466, 155467, 155468, 155555, 155556, 155557, 155558, 155559, 155560, 155561, 155562, 155563, 155564, 155565, 155566, 155567, 155654, 155655, 155656, 155657, 155658, 155659, 155660, 155661, 155662, 155663, 155664, 155665, 155666, 155667, 155753, 155754, 155755, 155756, 155757, 155758, 155759, 155760, 155761, 155762, 155763, 155764, 155765, 155766, 150015, 150016, 150017, 150018, 150019, 150020, 150021, 150022, 150023, 150024, 150025, 150026, 150027, 150028, 150114, 150115, 150116, 150117, 150118, 150119, 150120, 150121, 150122, 150123, 150124, 150125, 150126, 150127, 150211, 150212, 150213, 150214, 150215, 150216, 150217, 150218, 150219, 150220, 150221, 150222, 150223, 150224, 150309, 150310, 150311, 150312, 150313, 150314, 150315, 150316, 150317, 150318, 150319, 150320, 150321, 150322, 150409, 150410, 150411, 150412, 150413, 150414, 150415, 150416, 150417, 150418, 150419, 150420, 150421, 150422, 150508, 150509, 150510, 150511, 150512, 150513, 150514, 150515, 150516, 150517, 150518, 150519, 150520, 150606, 150607, 150608, 150609, 150610, 150611, 150612, 150613, 150614, 150615, 150616, 150617, 150618, 150619, 150706, 150707, 150708, 150709, 150710, 150711, 150712, 150713, 150714, 150715, 150716, 150717, 150718, 150719, 150805, 150806, 150807, 150808, 150809, 150810, 150811, 150812, 150813, 150814, 150815, 150816, 150817, 150818, 150905, 150906, 150907, 150908, 150909, 150910, 150911, 150912, 150913, 150914, 150915, 150916, 150917, 150918, 151005, 151006, 151007, 151008, 151009, 151010, 151011, 151012, 151013, 151014, 151015, 151016, 151017, 151018, 491956, 491960, 491952, 491954, 491950, 491909, 491922, 491945, 491946, 491943, 491940, 491935, 491936, 491937, 491938, 491896, 492175, 492149, 492104, 492098, 492062, 492233, 487862, 487863, 303775, 303776, 303777, 303778, 303779, 303780, 303781, 303782, 303783, 303784, 303787, 304574, 304576, 304581, 304582, 304674, 304681, 304685, 303877, 303878, 303883, 303886, 303887, 304078, 304084, 492029, 492030, 492118, 492169, 492121, 491905, 491962, 155855, 155862, 155957, 155963, 156057, 156152, 156159, 156161, 156163, 156164, 156256, 156258, 156263, 156265, 156357, 156358, 156361, 156363, 156451, 156460, 156461, 156558, 156559, 156650, 156658, 156750, 156751, 156753, 156759, 156762, 156763, 156853, 156858, 156954, 156958, 156959, 156961, 156962, 431227, 431236, 431238, 431239, 431244, 431250, 167619, 167621, 167629, 167718, 167822, 167829, 225195, 225197, 225200, 223498, 223499, 223501, 223695, 223696, 223701, 223793, 223795, 223801, 223803, 223896, 223902, 223903, 179501, 179595, 179596, 179601, 179698, 179701, 179702, 179705, 179707, 257473, 257484, 257580, 257584, 257585, 258869, 258871, 258873, 258877, 259071, 259073, 259075, 259077, 259082, 172906, 172910, 172912, 172914, 172917, 173011, 173013, 173014, 173115, 173206, 173207, 173208, 173211, 471094, 471124, 471137, 178597, 178600, 178604, 452222, 452528, 494208, 494237, 151107, 151216, 151218, 151310, 151407, 151414, 151416, 151506, 151516, 160438, 160442, 160443, 160447, 160537, 160541, 160542, 160546, 485207, 485227, 485348, 431271, 431273, 160738, 160741, 160836, 157155, 157158, 157159, 157256, 157257, 157259, 157344, 157355, 157448, 157545, 151608, 151610, 151613, 151704, 151707, 151710, 151712, 151714, 151715, 494225, 451941, 451977, 452002, 304975, 304977, 304978, 304979, 304983, 305077, 305085, 471224, 475046, 475079, 475089, 173309, 173312, 173407, 173409, 173413, 173506, 173510, 173511, 173514, 168423, 257671, 257673, 257681, 257774, 257777, 257780, 257871, 257876, 257879, 257882, 257883, 258079, 258173, 258176, 179796, 179797, 179800, 179802, 179806, 179902, 179995, 180003, 180094, 180100, 180102, 180104, 180203, 180205, 224000, 224001, 224002, 224493, 225294, 225295, 225298, 225300, 225400, 225492, 225498, 225590, 225596, 225598, 225694, 225702, 167916, 167921, 168023, 168028, 168117, 168216, 168228, 168322, 168328, 168418, 168420, 157049, 157055, 157060, 492166, 492097, 492036, 492280, 492253, 492236, 491186, 491199, 491201, 491206, 303982, 304780, 304785, 304787, 304383, 304475, 304479, 304487, 304177, 304185, 304274, 304277, 304278, 225791, 224595, 224599, 224601, 224093, 224094, 224100, 224200, 224202, 224290, 224292, 224298, 224299, 224300, 224302, 180293, 180294, 180298, 180306, 180393, 180396, 180403, 180592, 180593, 180598, 180602, 180603, 258272, 258277, 258374, 258376, 258477, 258481, 258570, 258677, 258679, 258682, 258771, 258779, 259174, 259177, 259179, 259180, 256882, 256885, 168522, 168617, 168619, 168620, 168627, 168628, 168726, 168727, 168819, 168820, 168821, 168828, 168916, 168917, 173517, 173612, 173615, 173618, 173709, 173710, 173711, 173810, 173811, 475147, 178698, 178703, 178705, 178708, 178800, 178805, 178806, 173915, 173916, 174005, 174006, 174007, 174014, 174105, 174106, 174107, 174112, 174209, 174210, 174213, 305182, 305184, 451253, 451337, 451486, 494243, 494247, 494252, 157644, 157650, 157654, 157753, 157755, 157849, 157853, 157944, 158043, 158051, 158055, 161046, 161144, 431281, 431287, 431295, 485419, 485430, 485604, 485685, 431324, 161233, 161236, 161238, 161243, 161245, 161339, 161342, 161431, 161439, 158148, 158151, 158242, 158253, 158341, 158344, 158347, 158444, 158449, 158545, 158547, 158640, 158649, 158740, 158842, 158851, 158853, 158947, 158950, 159044, 159049, 159142, 159144, 159149, 159242, 159245, 159247, 159248, 159341, 159346, 159348, 494284, 494285, 494290, 228176, 228178, 228180, 228181, 228182, 228183, 228870, 228876, 228878, 228880, 450510, 450532, 450593, 305246, 305251, 305255, 305744, 174306, 174313, 174316, 174412, 174414, 174416, 174418, 174515, 174605, 174616, 174704, 174706, 174713, 174807, 174809, 174810, 174811, 174817, 174908, 174916, 174917, 178903, 475409, 169016, 169025, 169026, 169116, 169214, 169218, 169219, 169223, 169224, 169413, 169414, 169415, 169422, 169516, 169518, 169521, 169522, 169526, 169617, 169625, 169713, 169715, 169719, 169720, 169723, 259520, 259522, 259524, 259527, 259627, 259724, 259725, 180702, 180703, 180895, 180900, 225876, 225877, 225974, 225976, 226072, 226081, 226083, 226172, 226173, 226178, 226273, 226282, 226283, 491911, 491914, 491880, 491851, 491802, 226372, 226379, 226382, 226383, 226384, 226472, 226573, 226575, 226577, 226580, 226581, 226677, 227774, 227776, 227778, 227780, 227781, 227873, 227875, 227876, 227878, 227880, 180998, 181095, 181096, 181097, 181099, 181189, 181191, 181197, 181200, 259731, 259822, 259827, 259828, 259916, 259917, 259918, 259922, 259923, 259926, 260016, 260019, 260029, 260118, 260120, 260124, 260127, 260128, 260216, 260217, 260225, 261111, 261119, 261213, 261215, 261216, 261219, 261224, 169812, 169815, 169816, 169822, 169918, 169923, 170012, 170014, 170023, 170113, 170115, 170213, 170215, 170219, 170312, 170325, 170510, 170511, 170512, 475509, 475587, 178999, 175010, 175015, 305844, 305846, 305849, 305855, 305344, 305347, 305351, 305357, 306146, 306152, 306243, 306244, 306249, 306455, 306543, 306545, 306553, 449934, 450132, 450326, 228976, 229075, 229082, 229083, 229175, 229178, 229181, 159443, 159444, 159446, 159451, 159538, 159540, 159541, 159551, 159644, 159739, 159742, 159748, 159751, 159838, 159845, 159938, 159940, 159951, 160038, 160039, 160042, 160043, 160048, 160049, 160138, 160139, 160141, 160144, 161533, 161534, 161544, 161631, 161636, 161638, 161642, 161643, 431329, 431331, 431339, 431344, 431348, 492422, 492493, 485740, 431360, 431366, 431368, 161731, 161735, 161738, 161835, 161840, 161844, 161944, 162040, 162132, 162137, 162140, 162230, 162233, 162240, 162338, 228271, 228370, 228374, 228377, 228378, 228381, 228475, 228481, 228482, 229278, 229373, 229374, 229376, 229381, 229470, 229472, 229476, 229477, 229478, 229479, 306344, 306356, 306446, 305449, 305450, 305451, 305456, 305457, 305946, 305947, 305955, 305956, 175104, 175106, 175109, 175111, 175116, 175204, 475637, 475709, 475716, 475729, 493509, 170609, 170613, 170614, 170620, 170622, 170713, 170715, 170720, 170816, 170909, 170913, 170916, 170919, 170920, 171015, 171119, 171120, 171213, 171215, 171216, 171218, 171220, 259225, 259227, 259228, 259230, 259322, 259326, 259330, 260326, 260414, 260519, 260526, 260625, 260626, 260715, 260720, 260721, 181288, 181289, 181488, 181490, 181492, 181495, 181496, 181498, 181590, 181594, 181595, 181597, 181600, 181601, 226679, 226772, 226873, 226877, 226878, 226883, 487476, 487479, 487485, 487489, 487503, 226973, 227072, 227079, 227081, 227084, 227085, 227178, 227272, 227278, 227280, 227282, 181688, 181689, 181690, 181698, 181700, 181787, 181791, 181891, 181896, 181988, 181989, 181991, 181994, 181995, 181996, 182092, 260815, 260816, 260826, 259420, 259427, 261314, 261323, 261416, 261417, 261419, 261420, 261421, 261423, 171309, 171312, 171315, 171409, 171414, 171415, 171416, 171418, 171420, 171511, 171521, 171613, 171615, 171617, 171620, 171716, 175508, 175515, 175608, 175612, 175705, 175709, 175712, 175716, 175804, 175816, 175817, 175903, 175908, 175911, 175916, 176008, 176013, 176015, 176107, 176109, 176209, 176214, 176310, 176312, 176404, 176407, 176413, 176415, 176509, 176511, 176605, 176608, 176610, 176614, 176702, 176704, 176705, 176710, 176711, 448874, 229580, 229581, 229582, 229674, 229678, 229767, 228572, 228573, 228574, 228580, 228583, 228073, 228081, 162435, 162528, 162535, 431376, 431377, 431383, 431386, 431389, 492511, 162633, 162635, 162637, 162730, 162731, 162838, 162933, 162935, 162937, 492491, 492357, 492365, 431399, 431402, 431404, 228672, 228673, 228772, 228780, 228783, 229876, 229970, 229978, 229980, 230079, 230080, 306047, 306051, 306054, 305553, 305654, 305655, 305656, 176803, 176805, 176811, 176812, 176909, 176910, 176912, 176913, 177004, 177013, 177103, 177105, 177108, 177203, 177211, 177306, 177309, 177311, 177401, 177407, 177409, 177412, 177511, 177600, 177610, 177703, 177712, 177801, 177898, 177906, 177908, 177909, 177911, 178006, 178007, 178009, 178010, 178098, 178100, 178102, 178198, 178202, 178206, 178207, 178301, 178307, 178405, 178409, 179097, 179098, 179100, 179102, 179105, 179107, 475971, 475991, 493708, 171815, 171820, 171821, 171913, 171920, 171921, 171922, 172009, 172013, 172019, 172020, 172021, 172022, 172110, 172118, 261511, 261514, 261515, 261516, 261520, 261524, 260915, 260923, 261017, 261022, 261024, 182192, 182194, 182195, 182196, 182288, 182293, 227372, 227376, 227383, 227473, 227475, 227478, 227578, 227579, 227581, 227582, 227675, 227679, 487829, 487508, 487513, 487516, 487519, 773495, 773523, 773719, 774009, 774152, 774158, 774210, 774250, 774278, 774299, 773431, 773503, 773540, 773604, 773797, 774038, 774045, 774154, 774200, 774272, 774279, 774389, 773447, 773740, 773808, 773907, 773929, 774105, 774126, 774191, 774309, 774332, 774333, 774341, 773758, 773856, 774099, 774174, 774204, 774304, 774346, 774359, 773702, 773928, 773932, 774143, 774188, 773898, 773900, 773636, 773703, 773708, 773845, 774035, 774256, 774397, 773498, 773506, 774265, 774308, 774178, 774280];\n"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "array1950 integer[] := ARRAY[16528, 780016, 10272, 16689, 16592, 5286, 781957, 13861, 10285, 23641, 23642, 23643, 23644, 10300, 10303, 10304, 5676, 5853, 16684, 16272, 10315, 10317, 14500, 14243, 13860, 14035, 16613, 5693, 5344, 781963, 4222, 4164, 3955, 781967, 781968, 5486, 4630, 5864, 14148, 10341, 10350, 23710, 23711, 23712, 23725, 23728, 10351, 10353, 10358, 14175, 5660, 5764, 5590, 5251, 781975, 14045, 12165, 23735, 23740, 23744, 23745, 23746, 23747, 23750, 23754, 10388, 10390, 5010, 4219, 4151, 4263, 487525, 487526, 487527, 487528, 487529, 487530, 487531, 487532, 487534, 487535, 487536, 487537, 487538, 487539, 487540, 487541, 197761, 197762, 197763, 197764, 197765, 197766, 197767, 197768, 197769, 197770, 197771, 197772, 197773, 197774, 198461, 198462, 198463, 198464, 198465, 198466, 198467, 198468, 198469, 198470, 198471, 198472, 198473, 198474, 198561, 198562, 198563, 198564, 198565, 198566, 198567, 198568, 198569, 198570, 198571, 198572, 198573, 198574, 190273, 190274, 190275, 190276, 190277, 190278, 190279, 190280, 190281, 190282, 190369, 190370, 190371, 190372, 190373, 190374, 190375, 190376, 190377, 190378, 190379, 190380, 190381, 190382, 190469, 190470, 190471, 190472, 190473, 190474, 190475, 190476, 190477, 190478, 190479, 190480, 190481, 190482, 190569, 190570, 190571, 190572, 190573, 190574, 190575, 190576, 190577, 190578, 190579, 190580, 190581, 190582, 190669, 190670, 190671, 190672, 190673, 190674, 190675, 190676, 190677, 190678, 190679, 190680, 190681, 190682, 190769, 190770, 190771, 190772, 190773, 190774, 190775, 190776, 190777, 190778, 190779, 190780, 190781, 190782, 190869, 190870, 190871, 190872, 190873, 190874, 190875, 190876, 190877, 190878, 190879, 190880, 190881, 190882, 190969, 190970, 190971, 190972, 190973, 190974, 190975, 190976, 190977, 190978, 190979, 190980, 190981, 190982, 191069, 191070, 191071, 191072, 191073, 191074, 191075, 191076, 191077, 191078, 191079, 191080, 191081, 191082, 191169, 191170, 191171, 191172, 191173, 191174, 191175, 191176, 191177, 191178, 191179, 191180, 191181, 191182, 191269, 191270, 191271, 191272, 191273, 191274, 191275, 191276, 191277, 191278, 191279, 191280, 191281, 191282, 492210, 492212, 492215, 492216, 182485, 182486, 182487, 182488, 182489, 182490, 182491, 182492, 182493, 182494, 182495, 182496, 182497, 182498, 182585, 182586, 182587, 182588, 182589, 182590, 182591, 182592, 182593, 182594, 182595, 182596, 182597, 182598, 182685, 182686, 182687, 182688, 182689, 182690, 182691, 182692, 182693, 182694, 182695, 182696, 182697, 182698, 182784, 182785, 182786, 182787, 182788, 182789, 182790, 182791, 182792, 182793, 182794, 182795, 182796, 182797, 488267, 488271, 488272, 488273, 261687, 261688, 261689, 261690, 261691, 261692, 261693, 261694, 261695, 261696, 261697, 261698, 261699, 261700, 476056, 476059, 476060, 476077, 476079, 476087, 476090, 476106, 476110, 476126, 476127, 476130, 476137, 476139, 476149, 476156, 476170, 476176, 476177, 476178, 476187, 306631, 306632, 306633, 306634, 306635, 306636, 306637, 306638, 306639, 306640, 306641, 306642, 306643, 306644, 306731, 306732, 306733, 306734, 306735, 306736, 306737, 306738, 306739, 306740, 306741, 306742, 306743, 306744, 307230, 307231, 307232, 307233, 307234, 307235, 307236, 307237, 307238, 307239, 307240, 307241, 307242, 307243, 493736, 493739, 493795, 493798, 493799, 493765, 493757, 493759, 493760, 493802, 493805, 493806, 493809, 493810, 490479, 231446, 231447, 231448, 231449, 231450, 231451, 231452, 231453, 231454, 231455, 231456, 231457, 231458, 231459, 230146, 230147, 230148, 230149, 230150, 230151, 230152, 230154, 230155, 230156, 230157, 230158, 230159, 230246, 230247, 230248, 230249, 230250, 230251, 230252, 230253, 230254, 230255, 230256, 230257, 230258, 230259, 230346, 230347, 230348, 230349, 230350, 230351, 230352, 230353, 230354, 230355, 230356, 230357, 230358, 230359, 232245, 232246, 232247, 232248, 232249, 232250, 232251, 232252, 232253, 232254, 232255, 232256, 232257, 232258, 232345, 232346, 232347, 232348, 232349, 232350, 232351, 232352, 232353, 232354, 232355, 232356, 232357, 232358, 232445, 232446, 232447, 232448, 232449, 232450, 232451, 232452, 232453, 232454, 232455, 232456, 232457, 232458, 232545, 232546, 232547, 232548, 232549, 232550, 232551, 232552, 232553, 232554, 232555, 232556, 232557, 232558, 232645, 232646, 232647, 232648, 232649, 232650, 232651, 232652, 232653, 232654, 232655, 232656, 232657, 232658, 232745, 232746, 232747, 232748, 232749, 232750, 232751, 232752, 232753, 232754, 232755, 232756, 232757, 232758, 431409, 431410, 431411, 431412, 431413, 431414, 431415, 431416, 431417, 431418, 431419, 431420, 431421, 431422, 431423, 431424, 431425, 431426, 431427, 431428, 492350, 492411, 492425, 492506, 492510, 492516, 492475, 492484, 492438, 492554, 492557, 492577, 492602, 492606, 163027, 163028, 163029, 163030, 163031, 163032, 163033, 163034, 163035, 163036, 163037, 163038, 163039, 163040, 188872, 188873, 188874, 188875, 188876, 188877, 188878, 188879, 188880, 188881, 188882, 188883, 188884, 188885, 188972, 188973, 188974, 188975, 188976, 188977, 188978, 188979, 188980, 188981, 188982, 188983, 188984, 188985, 189072, 189073, 189074, 189075, 189076, 189077, 189078, 189079, 189080, 189081, 189082, 189083, 189084, 189085, 189171, 189172, 189173, 189174, 189175, 189176, 189177, 189178, 189179, 189180, 189181, 189182, 189183, 189184, 189271, 189272, 189273, 189274, 189275, 189276, 189277, 189278, 189279, 189280, 189281, 189282, 189283, 189284, 189371, 189372, 189373, 189374, 189375, 189376, 189377, 189378, 189379, 189380, 189381, 189382, 189383, 189384, 189471, 189472, 189473, 189474, 189475, 189476, 189477, 189478, 189479, 189480, 189481, 189482, 189483, 189484, 189571, 189572, 189573, 189574, 189575, 189576, 189577, 189578, 189579, 189580, 189581, 189582, 189583, 189584, 189670, 189671, 189672, 189673, 189674, 189675, 189676, 189677, 189678, 189679, 189680, 189681, 189682, 189683, 189770, 189771, 189772, 189773, 189774, 189775, 189776, 189777, 189778, 189779, 189780, 189781, 189782, 189783, 189869, 189870, 189871, 189872, 189873, 189874, 189875, 189876, 189877, 189878, 189879, 189880, 189881, 189882, 189969, 189970, 189971, 189972, 189973, 189974, 189975, 189976, 189977, 189978, 189979, 189980, 189981, 189982, 190069, 190070, 190071, 190072, 190073, 190074, 190075, 190076, 190077, 190078, 190079, 190080, 190081, 190082, 190169, 190170, 190171, 190172, 190173, 190174, 190175, 190176, 190177, 190178, 190179, 190180, 190181, 190182, 190269, 190270, 190271, 190272, 431429, 431430, 431431, 431432, 431433, 431434, 431435, 431436, 431437, 431438, 431439, 431440, 431441, 431442, 431443, 431444, 431445, 431446, 431447, 232845, 232846, 232847, 232848, 232849, 232850, 232851, 232852, 232853, 232854, 232855, 232856, 232857, 232858, 232945, 232946, 232947, 232948, 232949, 232950, 232951, 232952, 232953, 232954, 232955, 232956, 232957, 232958, 233045, 233046, 233047, 233048, 233049, 233050, 233051, 233052, 233053, 233054, 233055, 233056, 233057, 233058, 233145, 233146, 233147, 233148, 233149, 233150, 233151, 233152, 233153, 233154, 233155, 233156, 233157, 233158, 233245, 233246, 233247, 233248, 233249, 233250, 233251, 233252, 233253, 233254, 233255, 233256, 231646, 231647, 231648, 231649, 231650, 231651, 231652, 231653, 231654, 231655, 231656, 231657, 231658, 231659, 231746, 231747, 231748, 231749, 231750, 231751, 231752, 231753, 231754, 231755, 231756, 231757, 231758, 231759, 230446, 230447, 230448, 230449, 230450, 230451, 230452, 230453, 230454, 230455, 230456, 230457, 230458, 230459, 230546, 230547, 230548, 230549, 230550, 230551, 230552, 230553, 230554, 230555, 230556, 230557, 230558, 230559, 230646, 230647, 230648, 230649, 230650, 230651, 230652, 230653, 230654, 230655, 230656, 230657, 230658, 230659, 230746, 230747, 230748, 230749, 230750, 230751, 230752, 230753, 230754, 230755, 230756, 230757, 230758, 230759, 493812, 493813, 493815, 493830, 493851, 493834, 493837, 493840, 493846, 493847, 493848, 493868, 493869, 493870, 493873, 306831, 306832, 306833, 306834, 306835, 306836, 306837, 306838, 306839, 306840, 306841, 306842, 306843, 306844, 306944, 307031, 307032, 307033, 307034, 307035, 307036, 307037, 307038, 476226, 476246, 476249, 476256, 476259, 476267, 476269, 476277, 476286, 476289, 476296, 476300, 476307, 476310, 476316, 476317, 476320, 476326, 476336, 476346, 476347, 476350, 476356, 476357, 476360, 476366, 261992, 261993, 261994, 261995, 261996, 261997, 261998, 261999, 262000, 262087, 262088, 262089, 262090, 262091, 262092, 262093, 262094, 262095, 262096, 262097, 262098, 262099, 262100, 262187, 262188, 262189, 262190, 262191, 262192, 262193, 262194, 262195, 262196, 262197, 262198, 262199, 262200, 262286, 262287, 262288, 262289, 262290, 262291, 262292, 262293, 262294, 262295, 262296, 262297, 262298, 262299, 262986, 262987, 262988, 262989, 262990, 262991, 262992, 262993, 262994, 262995, 262996, 262997, 262998, 262999, 263085, 263086, 263087, 263088, 263089, 263090, 263091, 263092, 263093, 263094, 263095, 263096, 263097, 263098, 261787, 261788, 261789, 261790, 261791, 261792, 261793, 261794, 261795, 261796, 261797, 261798, 261799, 261800, 261887, 261888, 261889, 261890, 261891, 261892, 261893, 261894, 261895, 261896, 261897, 261898, 261899, 261900, 261987, 261988, 261989, 261990, 261991, 488264, 488265, 488266, 182884, 182885, 182886, 182887, 182888, 182889, 182890, 182891, 182892, 182893, 182894, 182895, 182896, 182897, 182984, 182985, 182986, 182987, 182988, 182989, 182990, 182991, 182992, 182993, 182994, 182995, 182996, 182997, 183084, 183085, 183086, 183087, 183088, 183089, 183090, 183091, 183092, 183093, 183094, 183095, 183096, 183097, 183184, 183185, 183186, 183187, 183188, 183189, 183190, 183191, 183192, 183193, 183194, 183195, 183196, 183197, 183283, 183284, 183285, 183286, 183287, 183288, 183289, 183290, 183291, 183292, 183293, 183294, 183295, 183296, 491561, 491624, 491600, 491472, 491484, 491443, 491465, 491314, 491345, 491352, 491357, 491385, 491388, 491390, 491393, 491397, 491310, 491277, 491234, 491281, 491290, 191369, 191370, 191371, 191372, 191373, 191374, 191375, 191376, 191377, 191378, 191379, 191380, 191381, 191382, 191469, 191470, 191471, 191472, 191473, 191474, 191475, 191476, 191477, 191478, 191479, 191480, 191481, 191482, 191569, 191570, 191571, 191572, 191573, 191574, 191575, 191576, 191577, 191578, 191579, 191580, 191581, 191582, 191669, 191670, 191671, 191672, 191673, 191674, 191675, 191676, 191677, 191678, 191679, 191680, 191681, 191682, 191768, 191769, 191770, 191771, 191772, 191773, 191774, 191775, 191776, 191777, 191778, 191779, 191780, 191781, 191868, 191869, 191870, 191871, 191872, 191873, 191874, 191875, 191876, 191877, 191878, 191879, 191880, 191881, 191968, 191969, 191970, 191971, 191972, 191973, 191974, 191975, 191976, 191977, 191978, 191979, 191980, 191981, 192068, 192069, 192070, 192071, 192072, 192073, 192074, 192075, 192076, 192077, 192078, 192079, 192080, 192171, 192181, 192274, 192379, 192381, 192470, 192473, 192475, 192477, 192575, 192577, 192676, 192768, 192774, 192869, 192871, 192879, 198662, 198668, 198673, 198768, 198860, 198865, 198867, 198959, 198963, 198964, 198966, 198967, 199059, 199060, 199064, 199066, 199160, 199165, 199166, 199168, 199170, 199171, 197863, 197865, 197866, 197870, 197872, 487545, 487566, 487573, 197967, 197970, 197973, 197669, 197674, 199259, 199268, 199269, 199271, 199358, 199367, 199369, 199462, 199469, 199563, 199564, 199568, 199658, 199662, 199664, 199758, 199761, 199763, 192969, 192971, 192973, 192975, 192979, 193073, 193076, 193078, 193175, 193180, 193268, 193269, 193270, 193271, 193272, 193376, 193378, 193467, 193474, 193477, 193575, 193577, 193578, 193670, 193675, 193676, 193768, 193770, 193771, 193775, 193870, 193872, 193974, 193978, 193979, 194070, 194071, 194073, 194076, 194077, 194269, 194270, 194271, 194272, 194275, 194277, 194279, 194370, 194375, 194376, 194467, 194469, 194477, 194479, 194480, 491242, 491269, 491271, 491380, 491490, 233448, 233545, 233553, 233555, 183392, 183487, 183496, 183588, 183590, 183592, 183593, 183682, 183688, 183689, 183691, 263190, 263195, 263293, 262387, 262393, 262395, 262397, 262486, 262490, 262491, 476439, 476450, 476467, 476477, 307338, 307539, 493915, 493916, 494387, 230848, 230856, 230948, 233345, 431451, 431453, 431460, 431463, 431465, 431466, 431467, 431468, 431471, 431481, 231848, 231948, 231958, 232052, 494392, 307630, 307632, 307634, 307637, 307639, 307732, 307736, 307740, 307743, 307830, 307831, 307836, 307837, 307838, 307839, 307842, 308131, 476556, 476649, 262588, 262596, 262599, 262687, 262689, 263387, 263389, 263392, 263395, 263484, 263487, 263497, 263588, 263593, 263686, 263690, 263694, 488257, 183788, 183790, 183791, 183983, 183989, 183990, 183992, 183993, 183995, 233649, 233658, 233758, 491371, 491322, 491254, 194771, 194871, 194875, 194968, 194972, 194977, 195069, 195071, 195166, 195170, 195172, 195274, 195368, 195470, 195471, 195472, 195667, 195669, 195675, 195679, 195766, 494393, 494396, 494407, 494409, 199959, 199962, 199967, 199968, 200061, 200065, 200157, 200160, 200163, 200258, 200261, 200266, 200358, 200359, 200364, 200365, 200367, 195778, 195779, 195877, 195967, 195971, 195977, 196070, 196074, 196165, 196168, 196169, 196273, 196274, 196275, 196372, 196376, 196463, 196465, 196469, 196470, 196475, 198061, 198064, 198067, 487593, 487605, 487619, 198163, 198173, 196564, 196567, 196576, 196672, 196767, 196770, 196773, 196776, 196868, 196870, 196875, 196972, 196975, 197062, 197065, 197066, 197068, 197069, 197164, 197165, 197171, 197262, 197263, 197264, 197267, 197269, 197272, 197361, 197370, 197371, 197372, 197467, 197469, 197561, 197562, 197569, 197570, 200457, 200461, 200468, 200563, 200570, 200656, 200661, 200662, 200759, 200762, 200764, 200767, 200768, 200857, 200858, 200868, 129820, 129829, 129852, 129861, 491409, 491460, 491529, 491532, 233846, 233854, 233945, 233951, 233954, 233956, 234049, 234056, 234145, 234146, 234248, 234251, 234256, 234349, 234358, 234447, 234449, 234450, 234454, 234553, 234647, 234658, 184083, 184088, 184090, 184184, 184185, 263785, 263786, 263796, 263884, 263890, 263985, 263987, 263988, 263992, 262788, 262790, 262799, 262897, 262899, 476659, 476686, 476696, 476706, 307140, 307142, 306937, 306940, 308236, 308237, 307936, 307941, 308042, 308043, 494328, 494345, 231548, 231550, 231552, 231555, 231556, 232145, 231054, 231154, 231156, 231249, 231253, 231352, 231354, 431488, 431489, 431490, 431496, 431507, 184883, 184894, 184985, 184987, 185088, 185089, 431511, 431519, 431521, 431523, 431524, 239725, 239817, 239821, 239827, 239828, 239829, 239921, 239922, 239926, 239927, 240017, 240025, 240027, 240029, 240030, 240118, 240123, 240224, 240229, 490531, 308320, 308326, 308329, 308330, 308919, 308922, 308927, 308930, 476887, 476889, 264074, 264076, 264082, 264083, 264373, 264377, 264378, 264477, 264479, 264480, 265765, 265766, 265770, 265773, 265863, 265866, 265870, 265872, 266075, 488246, 184191, 184194, 184195, 184285, 184390, 184394, 184482, 184483, 184489, 184492, 184582, 184583, 184590, 184593, 184681, 184683, 184691, 184781, 184784, 184794, 234725, 234824, 234825, 234827, 234829, 234830, 234934, 234935, 234937, 235022, 235025, 235122, 235125, 235127, 235129, 235222, 235224, 235225, 235227, 235229, 235328, 235329, 491464, 491467, 491436, 491364, 130491, 201166, 491248, 494479, 494482, 494454, 494490, 494511, 200958, 200959, 200966, 201063, 201065, 201066, 201067, 201068, 201160, 130494, 130495, 130496, 130498, 130510, 130518, 130522, 487653, 487655, 131003, 131010, 131028, 494523, 494518, 494541, 494543, 494547, 201260, 201263, 201268, 201358, 201360, 201361, 201457, 201458, 201462, 201464, 201556, 201565, 201567, 201568, 201757, 491627, 491666, 235434, 235521, 235522, 235523, 235529, 235621, 235626, 235629, 235634, 235721, 235722, 235733, 235826, 235926, 237726, 237728, 488237, 266164, 266167, 266171, 266262, 266267, 266270, 266364, 266370, 266462, 266474, 264572, 264580, 264667, 264670, 264671, 264674, 264676, 264170, 264181, 476979, 309019, 309021, 309024, 309029, 309117, 309118, 309125, 309126, 309129, 308418, 308423, 308424, 308427, 308428, 494156, 240318, 240321, 240325, 240417, 240419, 240422, 240424, 240428, 240517, 240519, 240530, 240620, 240621, 240623, 240626, 240630, 240722, 240723, 240724, 240726, 240727, 240816, 240819, 240820, 240825, 240920, 241021, 241128, 238918, 238919, 238922, 238925, 238927, 238930, 239019, 239022, 239024, 239026, 239122, 239128, 239130, 492454, 492347, 431531, 431532, 431535, 431545, 185279, 185281, 185284, 185285, 185289, 185380, 185381, 185382, 185388, 185482, 185484, 185486, 185488, 185579, 185586, 185590, 185678, 185682, 185685, 185689, 185690, 185782, 185789, 185878, 185880, 185890, 185979, 185985, 185986, 185987, 186080, 186088, 186089, 186176, 186184, 186285, 186377, 186378, 186380, 186382, 186384, 186477, 186478, 186484, 186485, 186581, 186584, 186585, 186681, 186779, 186784, 186876, 186878, 186884, 186976, 186980, 187077, 187079, 187089, 187177, 187183, 187187, 187273, 187284, 187286, 187376, 187381, 431547, 431551, 431562, 431563, 431564, 492351, 492469, 492434, 239320, 239325, 239326, 492618, 241223, 241226, 241317, 241320, 241326, 241328, 241420, 241424, 241425, 241429, 241516, 241518, 241522, 241523, 241622, 309217, 309218, 309221, 309228, 309718, 477126, 477129, 477149, 264271, 266562, 266564, 266570, 266668, 266671, 266675, 236123, 236129, 236221, 236226, 236233, 236320, 236323, 236327, 236333, 236424, 236429, 236433, 201857, 201863, 201864, 201957, 201963, 201965, 201966, 201967, 202062, 202066, 202157, 202158, 202160, 202165, 202168, 202169, 202261, 202262, 202263, 202268, 202368, 202465, 202556, 132455, 487662, 487663, 487678, 198268, 198272, 494666, 494668, 202561, 202563, 202566, 202567, 202568, 202569, 202659, 491814, 491642, 491618, 491589, 236528, 236531, 236532, 236624, 236628, 236629, 236720, 236731, 236821, 236824, 236928, 236933, 237021, 237024, 237028, 237124, 237125, 237128, 237132, 237227, 237320, 237326, 237331, 237332, 237421, 237433, 237526, 237531, 237633, 237827, 237921, 238019, 238027, 238029, 238031, 238121, 238126, 238131, 60322, 60325, 60343, 60346, 61023, 61026, 61029, 61040, 61046, 61054, 61056, 61062, 477266, 477316, 266772, 266775, 266867, 266870, 266871, 266872, 264769, 264775, 264776, 264868, 264878, 309323, 309326, 308623, 443437, 241722, 241725, 241726, 241727, 241728, 241817, 241818, 241819, 241821, 241823, 241826, 241917, 241918, 241919, 241925, 241926, 242018, 242023, 242029, 242217, 242218, 242316, 242318, 242321, 242329, 242420, 242422, 242517, 242518, 242519, 242521, 242526, 492621, 492589, 239418, 492501, 492538, 492377, 431567, 431568, 431570, 431571, 431573, 431576, 431582, 187481, 187482, 187484, 187576, 187577, 187582, 187584, 187586, 187674, 187676, 187680, 187681, 187776, 187875, 187885, 485127, 485132, 187973, 187980, 187983, 188077, 188080, 188082, 188174, 188176, 188179, 188183, 188274, 188377, 188382, 188472, 188476, 188477, 188478, 188572, 188673, 188682, 188684, 188776, 188780, 431584, 239423, 239424, 239522, 239525, 239623, 492630, 492627, 492628, 492546, 492591, 492587, 242627, 242717, 242718, 242726, 242728, 242816, 242817, 242824, 442996, 308720, 308821, 308822, 308827, 309524, 309526, 309527, 309618, 309630, 264969, 264973, 264976, 265066, 265076, 265078, 265079, 265168, 265169, 265170, 265273, 265275, 265369, 265373, 265376, 265471, 265472, 265473, 265570, 265576, 265663, 265664, 265665, 265666, 265669, 266967, 266969, 266973, 266974, 267065, 267070, 267074, 267165, 267172, 477446, 477449, 477466, 477481, 477491, 477501, 477516, 238220, 238323, 238326, 238327, 238328, 238419, 238619, 238621, 238624, 238625, 238724, 491772, 491616, 92454, 92460, 92482, 202756, 202760, 202764, 202765, 202766, 202858, 202860, 202868, 203060, 203067, 203155, 203157, 203158, 203160, 203161, 494712, 494731, 494758, 133195, 133201, 133202, 133203, 133210, 133211, 133212, 133225, 774014, 774114, 774166, 774203, 774258, 774297, 774298, 774300, 774347, 774354, 773726, 773849, 774246, 774319, 773505, 773529, 773536, 773973, 774102, 774167, 774360, 774375, 773843, 773948, 774193, 774334, 773810, 773967, 774129, 774131, 774187, 774259, 774290, 774376, 774378, 773653, 773694, 773748, 774067, 774118, 774138, 774159, 774202, 774398, 773432, 773443, 773512, 773637, 773992, 774070, 773539, 773710, 773874, 773931, 774024, 774037, 774074, 773421, 773449, 773857, 774016, 774221];\n",
      "array1960 integer[] := ARRAY[4237, 23760, 23761, 23762, 23763, 23764, 23765, 23766, 23767, 23768, 23769, 23770, 24516, 24500, 10410, 10411, 3908, 4282, 4271, 4278, 10416, 10426, 10427, 23783, 23784, 23785, 23786, 23787, 23788, 23789, 23790, 23791, 10441, 781987, 10443, 10447, 10448, 10452, 10455, 10461, 10464, 10465, 781993, 10468, 10469, 10471, 10473, 24502, 10484, 781994, 10504, 13276, 13277, 780074, 24508, 24506, 24504, 10516, 494764, 494774, 494776, 494767, 494769, 494772, 494789, 494790, 494791, 494793, 494795, 494800, 494801, 494825, 246902, 246903, 246904, 246905, 246906, 246907, 246908, 246909, 246910, 246911, 246912, 246913, 246914, 245103, 245104, 245105, 245106, 245107, 245108, 245109, 245110, 245111, 245112, 245113, 245114, 245115, 245203, 245204, 245205, 245206, 245207, 245208, 245209, 245210, 245211, 245212, 245213, 245214, 245215, 245302, 245303, 245304, 245305, 245306, 245307, 245308, 245309, 245310, 245311, 245312, 245313, 245314, 245402, 245403, 245404, 245405, 245406, 245407, 245408, 245409, 245410, 245411, 245412, 245413, 245414, 245502, 245503, 245504, 245505, 245506, 245507, 245508, 245509, 245510, 245511, 245512, 245513, 245514, 247700, 247701, 247702, 247703, 247704, 247705, 247706, 247707, 247708, 247709, 247710, 247711, 247712, 247800, 247801, 247802, 247803, 247804, 247805, 247806, 247807, 247808, 247809, 247810, 247811, 247812, 203256, 203257, 203258, 203259, 203260, 203261, 203262, 203263, 203264, 203265, 203266, 203267, 203268, 203356, 203357, 203358, 203359, 203360, 203361, 203362, 203363, 203364, 203365, 203366, 203367, 203368, 203456, 203457, 203458, 203459, 203460, 203461, 203462, 203463, 203464, 203465, 203466, 203467, 203468, 203556, 203557, 203558, 203559, 203560, 203561, 203562, 203563, 203564, 203565, 203566, 203567, 203568, 203656, 203657, 203658, 203659, 203660, 203661, 203662, 203663, 203664, 203665, 203666, 203667, 203668, 203756, 203757, 203758, 203759, 203760, 203761, 203762, 203763, 203764, 203765, 203766, 203767, 203768, 203855, 203856, 203857, 203858, 203859, 203860, 203861, 203862, 203863, 203864, 203865, 203866, 203867, 92718, 92723, 92724, 92725, 92726, 92727, 92728, 92730, 205753, 205754, 205755, 205756, 205757, 205758, 205759, 205760, 205761, 205762, 205763, 205764, 205765, 204755, 204756, 204757, 204758, 204759, 204760, 204761, 204762, 204763, 204764, 204765, 204766, 204767, 204855, 204856, 204857, 204858, 204859, 204860, 204861, 204862, 204863, 204864, 204865, 204866, 204867, 491857, 491861, 491793, 491692, 491697, 491715, 491721, 491734, 491646, 491648, 491660, 491665, 491669, 491599, 491580, 491575, 491552, 491570, 491547, 491785, 491779, 477536, 477559, 477560, 477569, 477577, 477587, 477591, 477599, 477606, 477607, 477616, 477627, 477630, 477636, 477667, 477669, 477677, 477687, 477689, 488227, 488228, 442436, 442461, 442544, 442568, 442575, 442756, 442777, 243008, 243009, 243010, 243011, 243012, 243013, 243014, 243015, 243016, 243017, 243018, 243019, 243020, 243107, 243108, 243109, 243110, 243111, 243112, 243113, 243114, 243115, 243116, 243117, 243118, 243119, 243206, 243207, 243208, 243209, 243210, 243211, 243212, 243213, 243214, 243215, 243216, 243217, 243218, 243306, 243307, 243308, 243309, 243310, 243311, 243312, 243313, 243314, 243315, 243316, 243317, 243318, 243406, 243407, 243408, 243409, 243410, 243411, 243412, 243413, 243414, 243415, 243416, 243417, 243418, 431603, 431604, 431605, 431606, 431607, 431608, 431609, 431610, 431611, 431612, 431613, 431614, 431615, 431616, 431617, 431618, 431619, 431620, 431621, 431622, 431623, 490572, 490573, 490575, 490576, 490578, 490580, 490581, 310787, 310788, 310789, 310790, 310791, 310792, 310793, 310794, 310795, 310796, 310797, 310798, 310799, 310887, 310888, 310889, 310890, 310891, 310892, 310893, 310894, 310895, 310896, 310897, 310898, 310899, 311287, 311288, 311289, 311290, 311291, 311292, 311293, 311294, 311295, 311296, 311297, 311298, 311299, 311387, 311388, 311389, 311390, 311391, 311392, 311393, 311394, 311395, 311396, 311397, 311398, 311399, 311487, 311488, 311489, 311490, 311491, 311492, 311493, 311494, 311495, 311496, 311497, 311498, 311499, 312286, 312287, 312288, 312289, 312290, 312291, 312292, 312293, 312294, 312295, 312296, 312297, 312298, 310397, 310398, 310399, 310400, 310401, 310402, 310403, 310404, 310405, 310406, 310407, 310408, 310409, 267544, 267545, 267546, 267547, 267548, 267549, 267550, 267551, 267552, 267553, 267554, 267555, 267556, 267644, 267645, 267646, 267647, 267648, 267649, 267650, 267651, 267652, 267653, 267654, 267655, 267656, 267743, 267744, 267745, 267746, 267747, 267748, 267749, 267750, 267751, 267752, 267753, 267754, 267755, 267843, 267844, 267845, 267846, 267847, 267848, 267849, 267850, 267851, 267852, 267853, 267854, 267855, 267943, 267944, 267945, 267946, 267947, 267948, 267949, 267950, 267951, 267952, 267953, 267954, 267955, 268042, 268043, 268044, 268045, 268046, 268047, 268048, 268049, 268050, 268051, 268052, 268053, 268054, 485341, 270339, 270340, 270341, 270342, 270343, 270344, 270345, 270346, 270347, 270348, 270349, 270350, 270351, 270438, 270439, 270440, 270441, 270442, 270443, 270444, 270445, 270446, 270447, 270448, 270449, 270450, 270539, 270540, 270541, 270542, 270543, 270544, 270545, 270546, 270547, 270548, 270549, 270550, 270638, 270639, 270640, 270641, 270642, 270643, 270644, 270645, 270646, 270647, 270648, 270649, 270650, 270738, 270739, 270740, 270741, 270742, 270743, 270744, 270745, 270746, 270747, 270748, 270749, 270750, 485637, 485509, 268142, 268143, 268144, 268145, 268146, 268147, 268148, 268149, 268150, 268151, 268152, 268153, 268154, 268242, 268243, 268244, 268245, 268246, 268247, 268248, 268249, 268250, 268251, 268252, 268253, 268254, 268341, 268342, 268343, 268344, 268345, 268346, 268347, 268348, 268349, 268350, 268351, 268352, 268353, 268441, 268442, 268443, 268444, 268445, 268446, 268447, 268448, 268449, 268450, 268451, 268452, 268453, 268541, 268542, 268543, 268544, 268545, 268546, 268547, 268548, 268549, 268550, 268551, 268552, 268553, 268641, 268642, 268643, 268644, 268645, 268646, 268647, 268648, 268649, 268650, 268651, 268652, 268653, 310496, 310497, 310498, 310499, 310500, 310501, 310502, 310503, 310504, 310505, 310506, 310507, 310508, 310987, 310988, 310989, 310990, 310991, 310992, 310993, 310994, 310995, 310996, 310997, 310998, 310999, 490582, 490583, 490584, 490585, 490586, 490589, 490591, 431624, 431625, 431626, 431627, 431628, 431629, 431630, 431631, 431632, 431633, 431634, 431635, 431636, 431637, 431639, 431640, 431641, 431642, 431643, 431644, 243505, 243506, 243507, 243508, 243509, 243510, 243511, 243512, 243513, 243514, 243515, 243516, 243517, 441870, 441974, 442000, 442022, 442037, 442062, 442077, 442123, 442210, 442288, 442320, 309801, 309802, 309803, 309804, 309805, 309806, 309807, 309808, 309809, 309810, 309898, 309899, 309900, 309901, 309902, 309903, 309904, 309905, 309906, 309907, 309908, 309909, 309910, 309998, 309999, 310000, 310001, 310002, 267344, 267345, 267346, 267347, 267348, 267349, 267350, 267351, 267352, 267353, 267354, 267355, 267356, 477699, 477716, 477726, 477739, 477779, 477796, 477806, 477809, 477820, 477827, 477829, 477837, 477839, 477847, 477849, 477857, 477867, 491975, 491961, 491959, 491989, 492001, 492005, 492008, 492014, 247902, 247909, 247910, 247911, 245602, 245604, 245608, 245614, 245706, 245713, 245807, 245903, 245904, 245911, 246003, 246007, 246012, 246104, 246105, 246112, 246114, 246203, 246204, 246206, 246209, 246305, 246313, 246403, 246405, 246407, 246410, 247005, 247112, 494827, 494831, 247207, 247209, 247211, 247304, 247311, 246502, 246508, 246610, 248102, 248111, 248199, 248201, 248205, 133974, 204460, 204555, 204556, 204560, 204563, 204657, 204664, 204665, 206155, 206157, 206161, 206162, 206257, 206260, 206262, 206358, 206364, 206456, 206556, 206757, 206759, 205055, 205056, 205059, 205060, 205063, 205067, 491984, 492106, 491977, 491926, 491927, 491931, 477876, 477899, 477910, 477948, 477951, 478016, 478019, 310005, 310099, 310100, 310104, 441471, 441480, 206763, 243606, 243607, 243613, 243706, 243707, 431650, 431658, 431659, 311087, 311095, 311099, 310109, 310597, 310598, 310600, 310606, 312386, 312390, 311588, 311589, 311596, 311598, 311687, 311693, 311790, 311793, 311799, 311888, 268751, 268846, 268847, 268849, 268943, 268951, 268952, 268953, 269051, 269146, 269148, 269242, 269245, 269345, 269352, 485785, 270837, 270840, 270842, 270844, 270847, 270848, 270945, 270946, 485788, 269441, 269443, 269450, 269640, 269645, 269740, 269741, 267456, 311898, 311989, 312392, 312394, 310695, 310702, 310705, 431661, 431668, 431671, 431672, 431673, 243805, 243812, 243817, 243905, 244008, 244010, 244016, 244110, 244111, 244114, 244204, 244208, 244212, 206863, 206950, 206954, 206959, 206960, 206962, 207062, 207150, 207159, 207161, 207353, 207355, 207359, 207449, 207460, 207535, 207537, 207633, 207640, 440905, 441016, 441177, 441232, 488220, 478067, 478096, 478149, 478166, 491971, 492072, 492083, 492085, 492021, 205163, 205164, 205257, 205354, 205362, 205364, 248305, 248405, 248499, 248502, 248504, 248508, 248599, 248605, 248609, 248610, 248611, 248698, 248705, 248706, 248805, 248810, 248903, 249004, 249008, 249099, 249102, 246612, 246703, 246706, 246802, 246804, 246810, 246814, 247406, 247504, 247505, 247511, 247605, 247611, 249198, 249203, 249204, 249207, 249208, 249300, 249305, 249309, 249402, 249408, 249510, 249603, 249607, 249707, 249798, 249800, 249899, 249901, 249902, 249906, 250006, 250007, 244309, 244311, 244411, 244415, 244416, 244507, 244512, 244513, 244604, 244608, 244705, 244706, 244710, 244712, 244805, 244808, 244814, 244906, 244915, 245006, 245007, 245010, 245011, 245015, 96000, 96010, 96011, 205455, 205460, 205462, 205463, 205466, 492019, 492110, 491917, 491919, 478317, 478327, 478346, 488195, 488203, 488211, 488216, 207735, 207736, 207741, 207742, 207745, 207835, 207838, 207841, 207842, 207844, 208034, 208037, 208041, 208042, 208043, 208134, 208138, 208140, 208141, 431677, 431679, 431684, 431694, 493838, 493853, 493854, 493803, 490619, 312488, 312489, 312490, 312492, 312497, 312498, 312090, 312095, 312191, 312194, 310198, 310207, 310298, 310301, 310303, 310305, 311197, 269941, 270040, 270048, 270050, 270148, 270152, 270245, 270247, 270248, 270250, 271037, 271040, 271042, 271043, 271048, 250099, 271217, 271227, 271417, 271423, 271427, 271517, 271518, 271519, 271520, 271617, 271618, 271626, 271725, 271727, 312574, 312581, 312673, 313082, 313174, 313175, 313176, 313179, 313571, 313583, 431698, 431706, 431708, 431711, 431714, 431715, 431716, 208144, 208145, 208239, 208240, 208245, 208348, 208349, 208438, 208442, 208446, 208449, 208538, 208544, 208546, 208649, 208650, 208738, 208838, 208937, 208943, 209049, 209137, 209143, 209144, 209237, 209241, 209242, 209245, 209247, 209338, 209339, 209342, 209345, 209440, 209538, 209540, 209545, 216417, 216515, 216522, 216619, 216705, 216707, 216799, 216802, 216804, 216805, 216808, 216809, 216898, 216900, 216903, 216909, 216998, 217000, 217001, 213926, 214022, 214124, 488172, 488173, 488176, 488187, 488189, 488192, 478357, 478380, 478420, 478456, 478489, 274516, 274517, 274523, 274613, 274617, 274620, 491973, 491998, 492048, 96888, 96891, 97771, 97778, 98653, 98655, 98657, 98658, 98659, 98661, 205556, 205558, 492039, 492176, 492242, 274715, 274716, 274719, 478536, 478596, 478659, 488151, 488165, 217095, 217103, 217104, 217197, 217199, 217201, 217297, 217299, 217301, 217302, 217395, 217402, 217403, 217406, 217495, 217499, 217502, 217503, 217595, 217604, 217605, 217696, 217698, 217702, 217795, 217804, 215321, 215323, 215326, 215420, 215421, 215424, 215425, 215427, 215520, 215524, 209644, 209646, 209735, 209737, 209846, 209935, 209936, 209940, 209943, 210037, 210040, 210041, 210044, 210142, 210234, 210246, 210340, 210435, 210436, 210440, 210444, 210541, 210542, 210544, 210633, 210734, 210736, 210740, 210836, 210933, 210939, 211033, 211034, 211036, 211041, 211139, 211234, 211236, 211244, 211332, 211333, 211335, 211336, 211341, 211433, 211437, 431735, 492312, 492318, 490637, 494319, 494017, 494024, 313674, 313681, 271821, 271823, 271825, 271919, 272021, 272025, 272028, 272122, 272126, 272128, 272222, 272223, 271317, 271324, 272319, 272321, 272422, 272424, 272425, 272519, 272520, 272618, 272621, 272624, 272625, 272626, 272627, 272718, 272726, 272728, 312777, 312782, 490647, 490649, 492340, 431740, 431743, 431750, 211539, 211542, 211634, 211640, 211641, 211735, 211737, 211742, 211837, 211840, 211842, 212035, 212043, 212132, 212141, 212142, 212239, 212332, 215617, 215618, 215620, 215623, 215715, 215717, 215719, 215725, 215726, 215819, 215822, 217900, 217997, 217999, 218001, 218004, 218094, 218095, 214219, 214224, 214226, 214227, 214228, 488119, 488120, 488128, 488133, 488136, 488141, 478714, 478759, 478766, 478789, 274814, 274817, 274821, 274824, 274920, 218097, 218099, 218100, 218101, 218198, 218297, 218301, 218396, 218397, 218399, 218495, 218497, 218503, 218700, 218796, 218801, 218895, 218993, 218996, 218999, 492230, 99532, 99535, 99540, 494423, 494442, 494438, 494452, 494501, 494516, 494517, 494559, 205653, 205654, 205655, 205664, 491247, 491268, 219094, 219095, 219098, 219194, 219195, 219197, 219198, 219201, 219292, 219296, 219299, 219302, 219303, 219392, 219400, 275022, 275023, 275122, 275214, 275220, 275222, 275324, 273226, 491510, 491297, 478929, 488103, 214316, 214326, 214417, 214422, 214424, 214426, 212532, 212537, 212636, 212732, 212735, 212739, 212834, 212836, 212930, 212931, 212934, 212935, 212936, 212939, 212940, 213030, 213034, 213128, 213136, 213236, 213238, 213329, 213331, 213333, 213337, 213429, 213432, 213433, 213528, 213532, 215915, 215918, 215920, 215925, 216017, 216019, 216020, 216025, 216116, 216219, 216220, 216222, 216224, 212430, 431763, 431769, 490663, 490671, 490672, 490675, 312876, 312877, 312882, 312883, 313274, 313283, 272816, 272817, 273018, 273216, 273219, 273221, 273222, 273224, 313374, 313375, 313378, 313471, 313479, 312973, 312982, 312983, 313773, 313776, 490683, 490688, 431773, 431777, 431782, 431784, 431787, 431788, 216314, 216316, 216317, 213725, 213726, 213728, 213730, 213820, 213821, 213824, 213831, 214518, 214526, 214528, 214616, 214624, 214625, 214627, 214628, 214716, 214719, 214720, 214724, 214823, 214920, 214924, 214926, 215017, 215019, 215025, 215026, 215028, 215119, 215126, 215228, 488088, 488069, 488070, 488077, 488078, 478986, 478996, 479036, 273317, 273318, 273322, 273521, 273524, 273526, 273615, 273619, 273623, 273714, 273720, 273815, 273821, 273822, 273918, 273919, 273920, 273926, 274116, 274123, 274125, 274219, 274222, 274225, 274314, 274325, 274415, 274421, 275412, 275415, 275424, 219497, 219502, 219503, 219593, 219594, 219598, 219603, 491223, 491256, 491260, 100601, 101488, 101489, 494579, 494584, 773739, 773820, 773827, 773846, 773855, 773901, 773954, 773962, 774205, 774283, 774335, 774377, 773713, 773720, 773915, 773935, 773970, 774000, 774046, 774177, 774281, 774340, 773667, 773779, 773873, 774030, 774100, 774106, 774128, 774149, 774169, 774213, 774253, 774385, 773433, 773459, 773502, 773510, 773543, 773554, 773568, 773613, 773717, 773850, 774136, 773533, 773553, 773569, 773570, 773804, 774022, 774122, 774135, 774285, 774314, 774349, 773404, 773650, 773700, 774117, 774179, 774301];\n"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "array1970 integer[] := ARRAY[782000, 10561, 10562, 10563, 10574, 780099, 780164, 23897, 23898, 23899, 23900, 23901, 780112, 10604, 10605, 14530, 14126, 14276, 13457, 16400, 16210, 16135, 16305, 16251, 16789, 16504, 13601, 14058, 13997, 13976, 780104, 780097, 782019, 10620, 10621, 10630, 10631, 16253, 16195, 14650, 14644, 10644, 10645, 782020, 780163, 780156, 780101, 780116, 780094, 23926, 23927, 23928, 23929, 23930, 23931, 23932, 23933, 23934, 23935, 23936, 23937, 23938, 23939, 23940, 23941, 23942, 23943, 780091, 780092, 780093, 10650, 494638, 494641, 494650, 494684, 102357, 102358, 102359, 102360, 102361, 102362, 102363, 102366, 102367, 281881, 281882, 281883, 281884, 281885, 281886, 281887, 281888, 281889, 281890, 281891, 281892, 281893, 281894, 281895, 281981, 281982, 281983, 281984, 281985, 281986, 281987, 281988, 281989, 281990, 281991, 281992, 281993, 281994, 281995, 282081, 282082, 282083, 282084, 282085, 282086, 282087, 282088, 282089, 282090, 282091, 282092, 282093, 282094, 282095, 282181, 282182, 282183, 282184, 282185, 282186, 282187, 282188, 282189, 282190, 282191, 282192, 282193, 282194, 282195, 282281, 282282, 282283, 282284, 282285, 282286, 282287, 282288, 282289, 282290, 282291, 282292, 282293, 282294, 282295, 282381, 282382, 282383, 282384, 282385, 282386, 282387, 282388, 282389, 282390, 282391, 282392, 282393, 282394, 282395, 282481, 282482, 282483, 282484, 282485, 282486, 282487, 282488, 282489, 282490, 282491, 282492, 282493, 282494, 282495, 490692, 490693, 490694, 490695, 490696, 490699, 490700, 490701, 490702, 490703, 431792, 431793, 431794, 431795, 431796, 431797, 431798, 431799, 431800, 431801, 431802, 431803, 431804, 431805, 431807, 275488, 275489, 275490, 275491, 275492, 275493, 275494, 275495, 275496, 275497, 275498, 275499, 275500, 275501, 275502, 275588, 275589, 275590, 275591, 275592, 275593, 275594, 275595, 275596, 275597, 276983, 276984, 276985, 276986, 276987, 276988, 276989, 276990, 276991, 276992, 276993, 276994, 276995, 276996, 276997, 277083, 277084, 277085, 277086, 277087, 277088, 277089, 277090, 277091, 277092, 277093, 277094, 277095, 277096, 277097, 277183, 277184, 277185, 277186, 277187, 277188, 277189, 277190, 277191, 277192, 277193, 277194, 277195, 277196, 277197, 277282, 277283, 277284, 277285, 277286, 277287, 277288, 277289, 277290, 277291, 277292, 277293, 277294, 277295, 277296, 277382, 277383, 277384, 277385, 277386, 277387, 277388, 277389, 277390, 277391, 277392, 277393, 277394, 277395, 277396, 479057, 479059, 479060, 479079, 479086, 479087, 479090, 479100, 479106, 479109, 479117, 479120, 479127, 479130, 479150, 479156, 488038, 488040, 488041, 488042, 488043, 488044, 488051, 488053, 488054, 488055, 488056, 488057, 488058, 488059, 488060, 488066, 315471, 315472, 315473, 315474, 315660, 315661, 315662, 315663, 315664, 315665, 315666, 315667, 315668, 315669, 315670, 315671, 315672, 315673, 315674, 315760, 315761, 315762, 315763, 315764, 315765, 315766, 315767, 315768, 315769, 315770, 315771, 315772, 315773, 315774, 315860, 315861, 315862, 315863, 315864, 315865, 315866, 315867, 315868, 315869, 315870, 315871, 315872, 315873, 315874, 490026, 490027, 431791, 490691, 313860, 313861, 313862, 313863, 313864, 313865, 313866, 313867, 313868, 313869, 313870, 313871, 313872, 313873, 313874, 313960, 313961, 313962, 313963, 313964, 313965, 313966, 313967, 313968, 313969, 313970, 313971, 313972, 313973, 313974, 315460, 315461, 315462, 315463, 315464, 315465, 315466, 315467, 315468, 315469, 315470, 314860, 314861, 314862, 314863, 314864, 314865, 314866, 314867, 314868, 314869, 314870, 314871, 314872, 314873, 314874, 314960, 314961, 314962, 314963, 314964, 314965, 314966, 314967, 314968, 314969, 314970, 314971, 314972, 314973, 314974, 250180, 250181, 250182, 250183, 250184, 250185, 250186, 250187, 250188, 250189, 250190, 250191, 250192, 250193, 250194, 250280, 250281, 250282, 250283, 250284, 250285, 250286, 250287, 250288, 250289, 250290, 250291, 250292, 250293, 250294, 250379, 250380, 250381, 250382, 250383, 250384, 250385, 250386, 250387, 250388, 250389, 250390, 250391, 250392, 250393, 252278, 252279, 252280, 252281, 252282, 252283, 252284, 252285, 252286, 252287, 252288, 252289, 252290, 252291, 252292, 252378, 252379, 252380, 252381, 252382, 252383, 252384, 252385, 252386, 252387, 252388, 252389, 252390, 252391, 252392, 250679, 250680, 250681, 250682, 250683, 250684, 250685, 250686, 250687, 250688, 250689, 250690, 250691, 250692, 250693, 251778, 251779, 251780, 251781, 251782, 251783, 251784, 251785, 251786, 251787, 251788, 251789, 251790, 251791, 251792, 251878, 251879, 251880, 251881, 251882, 251883, 251884, 251885, 251886, 251887, 251888, 251889, 251890, 251891, 251892, 251978, 251979, 251980, 251981, 251982, 251983, 251984, 251985, 251986, 251987, 251988, 251989, 251990, 251991, 251992, 250779, 250780, 250781, 250782, 250783, 250784, 250785, 250786, 250787, 250788, 250789, 250790, 250791, 250792, 250793, 250879, 250880, 250881, 250882, 250883, 250884, 250885, 250886, 250887, 250888, 250889, 250890, 250891, 250892, 250893, 250979, 250980, 250981, 250982, 250983, 250984, 250985, 250986, 250987, 250988, 250989, 250990, 250991, 250992, 250993, 251079, 251080, 251081, 251082, 251083, 251084, 251085, 251086, 251087, 251088, 251089, 251090, 251091, 251092, 251093, 252478, 252479, 252480, 252481, 252482, 252483, 252484, 252485, 252486, 252487, 252488, 252489, 252490, 252491, 252492, 252578, 252579, 252580, 252581, 252582, 252583, 252584, 252585, 252586, 252587, 252588, 252589, 252590, 252591, 252592, 250479, 250480, 250481, 250482, 250483, 250484, 250485, 250486, 250487, 250488, 250489, 250490, 250491, 250492, 250493, 250579, 250580, 250581, 250582, 250583, 250584, 250585, 250586, 250587, 250588, 250589, 250590, 250591, 250592, 250593, 314060, 314061, 314062, 314063, 314064, 314065, 314066, 314067, 314068, 314069, 314070, 314071, 314072, 314073, 314074, 314160, 314161, 314162, 314163, 314164, 315960, 315961, 315962, 315963, 315964, 315965, 315966, 315967, 315968, 315969, 315970, 315971, 315972, 315973, 315974, 316059, 316060, 316061, 316062, 316063, 316064, 316065, 316066, 316067, 316068, 316069, 316070, 316071, 316072, 316073, 315560, 315561, 315562, 315563, 315564, 315565, 315566, 315567, 315568, 315569, 315570, 315571, 488014, 488015, 488016, 488017, 488018, 488019, 488020, 488023, 488024, 488025, 488026, 488027, 488028, 488030, 488031, 488032, 488033, 488034, 488036, 479176, 479177, 479179, 479190, 479199, 479209, 479217, 479219, 479227, 479229, 479236, 479237, 479239, 479246, 479247, 479256, 479257, 479259, 479266, 479267, 479269, 479276, 479277, 479280, 277482, 277483, 277484, 277485, 277486, 277487, 277488, 277489, 277490, 277491, 277492, 277493, 277494, 277495, 277496, 277582, 277583, 277584, 277585, 277586, 277587, 277588, 277589, 277590, 277591, 277592, 277593, 277594, 277595, 277596, 277682, 277683, 277684, 277685, 277686, 277687, 277688, 277689, 277690, 277691, 277692, 277693, 277694, 277695, 277696, 277782, 277783, 277784, 277785, 277786, 277787, 277788, 277789, 277790, 277791, 277792, 277793, 277794, 277795, 277796, 277882, 277883, 277884, 277885, 277886, 277887, 277888, 277889, 277890, 277891, 277892, 277893, 277894, 277895, 277896, 277982, 277983, 277984, 277985, 277986, 277987, 277988, 277989, 277990, 277991, 277992, 277993, 277994, 277995, 277996, 278082, 278083, 278084, 278085, 278086, 278087, 278088, 278089, 278090, 278091, 278092, 278093, 278094, 278095, 278096, 278182, 278183, 278184, 278185, 278186, 278187, 278188, 278189, 278190, 278191, 278192, 278193, 278194, 278195, 278196, 278282, 278283, 278284, 278285, 278286, 278287, 278288, 278289, 278290, 275598, 275599, 275600, 275601, 275602, 275686, 275687, 275688, 275689, 275690, 275691, 275692, 275693, 275694, 275695, 275696, 275697, 275698, 275699, 275700, 275786, 275787, 275788, 275789, 275790, 275791, 275792, 275793, 275794, 275795, 275796, 275797, 275798, 275799, 275800, 275886, 275887, 275888, 275889, 275890, 275891, 275892, 275893, 275894, 275895, 275896, 275897, 275898, 275899, 275900, 275985, 275986, 275987, 275988, 275989, 275990, 275991, 275992, 275993, 275994, 275995, 275996, 275997, 275998, 275999, 491292, 491323, 491324, 491326, 491328, 491330, 491331, 491344, 491341, 491319, 491321, 431809, 431810, 431811, 431812, 431813, 431814, 431815, 431816, 431817, 431818, 431820, 431821, 431822, 431823, 431824, 431825, 431826, 431827, 490705, 490706, 490707, 490708, 490709, 490710, 490711, 490712, 490713, 490714, 490715, 490716, 490717, 491263, 491265, 491261, 491259, 491255, 491240, 282581, 282582, 282583, 282584, 282585, 282586, 282587, 282588, 282589, 282590, 282591, 282592, 282593, 282594, 282595, 282681, 282682, 282683, 282684, 282685, 282686, 282687, 282688, 282689, 282690, 282691, 282692, 282693, 282694, 282695, 282781, 282782, 282783, 282784, 282785, 282786, 282787, 282788, 282789, 282790, 282791, 282792, 282793, 282794, 282795, 282881, 282882, 282883, 282884, 282885, 282886, 282887, 282888, 282889, 282890, 282891, 282892, 282893, 282894, 282895, 282981, 282982, 282983, 282984, 282985, 282986, 282987, 282988, 282989, 278291, 278292, 278293, 278294, 278295, 278296, 278382, 278383, 278384, 278385, 278386, 278387, 278388, 278389, 278390, 278391, 278392, 278393, 278394, 278395, 278396, 494750, 494747, 494734, 494715, 494717, 494718, 494719, 494720, 494721, 494724, 494725, 494726, 494773, 494771, 494777, 494765, 494763, 494760, 494757, 494754, 494779, 494783, 494851, 494852, 494853, 494814, 494819, 494823, 278482, 278483, 278484, 278582, 278583, 278586, 278596, 278682, 278692, 278783, 278784, 278794, 278883, 278891, 278895, 278896, 278982, 278984, 278993, 278996, 279090, 279095, 279188, 279189, 279192, 279195, 279282, 279285, 279288, 279291, 279295, 279382, 279384, 279484, 279487, 279489, 282991, 282994, 282995, 283085, 283087, 103842, 491232, 491250, 490719, 490720, 490721, 490724, 431828, 431832, 431839, 431842, 491365, 491394, 491468, 491307, 276096, 276188, 276195, 276286, 276287, 276292, 276297, 276299, 276388, 276390, 276391, 276392, 276393, 276394, 276397, 479287, 487993, 487997, 316860, 316866, 316871, 316873, 316163, 316169, 316171, 316173, 314165, 314168, 314174, 314264, 314265, 314267, 314272, 315061, 315065, 315066, 315069, 252688, 252778, 252783, 252786, 252790, 251179, 251183, 251190, 251192, 251283, 251291, 251380, 251382, 251389, 251391, 251486, 251487, 251490, 251580, 251583, 251585, 251685, 251689, 252079, 252080, 252087, 252090, 283091, 283189, 283193, 283195, 283288, 283290, 283393, 283483, 283489, 283491, 283492, 283583, 283586, 283588, 283592, 283593, 283690, 252181, 252188, 315161, 315168, 314365, 314368, 314374, 316267, 316272, 316273, 316362, 316365, 316368, 316370, 316373, 487964, 487966, 487971, 487972, 487973, 487982, 479427, 479457, 479469, 479477, 479497, 479506, 479507, 479519, 276485, 276488, 276494, 276587, 276593, 276685, 276688, 276792, 491569, 491658, 491733, 431851, 431859, 431860, 431862, 431866, 491894, 491827, 490735, 490738, 104719, 105605, 105607, 279582, 279591, 279682, 279683, 279684, 279686, 279688, 279693, 279694, 279695, 279782, 279793, 279888, 279892, 279995, 280086, 280087, 280088, 280090, 280094, 280181, 280183, 280184, 280185, 280194, 280287, 280290, 280291, 280292, 280294, 280386, 280389, 280392, 280395, 280482, 280683, 280692, 280792, 280881, 280884, 280894, 280982, 280985, 280992, 281081, 281084, 281087, 494873, 494897, 494899, 494909, 494916, 281183, 281190, 281195, 281282, 281283, 281295, 281383, 281387, 281389, 281482, 281490, 281494, 281586, 281588, 281681, 281687, 281694, 281781, 281789, 281791, 281795, 106386, 490746, 490747, 491549, 491546, 276884, 276889, 276892, 276893, 276896, 276897, 491485, 491414, 479547, 479559, 479587, 479609, 487933, 487943, 487945, 487949, 316960, 316962, 316970, 316460, 316461, 316472, 316566, 316567, 316570, 316663, 316668, 316670, 316760, 316766, 314463, 314464, 314474, 314563, 314572, 314674, 314769, 315262, 315263, 315267, 315368, 315371, 315374, 252878, 252884, 252885, 252889, 283782, 283880, 283889, 283890, 283991, 283993, 284079, 284080, 284092, 284178, 284280, 284288, 284380, 284382, 284383, 284388, 284390, 285359, 285365, 285454, 285464, 285555, 285655, 285658, 285660, 285757, 285762, 285763, 286056, 286155, 286159, 286166, 286256, 286257, 286259, 286261, 286354, 286361, 286363, 286364, 286366, 286456, 286463, 286466, 253079, 253080, 253085, 253088, 253090, 253189, 485148, 318121, 318130, 318223, 317018, 317021, 317022, 317026, 317028, 317029, 318822, 318824, 318830, 319218, 319226, 487931, 479696, 491367, 491316, 491445, 491478, 289753, 289757, 289845, 289847, 289848, 289849, 289850, 289851, 289951, 289955, 290048, 290053, 290144, 290145, 290146, 290149, 290151, 290242, 290248, 290250, 290342, 290345, 290352, 290445, 290447, 290449, 290546, 290548, 290555, 431883, 431886, 431890, 431893, 431895, 431896, 490761, 491251, 107265, 494950, 494928, 494912, 494905, 494893, 494890, 108137, 108143, 108144, 490772, 490776, 490782, 431901, 431904, 431907, 431909, 431910, 431916, 431918, 290651, 290653, 290654, 290744, 290755, 290852, 290856, 290942, 290956, 291042, 291043, 291143, 291144, 291151, 291156, 491523, 491373, 491617, 491640, 491775, 479799, 319321, 319322, 319323, 319417, 317121, 317130, 317131, 317218, 317219, 317220, 317229, 318326, 318330, 253278, 253279, 253286, 253290, 253291, 286555, 286560, 286655, 286658, 286752, 286756, 286760, 286762, 286850, 286858, 286862, 286863, 286950, 286958, 286964, 287050, 287150, 287158, 287255, 287260, 287351, 287354, 287360, 284461, 284464, 284466, 284469, 284470, 284566, 284573, 493619, 493579, 493443, 493185, 493188, 493679, 493689, 493657, 284662, 284672, 287450, 287453, 287555, 287560, 287654, 287661, 287851, 287852, 253389, 253392, 318419, 318424, 317331, 317421, 317423, 317424, 317427, 319427, 319428, 319429, 319517, 319524, 319618, 319622, 318917, 479869, 479936, 491776, 491671, 491736, 491717, 491603, 491625, 491554, 291349, 291350, 291351, 291355, 291356, 291447, 291451, 291452, 291454, 291546, 291549, 291552, 291554, 291645, 291650, 291745, 291754, 291755, 291848, 291851, 287956, 287957, 288049, 288051, 288057, 288061, 288151, 288156, 288157, 288161, 288162, 288253, 288349, 288350, 288351, 288358, 288449, 288451, 288452, 288453, 288454, 288455, 288456, 288460, 431925, 431934, 431942, 431943, 490790, 109029, 110783, 110788, 320327, 320330, 490802, 490803, 490804, 431949, 431950, 288550, 288553, 288558, 288658, 288752, 288756, 288760, 288850, 288853, 288861, 288862, 288949, 288961, 289048, 289148, 289151, 289152, 289154, 289159, 291942, 291947, 291951, 292048, 292053, 292142, 292143, 292144, 292147, 292150, 292154, 292156, 292346, 292348, 292349, 292351, 292353, 292446, 292447, 292448, 292542, 292544, 292548, 292549, 292551, 292552, 479949, 479979, 480019, 480021, 480026, 487927, 319723, 319730, 319820, 319829, 319925, 319931, 320018, 320020, 320026, 317519, 317531, 317620, 317631, 317722, 317727, 317731, 317820, 318619, 318624, 318631, 490059, 485491, 493890, 493785, 493780, 493743, 493753, 284762, 284765, 284766, 284857, 284957, 284962, 285056, 285058, 285070, 285158, 285159, 285161, 285163, 285168, 285260, 285261, 285262, 285263, 493634, 493637, 493640, 493641, 493945, 490063, 318718, 318721, 318725, 318728, 317829, 317925, 318018, 318023, 318027, 318028, 320119, 320121, 320125, 320126, 320218, 318926, 318928, 318930, 319023, 319030, 319031, 319121, 319127, 319129, 319130, 487921, 480126, 480136, 480146, 292639, 292641, 292642, 292643, 289257, 289258, 289259, 289260, 289445, 289448, 289450, 289451, 289458, 289553, 289555, 491783, 491598, 491753, 491760, 431962, 431968, 431971, 431974, 491872, 491832, 292645, 292646, 292738, 292746, 292749, 292751, 292840, 292844, 292848, 292941, 292948, 292952, 293038, 293044, 293138, 293142, 293144, 293146, 293150, 293247, 293248, 293251, 293341, 293351, 490814, 490815, 490816, 490820, 490821, 320416, 320417, 320422, 320429, 320224, 320228, 320229, 111616, 773842, 773910, 773951, 774109, 774356, 774393, 773629, 773955, 774123, 774227, 774260, 774324, 773429, 773448, 773508, 773528, 773563, 773651, 773695, 773802, 773823, 773920, 774239, 774330, 774379, 773413, 773535, 773639, 773723, 773746, 773749, 773763, 773766, 773785, 773895, 773897, 773934, 774254, 773492, 773654, 773669, 773673, 773861, 773995, 774042, 774323, 774369, 773423, 773434, 773789, 773853, 774315, 774399, 773442, 773501, 773737, 773747, 773871, 773919, 774125, 773608, 773938, 773997, 774031, 774112];\n",
      "array1980 integer[] := ARRAY[16188, 16133, 16205, 10694, 10695, 10696, 780033, 780034, 780051, 780069, 10703, 10712, 13980, 14069, 13602, 780053, 780068, 780043, 14073, 14219, 14071, 16058, 16136, 782031, 782032, 16367, 14563, 10739, 10745, 10746, 23983, 23985, 780060, 23993, 10755, 16030, 14280, 16203, 16040, 16057, 782034, 782036, 16794, 14648, 10775, 23995, 23999, 24002, 780054, 780082, 24010, 10781, 10785, 10788, 14343, 13987, 13982, 13560, 782038, 320499, 320500, 320501, 320502, 320503, 320504, 320505, 320506, 320507, 320508, 320509, 320510, 320511, 320512, 320513, 320514, 320515, 320516, 320517, 320518, 320519, 320599, 320600, 320601, 320602, 320603, 320604, 320605, 320606, 320607, 320608, 320609, 320610, 320611, 320612, 320613, 320614, 320615, 320616, 320617, 320618, 320619, 490825, 490826, 490827, 490828, 490829, 490830, 490831, 490832, 490833, 490834, 490836, 321898, 321899, 321900, 321901, 321902, 321903, 321904, 321905, 321906, 321907, 321908, 321909, 321910, 321911, 321912, 321913, 321914, 321915, 321916, 321917, 321918, 321998, 321999, 322000, 322001, 322002, 322003, 322004, 322005, 322006, 322007, 322008, 322009, 322010, 322011, 322012, 322013, 322014, 322015, 322016, 322017, 322018, 322098, 322099, 322100, 322101, 322102, 322103, 322104, 322105, 322106, 322107, 322108, 322109, 322110, 322111, 322112, 322113, 322114, 322115, 322116, 322117, 322118, 323097, 323098, 323099, 323100, 323101, 323102, 323103, 323104, 323105, 323106, 323107, 323108, 323109, 323110, 323111, 323112, 323113, 323114, 323115, 323116, 323117, 323197, 323198, 323199, 323200, 323201, 323202, 323203, 323204, 323205, 323206, 323207, 323209, 323210, 323211, 323212, 323213, 323214, 323215, 323216, 323217, 126096, 126097, 126098, 126100, 126101, 126102, 126103, 126108, 126109, 126110, 126111, 126112, 293430, 293431, 293432, 293433, 293434, 293435, 293436, 293437, 293438, 293439, 293440, 293441, 293442, 293443, 293444, 293445, 293446, 293447, 293448, 293449, 293450, 491823, 491828, 491817, 491821, 431976, 431977, 431978, 431979, 431980, 431981, 431982, 431983, 431984, 431985, 431986, 431987, 431988, 431989, 431990, 431991, 431992, 431993, 431994, 431995, 431996, 431997, 431998, 431999, 432000, 432001, 432002, 432003, 432004, 432005, 432006, 432007, 432008, 432009, 432010, 432011, 432012, 432013, 432014, 432015, 432016, 432017, 432018, 432019, 432020, 432021, 432022, 432023, 432024, 432025, 432026, 432027, 432028, 432029, 432030, 432031, 432032, 491790, 294328, 294329, 294330, 294331, 294332, 294333, 294334, 294335, 294336, 294337, 294338, 294339, 294340, 294341, 294342, 294343, 294344, 294345, 294346, 294347, 294348, 294428, 294429, 294430, 294431, 294432, 294433, 294434, 294435, 294436, 294437, 294438, 294439, 294440, 294441, 294442, 294443, 294444, 294445, 294446, 294447, 294448, 294528, 294529, 294530, 294531, 294532, 294533, 294534, 294535, 294536, 294537, 294538, 294539, 294540, 294541, 294542, 294543, 294544, 294545, 294546, 294547, 294548, 294628, 294629, 294630, 294631, 294632, 294633, 294634, 294635, 294636, 294637, 294638, 294639, 294640, 294641, 294642, 294643, 294644, 294645, 294646, 294647, 294648, 294728, 294729, 294730, 294731, 294732, 294733, 294734, 294735, 294736, 294737, 294738, 294739, 294740, 294741, 294742, 294743, 294744, 294745, 294746, 294747, 294748, 294828, 294829, 294830, 294831, 294832, 294833, 294834, 294835, 294836, 294837, 294838, 294839, 294840, 294841, 294842, 294843, 294844, 294845, 296424, 296425, 296426, 296427, 296428, 296429, 296430, 296431, 296432, 296433, 296434, 296435, 296436, 296437, 296438, 296439, 296440, 296441, 296442, 296443, 296444, 296524, 296525, 296526, 296527, 296528, 296529, 296530, 296531, 296532, 296533, 296534, 296535, 296536, 296537, 296538, 296539, 296540, 296541, 296542, 296543, 296544, 296624, 296625, 296626, 296627, 296628, 296629, 296630, 296631, 296632, 296633, 296634, 296635, 296636, 296637, 296638, 296639, 296640, 296641, 296642, 296643, 296644, 296724, 296725, 296726, 296727, 296728, 296729, 296730, 296731, 296732, 296733, 296734, 296735, 296736, 296737, 296738, 296739, 296740, 296741, 296742, 296743, 296744, 296824, 296825, 296826, 296827, 296828, 296829, 296830, 296831, 296832, 296833, 296834, 296835, 296836, 296837, 296838, 296839, 296840, 296841, 296842, 296843, 296844, 296924, 296925, 296926, 296927, 296928, 296929, 296930, 296931, 296932, 296933, 296934, 296935, 296936, 296937, 296938, 296939, 296940, 296941, 296942, 296943, 296944, 297024, 297025, 297026, 297027, 297028, 297029, 297030, 297031, 297032, 297033, 297034, 297035, 297036, 297037, 297038, 297039, 297040, 297041, 297042, 297043, 297044, 297124, 297125, 297126, 297127, 297128, 297129, 297130, 297131, 297132, 297133, 297134, 297135, 297136, 297137, 297138, 297139, 297140, 297141, 297142, 297143, 297144, 491686, 491687, 491672, 491647, 491652, 491656, 491735, 491722, 491716, 491601, 491597, 491620, 491544, 491548, 491573, 491781, 491486, 491481, 491511, 491508, 491506, 491526, 480160, 480170, 480180, 480183, 480186, 480196, 480199, 480206, 480209, 480219, 480226, 480229, 480239, 480246, 480249, 487917, 487918, 487919, 490067, 490068, 490069, 490072, 485877, 485878, 485880, 485723, 485731, 485732, 485735, 326109, 326110, 326111, 326112, 326113, 326193, 326194, 326195, 326196, 326197, 326198, 326199, 326200, 326201, 326202, 326203, 326204, 326205, 326206, 326207, 326208, 326209, 326210, 326211, 326212, 326213, 324196, 324197, 324198, 324199, 324200, 324201, 324202, 324203, 324204, 324205, 324206, 324207, 324208, 324209, 324210, 324211, 324212, 324213, 324214, 324215, 324216, 324296, 324297, 324298, 324299, 324300, 324301, 324302, 324303, 324304, 324305, 324306, 324307, 324308, 324309, 324310, 324311, 324312, 324313, 324314, 324315, 324316, 324396, 324397, 324398, 324399, 324400, 324401, 324402, 324403, 324404, 324405, 324406, 324407, 324408, 324409, 324410, 324411, 324412, 324413, 324414, 324415, 324416, 493959, 493960, 494003, 494004, 494005, 494006, 494008, 494010, 494013, 494014, 494079, 494080, 494081, 494082, 494066, 494087, 494088, 494089, 494141, 494142, 494144, 494145, 494146, 494147, 494149, 494150, 494106, 494107, 494108, 494111, 494112, 492293, 324496, 324497, 324498, 324499, 324500, 324501, 324502, 324503, 324504, 324505, 324506, 324507, 324508, 324509, 324510, 324511, 324512, 324513, 324514, 324515, 324516, 324596, 324597, 324598, 324599, 324600, 324601, 324602, 324603, 324604, 324605, 324606, 324607, 324608, 324609, 324610, 324611, 324612, 324613, 324614, 324615, 324616, 324696, 324697, 324698, 324699, 324700, 324701, 324702, 324703, 324704, 324705, 324706, 324707, 324708, 324709, 324710, 324711, 324712, 324713, 324714, 324715, 324716, 324795, 324796, 324797, 324798, 324799, 324800, 324801, 324802, 324803, 324804, 324805, 324806, 324807, 324808, 324809, 324810, 324811, 324812, 324813, 324814, 324815, 326292, 326293, 326294, 326295, 326296, 326297, 326298, 326299, 326300, 326301, 326302, 326303, 326304, 326305, 326306, 326307, 326308, 326309, 326310, 326311, 326312, 326392, 326393, 326394, 326395, 326396, 326397, 326398, 326399, 326400, 326401, 326402, 326403, 326404, 326405, 326406, 326407, 326408, 326409, 326410, 326411, 326412, 326491, 326492, 326493, 326494, 326495, 326496, 326497, 326498, 326499, 326500, 326501, 326502, 326503, 326504, 326505, 326506, 326507, 326508, 326509, 326510, 326511, 490075, 490078, 487891, 487892, 487893, 487894, 487895, 487896, 487897, 487898, 487900, 487904, 487906, 487907, 487908, 487910, 487911, 487912, 487913, 487914, 487915, 487916, 480256, 480259, 480266, 480279, 480286, 480289, 480296, 480299, 480306, 480309, 480316, 480326, 480329, 480336, 480339, 297224, 297225, 297226, 297227, 297228, 297229, 297230, 297231, 297232, 297233, 297234, 297235, 297236, 297237, 297238, 297239, 297240, 297241, 297242, 297243, 297244, 297324, 297325, 297326, 297327, 297328, 297329, 297330, 297331, 297332, 297333, 297334, 297335, 297336, 297337, 297338, 297339, 297340, 297341, 297342, 297343, 297344, 297424, 297425, 297426, 297427, 297428, 297429, 297430, 297431, 297432, 297433, 297434, 297435, 297436, 297437, 297438, 297439, 297440, 297441, 297442, 297443, 297444, 297524, 297525, 297526, 297527, 297528, 297529, 297530, 297531, 297532, 297533, 297534, 297535, 297536, 297537, 297538, 297539, 297540, 297541, 297542, 297543, 297544, 297624, 297625, 297626, 297627, 297628, 297629, 297630, 297631, 297632, 297633, 297634, 297635, 297636, 297637, 297638, 297639, 297640, 297641, 297642, 297643, 297644, 294846, 294847, 294848, 294928, 294929, 294930, 294931, 294932, 294933, 294934, 294935, 294936, 294937, 294938, 294939, 294940, 294941, 294942, 294943, 294944, 294945, 294946, 294947, 295027, 295028, 295029, 295030, 295031, 295032, 295033, 295034, 295035, 295036, 295037, 295038, 295039, 295040, 295041, 295042, 295043, 295044, 295045, 295046, 295047, 295127, 295128, 295129, 295130, 295131, 295132, 295133, 295134, 295135, 295136, 295137, 295138, 295139, 295140, 295141, 295142, 295143, 295144, 295145, 295146, 295147, 295227, 295228, 295229, 295230, 295231, 295232, 295233, 295234, 295235, 295236, 295237, 295238, 295239, 295240, 295241, 295242, 295243, 295244, 295245, 295246, 295247, 432033, 432034, 432035, 432036, 432037, 432038, 432039, 432040, 432041, 432042, 432043, 432044, 432045, 432046, 432047, 432048, 432049, 432050, 432051, 432052, 432053, 432054, 432055, 432056, 432057, 432058, 432059, 432060, 432061, 432062, 432063, 432064, 432065, 432066, 432067, 432068, 432069, 432070, 432071, 432072, 432073, 432074, 432075, 432076, 432077, 432078, 491811, 492164, 492171, 492148, 492119, 293535, 293540, 293542, 293543, 293545, 293549, 293550, 293636, 293640, 492273, 492276, 492285, 127089, 127093, 323299, 323301, 323303, 323306, 323313, 322199, 322200, 322206, 322211, 322212, 322214, 322215, 490845, 320699, 320707, 320708, 320709, 320716, 320718, 320799, 320805, 320806, 320808, 320813, 320814, 320902, 320915, 320917, 321001, 321003, 321006, 321008, 321018, 321099, 321102, 321103, 321111, 321115, 321116, 321202, 321203, 321205, 490853, 490854, 490855, 490856, 490859, 490862, 490865, 322305, 322307, 322308, 322401, 322405, 322407, 322412, 323409, 323410, 323413, 323417, 128082, 128087, 492259, 492255, 293645, 293734, 293737, 293745, 293835, 293838, 492177, 492201, 491867, 432086, 432087, 432097, 432105, 432106, 432109, 432120, 295331, 295339, 295437, 295443, 295444, 295533, 295539, 295630, 295631, 295633, 295737, 295743, 297724, 297735, 297739, 297740, 297741, 297742, 297834, 297841, 297842, 297843, 297926, 297931, 297936, 298026, 298028, 298040, 298041, 298044, 298126, 298140, 298233, 298241, 298331, 487828, 480376, 486961, 486969, 326599, 326607, 326696, 326700, 326705, 326707, 326710, 324894, 324896, 324902, 324908, 324910, 324999, 325006, 325007, 325011, 325095, 325110, 325202, 325204, 325205, 325210, 494121, 494337, 494338, 492305, 492291, 325293, 325300, 325301, 325302, 325312, 325400, 325403, 325405, 325406, 325501, 325503, 325509, 325510, 325598, 325603, 325605, 323605, 323608, 323614, 323615, 323697, 323711, 323714, 323798, 323804, 323807, 323812, 326791, 326807, 326811, 486976, 486982, 486983, 486990, 486992, 486994, 480466, 480476, 480521, 480532, 298425, 298433, 298435, 298525, 298526, 298533, 298543, 298544, 298634, 298635, 298637, 298640, 298642, 298643, 298723, 298728, 298738, 298833, 298835, 298837, 298838, 298842, 298843, 298928, 298933, 298936, 298941, 494447, 295827, 295832, 295835, 295837, 295840, 295925, 295931, 295935, 295938, 295940, 295943, 295944, 295945, 296025, 296030, 296040, 296041, 296135, 296138, 296142, 296145, 432123, 432125, 432127, 432128, 432132, 432133, 432143, 432153, 432157, 293846, 293931, 293934, 293942, 293944, 293946, 323497, 323500, 323502, 323507, 323509, 323511, 323515, 323599, 322505, 322507, 322508, 322509, 322511, 322517, 322598, 322607, 322615, 322616, 322618, 490870, 490871, 490880, 321306, 321307, 321308, 321309, 321312, 321401, 321402, 321403, 321409, 321410, 321412, 321415, 321500, 321501, 321515, 124487, 124488, 124491, 124492, 124501, 125222, 125223, 125225, 125229, 321601, 321603, 321618, 321698, 321701, 321702, 321711, 321807, 321808, 490895, 322705, 322711, 322716, 322801, 322803, 322804, 322806, 322906, 322915, 322999, 323004, 323011, 323015, 323016, 323017, 294033, 294129, 294130, 294138, 294140, 294144, 294230, 294235, 294242, 294246, 492152, 492182, 492188, 432163, 432165, 432166, 432168, 432170, 432171, 432173, 432178, 432183, 432184, 432187, 432189, 432196, 432198, 432204, 296230, 494530, 494537, 299031, 299035, 299127, 299141, 299228, 299230, 299233, 299324, 299325, 299335, 299337, 299342, 299424, 299427, 299433, 299434, 299436, 299442, 299530, 296244, 296325, 296326, 296327, 296338, 480570, 480499, 487029, 326997, 327000, 327003, 327005, 326895, 326896, 326897, 326901, 326909, 323909, 323915, 324006, 324010, 324013, 324096, 324103, 324108, 324109, 324111, 324113, 324115, 325693, 325703, 325707, 325794, 325798, 325807, 325809, 325894, 325898, 325999, 326011, 326013, 326093, 326094, 326096, 326098, 326102, 326104, 299540, 332751, 331552, 331555, 331957, 331959, 331962, 331965, 331968, 330256, 330262, 330270, 330359, 330360, 330368, 330369, 330464, 330465, 330469, 330559, 330569, 330573, 330654, 330655, 330664, 330665, 330670, 330761, 330766, 330858, 330860, 330863, 330864, 330954, 330957, 330963, 330964, 330967, 330972, 331055, 331059, 331066, 331159, 331164, 331168, 331170, 331260, 331264, 331270, 331271, 333348, 333351, 333450, 333451, 333453, 333455, 333457, 333459, 333462, 334146, 334147, 334153, 334855, 334858, 334860, 335645, 336240, 336244, 336253, 336256, 336257, 327070, 327074, 327075, 327076, 327084, 329971, 329972, 330055, 330059, 329260, 329265, 329267, 329271, 329272, 329278, 327768, 327770, 327772, 327778, 327780, 328561, 328563, 328570, 328573, 338953, 338956, 338337, 338347, 336946, 336955, 336957, 337639, 337640, 337647, 337648, 337649, 480629, 378605, 378607, 378610, 378612, 378618, 377769, 377770, 377771, 377780, 377983, 377992, 378079, 378081, 378084, 378089, 378091, 378093, 378094, 487752, 487766, 494612, 432209, 432210, 432213, 432214, 432216, 432229, 432237, 432243, 432247, 432250, 432255, 432256, 432257, 492232, 492205, 492143, 492238, 492235, 123519, 123522, 123524, 490897, 490899, 490903, 88043, 88047, 88049, 494697, 487728, 487730, 487734, 487745, 487746, 378699, 378701, 378702, 378705, 378712, 378717, 378788, 378792, 378793, 378794, 378797, 378798, 378802, 378803, 378805, 378895, 378937, 378939, 378942, 378943, 480660, 480669, 480696, 480726, 487019, 339242, 432266, 432286, 432293, 432297, 432298, 432304, 432310, 333544, 333551, 333552, 333560, 333562, 333641, 333643, 333646, 333647, 333651, 333657, 333658, 333660, 333750, 333760, 333847, 333850, 331354, 331357, 331358, 331365, 331367, 331452, 331455, 331457, 331459, 331460, 331462, 331465, 331467, 331472, 332053, 332057, 332065, 332147, 332149, 332150, 332156, 332158, 332160, 332246, 332248, 332249, 332259, 332261, 332264, 332352, 332355, 332358, 332360, 332361, 332366, 332446, 332455, 332460, 332466, 332546, 332547, 332548, 332549, 332551, 332554, 332557, 332558, 332659, 331557, 331559, 331564, 331651, 331652, 331653, 331654, 331656, 331657, 331662, 331667, 331671, 331752, 331753, 331764, 331770, 331855, 331862, 331865, 331867, 331951, 331953, 332761, 332846, 332851, 332857, 332863, 332944, 332948, 332953, 332955, 332956, 333044, 333045, 333049, 333055, 333061, 333063, 333144, 333145, 333148, 333152, 333154, 333160, 333245, 333248, 333250, 333253, 333255, 333256, 333258, 492545, 492580, 492547, 492555, 492440, 492530, 492500, 494310, 494311, 333941, 333955, 334041, 334054, 334056, 334057, 334940, 334943, 334952, 334956, 334957, 335043, 335044, 335045, 335047, 335149, 335151, 335155, 335156, 335160, 335241, 335245, 335246, 335259, 335347, 335350, 335353, 335356, 335443, 335445, 335549, 335556, 335557, 335558, 334246, 334250, 334251, 334257, 334354, 334359, 334443, 334448, 334450, 334458, 334459, 334460, 334541, 334542, 334543, 334553, 334640, 334649, 334650, 334651, 334654, 334655, 334657, 334741, 334753, 334841, 334842, 334843, 334845, 334851, 432316, 432319, 432321, 432326, 432327, 432330, 432337, 432339, 432340, 432350, 432363, 432368, 336340, 336342, 336344, 336347, 336354, 336356, 336357, 336358, 336359, 336440, 336441, 336442, 336452, 336453, 336454, 336460, 335646, 335648, 335660, 335740, 335741, 335753, 335754, 335842, 335843, 335854, 335857, 335940, 335943, 335948, 335951, 335952, 335955, 335957, 335959, 336041, 336046, 336050, 336056, 336143, 336147, 336149, 336150, 336154, 337043, 337047, 337049, 337055, 337058, 336545, 336552, 336556, 336641, 336643, 336655, 336658, 336744, 336845, 336851, 336854, 480770, 480780, 480787, 487711, 487714, 487717, 487721, 494848, 128900, 88960, 88962, 88969, 88972, 90562, 494805, 494951, 494952, 487688, 487690, 487693, 487696, 487704, 480819, 480830, 480866, 480871, 487005, 337142, 337143, 337149, 337238, 337240, 337249, 337252, 337256, 337339, 337343, 337348, 337349, 337443, 337445, 337447, 337449, 337450, 337452, 337454, 337455, 337538, 337545, 337550, 337739, 337745, 337752, 337841, 337853, 337855, 337937, 337940, 337941, 337948, 337950, 338046, 338051, 338054, 338056, 338138, 338141, 338142, 338150, 338154, 338155, 338157, 338238, 338241, 338245, 338251, 338254, 339247, 339252, 339333, 339436, 339437, 339439, 339440, 339448, 339537, 339544, 339548, 339034, 339035, 339037, 339053, 339136, 339138, 339139, 339150, 339234, 339237, 339240, 338350, 338442, 338444, 338445, 338449, 338543, 338545, 338553, 338554, 338556, 338640, 338644, 338646, 338651, 338656, 338739, 338740, 338746, 338754, 338842, 338846, 338856, 338944, 338945, 338950, 327173, 327174, 327176, 327177, 327186, 327267, 327270, 327272, 327275, 327283, 327371, 327384, 327385, 432376, 432379, 432382, 432383, 432398, 432408, 432414, 432419, 432420, 432423, 492476, 492448, 492464, 339549, 339633, 339635, 339637, 339638, 339643, 339734, 339736, 339737, 339742, 432438, 432441, 432458, 432459, 432461, 432468, 432469, 432474, 432476, 330158, 330163, 330165, 330167, 330171, 327465, 327467, 327470, 327475, 327481, 327482, 327484, 327564, 327565, 327573, 327578, 327669, 327671, 327672, 327679, 328663, 328668, 328672, 328677, 328678, 328766, 328767, 328769, 328779, 328781, 328880, 328963, 328966, 328970, 328976, 328979, 329066, 329069, 329079, 329080, 329161, 329177, 327866, 327868, 327870, 327873, 327878, 327973, 328073, 328075, 328169, 328172, 328176, 328179, 328180, 328263, 328269, 328371, 328379, 328382, 328463, 328464, 328466, 328470, 328471, 328472, 328478, 329360, 329362, 329366, 329369, 329375, 329377, 329465, 329562, 329568, 329577, 329663, 329668, 329677, 329759, 329760, 329765, 329857, 329860, 329861, 329866, 329872, 329953, 329958, 329959, 329961, 329966, 486752, 480891, 480929, 487684, 494966, 494945, 494946, 91461, 91462, 773926, 774033, 774127, 774208, 774261, 773657, 773751, 773834, 773866, 773908, 774111, 774121, 774357, 773611, 773732, 773792, 773998, 774071, 774150, 774241, 773499, 773707, 773835, 774095, 774209, 774262, 774351, 774371, 774380, 774400, 773424, 773453, 773500, 773595, 773610, 773640, 773852, 774043, 774116, 774151, 774242, 774249, 774337, 773444, 773538, 773592, 773725, 773728, 773939, 774015, 774130, 774163, 774182, 774286, 773531, 773755, 774287, 774306, 773414, 773439, 774372, 774395];\n"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "array1990 integer[] := ARRAY[53162, 25036, 25037, 53862, 53894, 14640, 16187, 1040058, 1040059, 1040084, 1040095, 41220, 41227, 41234, 41235, 41241, 41242, 41243, 41255, 41258, 41261, 41276, 41289, 41292, 41313, 41315, 41331, 41339, 41378, 41383, 41428, 41575, 16186, 14635, 14569, 13608, 13561, 53919, 53932, 53935, 54004, 54007, 54030, 54044, 54057, 54058, 54059, 54075, 54093, 54094, 54106, 54176, 29424, 32168, 32276, 29221, 13286, 14065, 14349, 16026, 16177, 16179, 16263, 39255, 39258, 39262, 39263, 39264, 39270, 39276, 39304, 39364, 39365, 39367, 39368, 39369, 39370, 39383, 39388, 39391, 39407, 39423, 39513, 52906, 52949, 53001, 53006, 53009, 53013, 53085, 41778, 41780, 41782, 41964, 42006, 42181, 16178, 54250, 54312, 54314, 54333, 54391, 54422, 54424, 54469, 54470, 54490, 30030, 30053, 27161, 27249, 27168, 27169, 28099, 30783, 32498, 32978, 33328, 32347, 32283, 30520, 30540, 30691, 30842, 28207, 54588, 54589, 54594, 54604, 54617, 54619, 54712, 54713, 54716, 54732, 54733, 54757, 54758, 54828, 14534, 16038, 16182, 42224, 42225, 42252, 42280, 42298, 42330, 42349, 42395, 42404, 43066, 43069, 43112, 43210, 43213, 43214, 43215, 14057, 55167, 43243, 43246, 43253, 43256, 43260, 43268, 43273, 43313, 43317, 43331, 43359, 43408, 43428, 43529, 43531, 43724, 43800, 43924, 44208, 44212, 44217, 30045, 30041, 29903, 29652, 30066, 27251, 28147, 28867, 28879, 29180, 28627, 29427, 30872, 30877, 30735, 30664, 30576, 30542, 30527, 30511, 32280, 32081, 32348, 32335, 33321, 32353, 32312, 32015, 32165, 32285, 32199, 30487, 30555, 30591, 30587, 30565, 30569, 30667, 30628, 30602, 30903, 28742, 28273, 28274, 29207, 29237, 29333, 29342, 29343, 29111, 28105, 28161, 27745, 27976, 27337, 27719, 30057, 30059, 30055, 29660, 29507, 29513, 29492, 29906, 29908, 44261, 44305, 44306, 44319, 44326, 44348, 44351, 44357, 44358, 44407, 44426, 44428, 44503, 44509, 44568, 44569, 44634, 44637, 44640, 44641, 44749, 44827, 44942, 45210, 45240, 45249, 45257, 45260, 45261, 45403, 45407, 45416, 45417, 13212, 13203, 55253, 55266, 55269, 55353, 55358, 55362, 55365, 55615, 55616, 55618, 55619, 14552, 16036, 16192, 16259, 388655, 388656, 388657, 388658, 388659, 388660, 388662, 388663, 388664, 388665, 388666, 397058, 397059, 397060, 397061, 397062, 397063, 397100, 397101, 397102, 397103, 397104, 480959, 480969, 480979, 480999, 481009, 481019, 421215, 421216, 421217, 421218, 421219, 421220, 421221, 421514, 419695, 419699, 419700, 419704, 419710, 419747, 419753, 419763, 419764, 419794, 419795, 419796, 419844, 419845, 419846, 419847, 419848, 419849, 419850, 419851, 419852, 419883, 419884, 419885, 419886, 419887, 419888, 419889, 419890, 419891, 419893, 419894, 419895, 419896, 419917, 419918, 419919, 419920, 419921, 419922, 419936, 419937, 419938, 419959, 419960, 419961, 419970, 419971, 419972, 419973, 419974, 419991, 419992, 419993, 419994, 419995, 419996, 419997, 419998, 419999, 420000, 420001, 420002, 420033, 420037, 420106, 420107, 420108, 420109, 420164, 420165, 420197, 420198, 420199, 420200, 420201, 420259, 420260, 420262, 420263, 420264, 420265, 420266, 420267, 420268, 420269, 420270, 420333, 420392, 420393, 420394, 420395, 420396, 420397, 420398, 420399, 420443, 420444, 420445, 420446, 420447, 420448, 420449, 420450, 420451, 420495, 420496, 420497, 420498, 420499, 420500, 420565, 420566, 420567, 420568, 420569, 420570, 420571, 420572, 420593, 420594, 420608, 420609, 420610, 420611, 420612, 420613, 420614, 420615, 420616, 420617, 420683, 420684, 420685, 420686, 420687, 420688, 420689, 420690, 420691, 420692, 420693, 420694, 420715, 420716, 420717, 420718, 420722, 420726, 420727, 420728, 420729, 420730, 420737, 420738, 420739, 420740, 420741, 420742, 420771, 420772, 420773, 420774, 420775, 420776, 420777, 420778, 420779, 420780, 420787, 387444, 387445, 387446, 387447, 387544, 387545, 387546, 386204, 386205, 386206, 386207, 386208, 386209, 386210, 339761, 339762, 339763, 339764, 339765, 339766, 339767, 339768, 339769, 339770, 339771, 339860, 339861, 339862, 339863, 339864, 339865, 339866, 339867, 339868, 339869, 339870, 339960, 339961, 339962, 339963, 339964, 339965, 339966, 339967, 339968, 339969, 339970, 340060, 340061, 340062, 340063, 340064, 340065, 340066, 340067, 340068, 340069, 340070, 340159, 340160, 340161, 340162, 340163, 340164, 340165, 340166, 340167, 340168, 340258, 340259, 340260, 340261, 340262, 340263, 340264, 340265, 340266, 340267, 340268, 340358, 340359, 340360, 340361, 340362, 340363, 340364, 340365, 340366, 340367, 340368, 340458, 340459, 340460, 340461, 340462, 340463, 340464, 340465, 340466, 340467, 340468, 340558, 340559, 340560, 340561, 340562, 340563, 340564, 340565, 340566, 340567, 340568, 340658, 340659, 340660, 340661, 340662, 340663, 340664, 340665, 340666, 340667, 340668, 340758, 340759, 340760, 340761, 340762, 340763, 340764, 340765, 340766, 340767, 340768, 340858, 340859, 340860, 340861, 340862, 340863, 340864, 340865, 340866, 340867, 340868, 340958, 340959, 340960, 340961, 340962, 340963, 340964, 340965, 340966, 340967, 340968, 341058, 341059, 341060, 341061, 341062, 341063, 341064, 341065, 341066, 341067, 341068, 341158, 341159, 341160, 341161, 341162, 341163, 341164, 341165, 341166, 341167, 341168, 341258, 341259, 341260, 341261, 341262, 341263, 341264, 341265, 341266, 341267, 341358, 341359, 341360, 341361, 341362, 341363, 341364, 341365, 341366, 341367, 341368, 341458, 341459, 341460, 341461, 341462, 341463, 341464, 341465, 341466, 341467, 341468, 341558, 341559, 341560, 341561, 341562, 341563, 341564, 341565, 341566, 341567, 341568, 341658, 341659, 341660, 341661, 341662, 341663, 341664, 341665, 341666, 341667, 341668, 341758, 341759, 341760, 341761, 341762, 341763, 341764, 341765, 341766, 341767, 341768, 341858, 341859, 341860, 341861, 341862, 341863, 341864, 341865, 341866, 341867, 341868, 341958, 341959, 341960, 341961, 341962, 341963, 341964, 341965, 341966, 341967, 341968, 342058, 342059, 342060, 342061, 342062, 342063, 342064, 342065, 342066, 342067, 342068, 342156, 342157, 342158, 342159, 342160, 342163, 342165, 342166, 342364, 342455, 342460, 342556, 342558, 342559, 342561, 342661, 342663, 342755, 342759, 342764, 342864, 342963, 343058, 343155, 343160, 343255, 343261, 343355, 343357, 343359, 343460, 343560, 343658, 343661, 343856, 343857, 343955, 344054, 344164, 344254, 344354, 344357, 344358, 344360, 344361, 344556, 344560, 344653, 344661, 344745, 344747, 344750, 344842, 421677, 421680, 421681, 421683, 421703, 421704, 421950, 422023, 422024, 422055, 422101, 422103, 422254, 422255, 422279, 422283, 422378, 422380, 422594, 422598, 421245, 421251, 421209, 421330, 421362, 421378, 421380, 421389, 421435, 421507, 481059, 481089, 122536, 388574, 388575, 345443, 345544, 345643, 345647, 345739, 345744, 345837, 345838, 345841, 345843, 345937, 346046, 346238, 346242, 346244, 346339, 346341, 346344, 346438, 346439, 346443, 346735, 346744, 346834, 346843, 346937, 346941, 347044, 347137, 347139, 347142, 347143, 347343, 347435, 347439, 347537, 347538, 347539, 347636, 347639, 347642, 347738, 347835, 347837, 347844, 347935, 348035, 348037, 348038, 481129, 423975, 423981, 424009, 423109, 423110, 423111, 423379, 423380, 423384, 423475, 423608, 423655, 423660, 424067, 424096, 61834, 61838, 409430, 409431, 409432, 409434, 409579, 410486, 410487, 410696, 387498, 345245, 345248, 345339, 345346, 396816, 396106, 396451, 396453, 396456, 396457, 396462, 396464, 396514, 396522, 396524, 396526, 395613, 395618, 394671, 394672, 394677, 394681, 394689, 394697, 394702, 394707, 394715, 408676, 408687, 408688, 408689, 409071, 408275, 408282, 408284, 396012, 396015, 396019, 395604, 395638, 393996, 393997, 394000, 394002, 394008, 394010, 395874, 395878, 410420, 410503, 410108, 410112, 409586, 409611, 409612, 409616, 409444, 409751, 409284, 409286, 409290, 409299, 409306, 409308, 409311, 424361, 424577, 424580, 424645, 424665, 424666, 424672, 424684, 425195, 425197, 425198, 135890, 348139, 348140, 348142, 348143, 348144, 348432, 348433, 348436, 348437, 348441, 348537, 348641, 348733, 348832, 348835, 348837, 348838, 348933, 348936, 348941, 349032, 349034, 349038, 349131, 349133, 349135, 349137, 349138, 349140, 349228, 349236, 349238, 349437, 349531, 349533, 349537, 349633, 349637, 349730, 349732, 349936, 350032, 350128, 350229, 350237, 350332, 350334, 350337, 350429, 350430, 350432, 350436, 350529, 350633, 350635, 350726, 350805, 350893, 350990, 350995, 350996, 350998, 351092, 351096, 351098, 351192, 351197, 351294, 351298, 351395, 399541, 399542, 399552, 425708, 425721, 425776, 425779, 425781, 425782, 425305, 425332, 425420, 425424, 425427, 425470, 425627, 424107, 424038, 62705, 62712, 409918, 409923, 409672, 409673, 410156, 410554, 410555, 410748, 425913, 425914, 425970, 426004, 426359, 396311, 396789, 394828, 393636, 393645, 393653, 393656, 393662, 351494, 351495, 351497, 351589, 351593, 351597, 351692, 351789, 351791, 351794, 351889, 351890, 351895, 351986, 352087, 352088, 352091, 352093, 352187, 352381, 352386, 352485, 352585, 408005, 408019, 408029, 408034, 409086, 409087, 409089, 419037, 419044, 418712, 420948, 408173, 408175, 408181, 407409, 352707, 352709, 352715, 352716, 352809, 352816, 352915, 353010, 353015, 353108, 353207, 353212, 353213, 353307, 353315, 353411, 353514, 353606, 353611, 353613, 353709, 353713, 353809, 353812, 353908, 353909, 353912, 353913, 353914, 354004, 354008, 354009, 354107, 354109, 354111, 354204, 354207, 354212, 394835, 394837, 394841, 394847, 396810, 396812, 396617, 396618, 394142, 395501, 395502, 395503, 426450, 426528, 426551, 426552, 426555, 426569, 426573, 426574, 426673, 426721, 426723, 426799, 426830, 426831, 426876, 426878, 426948, 426996, 409200, 409201, 409204, 421022, 421027, 396942, 397037, 397376, 397377, 414309, 414329, 414333, 414334, 64533, 64535, 64540, 65463, 65464, 66346, 423960, 425021, 425022, 425104, 425107, 425110, 423103, 428528, 428529, 428839, 428849, 427814, 427911, 427912, 427913, 427918, 426261, 426264, 426303, 426305, 427112, 427505, 427506, 427507, 427508, 427511, 427539, 427547, 427562, 427568, 427596, 427597, 427619, 427621, 427637, 427668, 427672, 427718, 354406, 354408, 354409, 354411, 354412, 354506, 354511, 354605, 354703, 354705, 354804, 354808, 354905, 355003, 355007, 355103, 355107, 355108, 355109, 355206, 355212, 355304, 355402, 355405, 355408, 355502, 355506, 355511, 355606, 355607, 355612, 355704, 355707, 355710, 355804, 355903, 355905, 355907, 356004, 356103, 356109, 356110, 383160, 383806, 384072, 384075, 384013, 383202, 383208, 383240, 383242, 383471, 383488, 383571, 383576, 383579, 383580, 385064, 385196, 385087, 385714, 385793, 385796, 385962, 387750, 387028, 388245, 384170, 356204, 356205, 356206, 356304, 356306, 356307, 356308, 356405, 356411, 356503, 356505, 356506, 356710, 356802, 356808, 356809, 356901, 356906, 357003, 357006, 357106, 357204, 357208, 357300, 357305, 357307, 357400, 357502, 395781, 395785, 396399, 396197, 392086, 392087, 392267, 407297, 407298, 407299, 407303, 404426, 404429, 428155, 428156, 428304, 428305, 428306, 428410, 428469, 428499, 428505, 67286, 67289, 67295, 67296, 389072, 388995, 388997, 389119, 389121, 389123, 389166, 389221, 389841, 389606, 389607, 390145, 390222, 391366, 391367, 391370, 391372, 391375, 391417, 390815, 391103, 397270, 397633, 397585, 397771, 397837, 397964, 397965, 398070, 398571, 398787, 398795, 398797, 398734, 398907, 398926, 357603, 357608, 357707, 357709, 357807, 357908, 358000, 358005, 358008, 358101, 358104, 358300, 358302, 358305, 358308, 358398, 358401, 358404, 358498, 358600, 358606, 358697, 358803, 358806, 358901, 358903, 358998, 359005, 359006, 359101, 359103, 359201, 359297, 359397, 359399, 359406, 359504, 359601, 359603, 359604, 359605, 359606, 359699, 359700, 359702, 359797, 359802, 359896, 359904, 360006, 360098, 360101, 360204, 360205, 360206, 360304, 398821, 399034, 399337, 399354, 399430, 399480, 400195, 399688, 399716, 399745, 399578, 399579, 399806, 400215, 400331, 400334, 400335, 69123, 70851, 70856, 70857, 70858, 70859, 428863, 384398, 383899, 400530, 400586, 400976, 400890, 403981, 404007, 404009, 404254, 401202, 401203, 401240, 401241, 401243, 401245, 401297, 401301, 401488, 401513, 401805, 401836, 401838, 401839, 401866, 401994, 402000, 402030, 402128, 402129, 402134, 402136, 402195, 402196, 402107, 402415, 402565, 402680, 403066, 402996, 403144, 403149, 403150, 403369, 402756, 402762, 402763, 404326, 404386, 404405, 404415, 404137, 404140, 404190, 404193, 404228, 403998, 403999, 404001, 403494, 403535, 403542, 403545, 403546, 403792, 403793, 403795, 404076, 404078, 400374, 395013, 395014, 407757, 407776, 407779, 407780, 407848, 407850, 407917, 407920, 407272, 407285, 407980, 407983, 408389, 408394, 408432, 408435, 408517, 408531, 407430, 407565, 407566, 407569, 407068, 407089, 407102, 407117, 408913, 408924, 408925, 408926, 408119, 408736, 408779, 417384, 73404, 73411, 74316, 398029, 398325, 397118, 399060, 399061, 399077, 399100, 399274, 399276, 399277, 399295, 399115, 399116, 399119, 399142, 398677, 398678, 398859, 398862, 360396, 360403, 360498, 360601, 360603, 360606, 360697, 360699, 360700, 360701, 360702, 360800, 360897, 360901, 360902, 360905, 360998, 361003, 361004, 361096, 361198, 361204, 361295, 361296, 361304, 361399, 361401, 361496, 361497, 361498, 361505, 361603, 361798, 361896, 361898, 361899, 361993, 361996, 361997, 362003, 362092, 362095, 362097, 362193, 362200, 362202, 362295, 362296, 362299, 362301, 362393, 362399, 362496, 362499, 362500, 362590, 362591, 362595, 362690, 362691, 362692, 362694, 362698, 362700, 362790, 362792, 362797, 362799, 362893, 362894, 362897, 362989, 362990, 363089, 363091, 363094, 363197, 363291, 363390, 363392, 363394, 363395, 363397, 746241, 746242, 746243, 746244, 746245, 746246, 746496, 746497, 746498, 746499, 746500, 746501, 746502, 746503, 746504, 773452, 773557, 773641, 773757, 773851, 773917, 773964, 774020, 746125, 746126, 746127, 746786, 746787, 746788, 746789, 746790, 746791, 746792, 746793, 746794, 746795, 773869, 773986, 774050, 774072, 746183, 746184, 746185, 746186, 746187, 746188, 746189, 746321, 746598, 746599, 746600, 746601, 747028, 747029, 747030, 773649, 773682, 773879, 777201, 777202, 777203, 746200, 746201, 746364, 746507, 746508, 746578, 746761, 746762, 746846, 773435, 773461, 773574, 773750, 773791, 773800, 773803, 773867, 774078, 746212, 746213, 746359, 746581, 746582, 746583, 746584, 746585, 746668, 746847, 746848, 746849, 746850, 746851, 746852, 746999, 773479, 773891, 746319, 746320, 746346, 746517, 746518, 746519, 746520, 746521, 746620, 746621, 746622, 746623, 746693, 746826, 746916, 746917, 746918, 746919, 746920, 773426, 773497, 773555, 773659, 773714, 773765, 773876, 773909, 773978, 774018, 777101, 777102, 777103, 777104, 777105, 777106, 777108, 777109, 777110, 777111, 777113, 777115, 777116, 777117, 777118, 777119, 777120, 777121, 777122, 777123, 746266, 746267, 746268, 746269, 746270, 746271, 746272, 746273, 746274, 746275, 746424, 746425, 746426, 746427, 746487, 746488, 746489, 746490, 746491, 746568, 746569, 746570, 746571, 746572, 746573, 746574, 746575, 746576, 746577, 746586, 746587, 746695, 746696, 746697, 746770, 746771, 746772, 746828, 746868, 746869, 746870, 746871, 746872, 746873, 747003, 747004, 773441, 773465, 773724, 773906, 773923, 777018, 746278, 746809, 773514, 773614, 776902, 776903, 776906, 776916, 776918, 776923, 777002, 746421, 746856, 746991, 746992, 773548, 773573, 775148, 775154, 775156, 775160, 775168, 775247, 774950, 774952, 774961, 774964, 774965, 774968, 775050, 775055, 775064, 775069, 775070];\n"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "array2000 integer[] := ARRAY[14627, 32351, 32206, 30660, 31008, 31011, 31016, 31121, 30986, 30976, 30811, 31090, 31287, 31315, 31385, 31371, 31382, 31453, 31457, 31463, 28531, 28534, 28304, 28360, 28361, 28321, 28322, 28290, 28271, 28450, 28434, 28467, 29211, 29285, 29287, 29292, 29144, 29093, 28938, 29023, 29415, 28108, 27773, 27792, 27793, 27794, 27804, 28012, 28206, 27299, 30078, 30320, 30240, 30234, 29673, 29678, 29545, 29566, 29444, 29942, 29944, 29829, 47841, 47904, 47906, 47951, 47952, 47958, 48005, 48038, 56302, 14560, 48242, 48243, 48245, 48265, 48662, 48663, 48734, 48846, 48847, 49117, 49256, 49300, 49336, 49370, 49459, 49462, 49470, 30399, 29763, 29717, 29720, 29945, 29531, 29590, 29594, 29596, 30306, 30224, 30338, 30091, 30092, 27497, 27499, 27423, 27297, 27150, 26741, 26743, 26827, 26829, 26855, 28043, 27812, 28052, 28936, 28937, 28968, 29298, 29225, 28521, 28523, 28527, 28440, 28441, 28459, 28462, 28463, 28337, 28692, 28713, 28585, 28486, 28557, 28561, 31477, 31487, 31496, 31444, 31456, 31424, 31403, 31335, 31360, 31002, 30978, 31037, 30443, 32214, 32182, 31541, 31534, 31742, 31607, 31943, 31856, 31868, 33198, 32988, 32985, 32935, 32936, 32946, 32792, 26616, 26630, 26636, 26660, 26589, 26595, 26577, 26668, 26689, 26693, 26711, 26482, 26522, 26468, 26443, 26452, 26435, 26343, 26364, 26426, 26276, 780505, 780522, 780525, 26297, 26085, 26258, 26637, 26627, 32562, 32541, 32699, 32761, 32762, 32805, 32823, 33118, 33119, 33037, 32937, 32989, 33213, 33243, 33158, 33271, 33276, 33341, 31871, 31944, 31684, 31756, 31693, 31589, 31063, 30996, 31235, 31442, 31443, 31504, 28606, 28707, 28689, 28656, 28823, 28284, 28356, 29378, 29398, 29317, 29074, 28972, 29036, 28065, 28119, 28032, 26932, 26844, 26822, 26794, 26825, 26969, 26980, 27451, 27526, 27662, 30195, 30102, 30108, 30386, 29611, 29551, 29782, 29768, 14588, 50013, 50020, 50068, 50111, 50149, 50152, 50212, 50302, 50304, 50337, 50423, 50609, 50612, 50614, 50911, 50913, 50915, 50944, 50945, 50946, 51044, 51045, 51058, 51062, 51064, 51068, 51127, 51128, 51170, 51203, 51207, 51208, 51209, 51369, 51373, 51401, 51439, 51441, 51535, 51656, 51657, 51658, 51732, 29895, 29465, 29474, 29575, 29584, 30134, 30141, 30111, 30112, 30117, 30119, 27676, 27685, 27505, 27514, 27524, 27494, 26982, 26997, 26998, 27012, 27034, 27037, 27182, 27188, 27195, 27236, 26769, 26758, 26806, 26753, 26939, 26960, 26865, 26870, 26872, 26874, 26880, 26882, 26888, 26903, 26904, 27832, 27950, 27957, 27814, 27848, 27857, 27859, 27861, 27811, 27791, 28136, 28104, 28070, 28074, 28079, 29052, 28985, 28991, 29077, 29082, 29071, 29363, 28530, 28386, 28387, 28398, 28410, 28412, 28414, 28260, 28843, 28644, 28690, 28586, 28577, 31472, 31494, 31495, 31460, 31432, 31249, 31234, 31186, 31182, 31074, 31053, 30720, 30467, 32227, 31549, 31553, 31562, 31513, 31540, 31765, 31780, 31679, 31640, 31800, 31886, 33279, 33266, 33268, 32808, 32735, 32731, 26635, 26657, 26559, 26610, 26717, 26705, 26511, 26504, 26475, 33417, 33419, 33427, 33441, 33451, 33452, 33462, 33464, 33466, 33480, 33482, 33483, 33564, 33568, 33591, 33605, 33625, 33634, 33635, 33638, 33650, 33659, 33694, 33699, 33717, 33734, 33738, 33752, 33756, 33804, 33817, 33843, 33849, 33877, 33897, 33902, 33912, 33915, 33933, 33947, 33957, 33965, 33970, 33990, 34005, 34026, 34057, 34093, 34102, 34133, 34154, 34160, 34164, 34187, 34200, 34216, 34222, 34243, 34244, 34280, 34290, 34319, 34328, 34346, 34379, 34391, 34394, 34399, 34425, 51974, 51975, 51979, 52028, 52033, 52034, 52048, 52152, 52155, 52171, 52173, 52175, 52344, 52367, 52470, 52475, 36109, 36111, 36115, 36116, 36129, 36137, 36139, 36142, 36146, 36150, 36159, 36160, 36165, 36175, 36176, 36186, 36192, 36195, 36196, 36201, 36205, 36208, 36209, 36214, 36215, 36217, 36219, 36223, 36230, 36239, 36246, 36250, 36255, 36263, 36270, 36271, 36274, 36275, 36288, 36289, 36290, 36295, 36302, 36304, 36309, 36310, 36317, 36321, 36332, 36336, 36343, 36346, 36348, 36352, 36358, 36360, 36362, 36384, 36385, 36392, 36396, 36397, 36398, 36404, 36407, 36412, 36414, 36416, 36418, 36422, 36426, 36431, 36432, 36452, 36460, 36473, 36488, 36491, 36494, 36496, 36498, 36499, 36500, 36511, 36513, 36519, 36520, 36524, 36531, 36537, 36538, 36540, 36547, 36548, 36550, 36552, 36554, 36555, 36556, 36562, 36567, 36588, 36596, 36597, 36598, 36600, 36608, 36613, 36620, 36631, 36634, 36638, 36646, 36649, 36651, 36652, 36660, 36662, 36663, 36668, 36669, 36671, 36675, 36679, 36682, 36689, 36708, 36709, 36717, 36724, 36741, 36747, 36755, 36757, 36761, 36765, 36778, 36780, 36788, 36794, 36795, 36796, 36806, 36824, 36826, 36845, 36865, 36869, 36879, 36887, 36892, 36900, 36906, 36917, 36924, 36929, 36931, 36935, 36939, 36941, 36942, 36946, 36960, 36973, 36976, 36978, 36984, 36985, 36989, 36992, 36995, 413959, 413105, 413712, 413715, 413831, 413833, 413834, 413835, 413837, 413838, 413839, 413840, 413841, 413842, 413521, 413301, 413302, 413303, 413304, 413305, 414102, 414103, 414104, 414105, 414106, 414575, 411975, 411988, 411989, 411868, 411869, 411870, 411871, 411872, 411873, 411890, 411891, 411914, 411919, 411920, 411921, 411922, 411923, 411924, 411936, 411937, 411952, 411953, 411954, 411955, 412143, 412144, 412178, 412179, 412182, 412184, 412192, 412196, 412247, 412248, 412249, 412250, 412251, 412252, 412253, 412026, 412086, 412228, 412289, 412303, 412304, 412305, 411732, 413427, 413269, 413270, 413271, 413275, 413276, 413277, 413168, 413172, 413173, 413175, 413180, 413181, 413183, 413184, 413210, 413232, 413238, 413242, 412911, 412915, 412918, 412924, 412935, 412959, 412960, 412963, 412970, 412766, 412811, 412831, 412833, 412632, 413058, 412354, 412355, 412358, 412456, 412466, 412472, 412473, 412476, 412440, 412485, 412522, 412539, 412541, 412559, 412560, 412564, 412565, 412566, 412567, 412568, 412569, 412570, 412571, 412572, 412649, 412650, 412651, 412668, 412680, 412695, 412696, 398252, 399105, 399106, 399107, 399108, 399109, 399110, 399792, 399826, 75249, 75252, 75253, 75254, 75255, 75257, 75258, 75259, 75260, 76184, 76189, 76190, 76194, 411658, 411659, 411565, 411566, 411567, 411568, 411569, 411577, 411578, 411710, 411711, 411718, 411719, 411729, 411730, 411731, 411063, 411064, 411080, 411081, 411082, 411083, 411121, 411127, 411128, 411179, 411180, 411181, 411182, 411183, 409744, 410655, 411271, 411375, 411376, 411377, 411379, 411380, 411381, 411382, 411384, 411394, 411415, 411416, 411417, 411418, 411419, 411420, 411421, 411422, 411423, 411424, 411525, 411526, 411527, 411531, 411532, 411533, 409205, 409229, 409230, 409248, 409421, 409423, 409424, 409425, 409975, 410005, 410026, 410027, 410084, 410085, 410086, 410813, 410814, 410819, 410820, 410391, 410392, 410400, 410414, 410415, 410938, 410908, 410909, 410994, 411041, 411042, 411046, 411047, 410586, 410588, 410589, 410590, 410591, 410592, 410593, 410594, 410189, 410190, 410191, 410192, 410193, 410194, 410195, 410196, 410197, 410198, 410218, 410297, 410320, 410322, 410323, 409162, 409163, 409164, 409170, 409174, 409176, 409177, 409178, 409179, 408728, 408729, 408730, 408731, 408732, 408698, 408701, 408841, 408849, 408850, 408851, 408852, 408920, 408871, 408970, 408971, 408972, 408973, 408974, 408975, 408985, 408986, 408987, 408988, 408989, 408990, 408991, 408992, 409095, 409096, 409097, 409098, 409099, 409100, 409101, 409160, 409161, 408639, 408640, 367497, 367498, 367499, 367500, 367501, 367502, 367503, 367504, 367505, 367506, 367507, 367508, 367509, 367510, 367511, 367512, 367513, 367597, 367598, 367599, 367600, 367601, 367602, 367603, 367604, 367605, 367606, 367607, 367608, 367609, 367610, 367611, 367612, 367613, 367697, 367698, 367699, 367700, 367701, 367702, 367703, 367704, 367705, 367706, 367707, 367708, 367709, 367710, 367711, 367712, 367713, 367797, 367798, 367799, 367800, 367801, 367802, 367803, 367804, 367805, 367806, 367807, 367808, 367809, 367810, 367811, 367812, 367813, 367897, 367898, 367899, 367900, 367901, 367902, 367903, 367904, 367905, 367906, 367907, 367908, 367909, 367910, 367911, 367912, 367913, 367997, 367998, 367999, 368000, 368001, 368002, 368003, 368004, 368005, 368006, 368007, 368008, 368009, 368010, 368011, 368013, 368096, 368097, 368098, 368099, 368100, 368101, 368102, 368103, 368104, 368105, 368106, 368107, 368108, 368109, 368110, 368111, 368112, 368195, 368196, 368197, 368198, 368199, 368200, 368201, 368202, 368203, 368204, 368205, 368206, 368207, 368208, 368209, 368210, 368211, 368295, 368296, 368297, 368298, 368299, 368300, 368301, 368302, 368303, 368304, 368305, 368306, 368307, 368308, 368309, 368310, 368311, 368395, 368396, 368397, 368398, 368399, 368400, 368401, 368402, 368403, 368404, 368405, 368406, 368407, 368408, 368409, 368410, 368411, 368495, 368496, 368497, 368498, 368499, 368500, 368501, 368502, 368503, 368504, 368505, 368506, 368507, 368508, 368509, 368510, 368511, 368595, 368596, 368597, 368598, 368599, 368600, 368601, 368602, 368603, 368604, 368605, 368606, 368607, 368608, 368609, 368610, 368611, 368694, 368695, 368696, 368697, 368698, 368699, 368700, 368701, 368702, 368703, 368704, 368705, 368706, 368707, 368708, 368709, 368710, 368794, 368795, 368796, 368797, 368798, 368799, 368800, 368801, 368802, 368803, 368804, 368805, 368806, 368807, 368808, 368809, 368810, 368894, 368895, 368896, 368897, 368898, 368899, 368900, 368901, 368902, 368903, 368904, 368905, 368906, 368907, 368908, 368909, 368910, 368992, 368993, 368994, 368995, 368996, 368997, 368998, 368999, 369000, 369001, 369002, 369003, 369004, 369005, 369006, 369007, 369008, 369092, 369093, 369094, 369095, 369096, 369097, 369098, 369099, 369100, 369101, 369102, 369103, 369104, 369105, 369106, 369107, 369108, 369192, 369193, 369194, 369195, 369196, 369197, 369198, 369199, 369200, 369201, 369202, 369203, 369204, 369205, 369206, 400695, 400696, 400697, 400698, 400699, 400700, 400753, 400754, 400755, 400756, 400757, 403854, 403484, 403485, 403404, 403642, 404057, 404058, 402631, 402539, 402540, 402541, 402542, 403325, 401773, 366214, 366312, 366408, 366409, 366410, 366503, 366504, 366505, 366506, 366507, 366509, 366515, 366599, 366600, 366608, 366614, 366699, 366713, 366809, 366814, 366908, 366909, 366910, 366911, 366913, 367001, 367012, 367108, 367114, 367198, 367199, 367200, 367202, 367210, 367212, 367309, 367311, 367312, 367399, 367405, 367407, 400796, 371295, 371302, 371304, 371390, 371396, 371397, 371399, 371491, 371492, 371495, 371500, 371593, 371594, 371600, 371602, 371689, 371690, 371699, 371792, 371793, 371798, 369208, 369291, 369295, 369298, 369303, 369304, 369396, 369397, 369496, 369502, 369504, 369594, 369595, 369599, 369602, 369691, 369692, 369693, 369697, 369705, 369707, 369797, 369798, 369799, 369894, 369896, 369899, 369904, 369992, 369999, 370004, 370095, 370101, 370105, 370195, 370201, 370202, 370305, 370399, 370402, 370492, 370597, 370691, 370692, 370700, 370706, 370790, 370792, 370793, 370795, 370806, 370891, 370895, 370898, 370905, 370906, 370990, 371003, 371102, 371192, 371203, 371289, 371293, 371294, 408351, 407931, 407714, 418985, 419630, 420997, 421004, 417874, 417709, 417966, 418168, 418204, 411050, 409361, 411561, 411296, 411670, 426142, 426110, 426206, 417339, 417254, 417124, 417161, 416722, 416776, 416777, 416823, 416466, 416497, 416662, 415431, 415459, 415657, 415829, 415833, 415919, 415716, 415718, 415791, 415795, 416301, 416320, 416326, 416327, 416329, 416336, 416359, 416361, 415167, 415204, 415211, 414998, 415003, 417638, 417639, 417640, 411784, 411787, 412342, 412344, 411973, 412008, 412023, 412024, 414580, 414780, 414860, 413981, 414000, 414094, 413862, 138499, 138500, 138502, 138504, 138511, 414877, 414884, 414885, 414856, 399616, 399617, 399228, 399440, 399452, 398773, 399025, 399026, 397673, 397767, 397883, 397805, 397275, 397229, 397230, 416391, 416143, 416146, 416147, 415573, 415644, 416903, 416904, 80749, 80753, 390409, 389738, 421279, 427800, 427156, 427157, 428795, 428867, 429169, 429174, 409992, 409994, 410857, 411009, 418612, 392681, 392298, 392299, 395024, 395107, 393143, 395215, 395242, 396416, 396610, 371895, 371989, 371996, 372087, 372090, 372091, 372099, 372100, 372102, 372289, 372293, 372300, 372393, 372397, 372485, 372489, 372497, 372499, 372584, 372586, 372587, 372595, 372596, 372597, 372599, 372684, 372689, 372691, 372695, 372696, 372789, 372791, 372884, 372885, 372890, 372897, 372984, 372988, 372991, 372993, 372999, 373085, 373087, 373088, 373182, 373195, 373198, 373283, 373285, 373286, 373290, 373292, 373386, 373396, 373484, 373486, 373488, 373489, 373494, 373586, 373684, 373685, 373689, 373692, 373696, 373778, 373785, 373789, 373880, 373881, 373885, 373890, 373891, 373893, 373894, 373985, 374182, 374187, 374188, 374189, 374193, 374194, 374281, 402091, 383817, 383462, 384287, 384279, 386624, 387094, 387122, 387135, 387863, 387866, 387867, 385585, 385655, 386098, 385360, 384583, 385418, 385439, 385122, 385031, 385268, 385275, 385245, 385046, 385541, 385542, 385552, 385345, 384830, 386520, 386521, 386522, 386407, 385470, 385717, 385728, 386034, 387288, 387095, 387096, 387097, 387099, 386548, 386549, 384281, 384208, 402145, 402147, 402010, 402012, 401778, 401779, 401182, 401186, 401197, 401148, 401315, 401642, 401425, 401369, 403461, 403462, 403353, 403280, 402114, 402303, 402322, 402325, 402333, 402334, 402372, 400712, 400717, 400752, 400836, 400861, 400888, 400889, 400775, 374387, 374389, 374391, 374479, 374480, 374482, 374484, 374491, 374578, 374579, 374589, 374592, 374593, 374679, 374681, 374685, 374689, 374690, 374779, 374883, 374893, 374986, 375077, 375078, 375079, 408866, 409081, 407088, 407131, 407132, 407655, 407657, 407658, 407669, 407670, 407494, 407495, 407504, 407719, 407720, 407836, 408404, 409956, 411329, 411217, 411220, 411222, 411224, 375092, 375180, 375190, 375280, 375382, 375384, 375387, 375390, 375392, 375477, 375489, 375491, 375587, 375677, 375683, 375692, 375777, 375785, 375788, 375875, 375880, 375889, 375978, 375984, 375986, 376073, 376077, 376078, 376080, 376081, 376087, 376170, 376174, 376176, 376185, 376270, 376271, 376273, 376275, 376276, 376279, 376281, 376282, 376366, 376368, 376374, 376465, 376469, 376556, 376559, 376562, 376653, 376658, 376660, 376748, 376749, 376751, 376753, 83512, 84365, 86062, 416110, 400032, 400047, 400077, 399760, 400243, 400283, 400308, 412369, 412371, 413774, 413475, 413634, 413636, 413640, 414439, 414442, 414444, 414035, 414062, 414078, 414079, 414086, 414087, 414088, 413539, 413542, 413554, 413605, 413852, 414542, 414544, 414611, 414723, 414732, 414733, 414814, 414891, 414892, 414918, 412398, 412400, 412723, 412745, 412746, 412627, 412628, 412630, 413093, 412641, 413045, 413046, 413141, 413143, 413260, 413218, 413227, 413444, 412241, 412308, 412154, 412159, 363479, 363481, 363482, 415783, 416253, 416254, 415648, 415499, 415366, 416551, 416701, 416705, 416795, 414941, 415231, 86894, 86901, 120657, 120659, 120667, 112389, 112392, 390507, 377003, 377008, 411335, 411261, 411055, 411057, 411060, 410983, 410987, 410916, 418269, 394987, 393309, 394274, 394445, 363584, 363674, 363675, 363679, 363682, 363771, 363777, 363870, 363964, 363966, 363973, 363976, 363978, 363979, 364061, 364062, 364065, 364075, 364163, 364258, 364268, 364358, 364451, 364453, 364455, 364457, 364460, 364462, 364549, 364553, 364557, 364560, 364561, 364562, 364647, 364648, 364649, 364650, 364653, 364656, 364758, 364853, 364856, 364945, 364948, 364950, 364952, 365046, 365048, 365051, 365134, 365137, 365140, 365230, 365235, 365240, 365327, 365331, 365335, 365341, 365428, 365430, 365431, 365531, 365618, 365619, 365621, 365622, 365624, 365629, 365718, 365814, 365819, 365826, 365909, 365914, 366009, 366013, 366020, 366105, 366110, 384851, 384853, 379240, 379244, 379246, 379336, 379479, 379495, 379496, 379497, 379790, 379792, 379798, 379802, 379970, 379972, 379973, 379985, 380067, 380140, 380199, 380204, 380205, 379089, 379093, 379099, 379107, 379110, 396630, 396759, 396392, 418334, 418335, 418544, 418568, 418582, 419252, 419254, 419520, 419538, 419195, 419203, 418255, 418210, 418186, 418362, 418386, 418092, 418107, 418108, 417760, 417891, 417892, 417894, 417934, 417842, 417847, 417667, 417670, 417701, 420926, 420980, 427131, 427892, 377441, 377444, 377447, 377526, 377619, 378199, 378202, 378205, 378208, 378263, 378265, 378344, 378413, 378416, 378417, 378420, 378421, 378423, 378424, 378495, 378496, 379001, 379007, 379008, 379009, 379012, 379033, 379036, 379039, 377874, 377875, 377876, 377885, 377887, 377296, 377297, 377304, 377306, 377314, 377318, 377093, 377148, 377155, 377156, 377216, 377217, 422856, 422885, 422920, 422930, 422931, 423713, 423807, 425119, 424824, 422818, 417002, 417304, 417335, 417067, 417068, 417074, 417079, 416649, 416639, 417589, 417602, 417620, 417515, 397508, 397557, 397558, 397335, 397346, 397132, 397445, 397473, 397476, 397478, 397479, 397483, 397778, 397749, 398384, 398407, 398448, 398450, 398577, 398578, 398586, 398587, 398668, 398842, 398898, 116805, 116807, 114092, 112394, 112386, 112381, 428643, 426300, 427860, 428889, 429033, 429041, 429046, 380293, 380295, 380304, 380334, 380344, 380345, 380363, 380390, 380435, 380436, 380439, 380440, 380567, 380569, 380571, 380574, 380680, 380684, 380731, 380930, 380952, 381083, 381087, 381225, 381227, 381235, 381236, 381237, 381325, 381335, 381372, 381477, 381582, 381584, 381793, 381869, 381990, 382199, 382201, 382203, 382204, 384328, 384040, 384127, 384341, 384342, 384354, 384366, 384367, 384378, 383039, 383043, 383248, 383666, 383690, 383691, 383722, 383332, 384883, 384901, 384983, 384657, 384803, 384826, 384827, 385381, 385384, 385065, 385056, 385682, 385686, 385945, 385947, 385918, 385919, 385868, 385763, 385785, 386391, 386512, 386451, 386455, 386456, 386221, 386250, 386263, 387077, 386565, 386533, 384530, 384532, 384539, 388239, 388240, 388337, 387929, 387670, 387672, 387682, 387726, 387820, 387767, 387303, 387401, 387599, 387601, 387613, 391899, 391906, 391909, 114968, 115890, 391281, 391282, 391285, 391328, 391340, 391598, 391599, 391601, 391621, 391700, 390947, 390951, 390967, 390977, 391004, 391014, 391015, 391037, 391039, 391142, 391177, 390647, 390657, 390669, 390673, 390683, 390688, 390741, 390261, 390283, 390300, 389190, 390011, 390026, 390029, 389413, 389493, 389528, 389529, 389533, 389559, 389620, 389645, 389658, 389659, 389661, 389709, 389721, 389745, 389910, 389912, 389943, 388929, 388973, 389030, 389041, 389097, 389099, 389062, 389267, 389292, 389335, 389374, 389380, 389382, 389138, 389139, 389157, 388705, 388755, 388824, 388832, 388357, 117718, 405374, 405375, 405379, 405380, 405381, 405382, 405388, 405394, 405399, 405402, 405407, 405408, 405409, 405421, 405429, 405443, 406380, 406382, 406388, 406392, 406395, 406399, 406404, 406409, 406412, 406420, 406426, 406432, 406444, 406450, 746479, 746551, 746552, 746553, 746554, 746555, 746591, 746592, 746593, 746594, 746595, 746596, 746669, 746670, 746671, 746672, 746763, 746764, 746765, 746766, 746774, 746775, 746776, 746907, 746908, 746909, 746930, 746931, 746932, 746108, 746113, 746114, 746115, 746116, 746145, 746146, 746147, 746148, 746149, 746292, 746293, 746294, 746295, 746296, 746297, 746298, 746309, 746310, 746311, 746312, 746313, 746314, 746315, 746347, 746348, 746349, 746350, 746351, 746352, 746389, 746390, 746391, 746392, 746393, 746394, 746467, 746556, 746558, 746559, 746560, 746561, 746562, 746666, 746667, 746783, 746784, 746877, 746878, 746879, 746880, 746881, 747013, 776315, 776346, 776347, 776348, 776349, 776350, 776351, 776352, 776353, 776354, 776355, 776356, 776357, 776358, 776359, 776360, 776361, 776362, 776363, 776364, 776365, 776366, 776367, 776368, 776369, 776370, 776371, 776372, 776373, 776374, 776375, 776376, 776415, 776437, 776439, 746232, 746256, 746257, 746258, 746259, 746322, 746468, 746522, 746523, 746524, 746525, 746526, 746564, 746565, 746567, 746643, 746644, 746645, 746646, 746742, 746743, 746744, 746745, 746746, 746824, 746825, 746838, 746981, 746982, 746983, 746984, 746985, 746986, 746987, 747042, 776173, 776174, 776175, 776176, 776177, 776178, 776179, 776180, 776181, 776182, 776183, 776184, 776185, 776186, 776187, 776188, 776189, 776190, 776191, 776192, 776193, 776194, 776195, 776227, 776256, 776257, 776259, 776260, 776262, 776263, 776264, 776265, 776266, 776268, 776269, 776270, 776271, 776272, 776273, 776274, 776275, 776276, 776277, 776278, 776279, 776280, 776281, 776283, 776284, 776768, 776770, 776771, 776772, 776773, 776774, 776775, 776776, 776821, 746104, 746105, 746170, 746287, 746288, 746289, 746290, 746329, 746330, 746381, 746382, 746383, 746384, 746385, 746647, 746675, 746676, 746677, 746678, 746686, 746687, 746858, 746859, 746860, 746861, 746862, 746897, 746898, 746899, 746900, 746933, 746934, 746935, 746993, 746994, 746995, 746996, 746997, 746998, 747014, 747044, 747045, 747046, 747047, 747048, 775989, 775990, 775991, 775992, 775993, 775994, 775995, 775996, 775997, 775998, 775999, 776000, 776001, 776002, 776003, 776004, 776005, 776006, 776007, 776008, 776009, 776010, 776011, 776013, 776014, 776015, 776016, 776017, 776018, 776089, 776090, 776091, 776092, 776093, 776094, 776095, 776096, 776097, 776098, 776099, 776100, 776101, 776102, 776103, 776104, 776105, 776106, 776107, 776108, 776109, 776110, 776111, 776112, 776113, 776114, 776115, 776116, 776117, 776118, 776747, 776748, 776749, 776750, 776751, 776752, 776753, 776754, 776755, 776756, 776757, 776758, 776759, 776760, 776761, 776762, 776763, 776764, 776765, 776766, 776767, 746112, 746151, 746234, 746235, 746236, 746237, 746238, 746260, 746261, 746262, 746263, 746264, 746265, 746317, 746318, 746353, 746397, 746398, 746399, 746400, 746401, 746480, 746481, 746482, 746679, 746680, 746777, 746778, 746779, 746780, 746839, 746840, 746863, 746864, 746866, 746936, 746937, 746938, 746939, 746940, 747015, 747017, 747018, 747019, 747020, 747043, 747057, 747058, 747059, 747060, 747061, 747062, 747068, 747069, 747070, 747071, 747072, 747073, 747074, 775790, 775791, 775792, 775793, 775794, 775795, 775796, 775797, 775798, 775799, 775800, 775801, 775802, 775803, 775804, 775805, 775806, 775807, 775808, 775809, 775810, 775811, 775812, 775813, 775814, 775815, 775816, 775817, 775818, 775819, 775890, 775891, 775892, 775893, 775894, 775895, 775896, 775897, 775898, 775899, 775900, 775901, 775902, 775903, 775904, 775905, 775906, 775907, 775908, 775909, 775910, 775911, 775912, 775913, 775914, 775915, 775916, 775917, 775918, 775919, 776647, 776648, 776649, 776650, 776651, 776652, 776653, 776654, 776655, 776656, 776657, 776658, 776659, 776660, 776661, 776662, 776663, 776664, 776665, 776666, 776667, 776668, 776669, 776670, 776671, 776672, 776673, 776674, 776675, 776676, 746110, 746111, 746143, 746144, 746152, 746153, 746291, 746430, 746431, 746432, 746527, 746528, 746529, 746530, 746531, 746532, 746533, 746534, 746700, 746867, 746901, 746902, 746903, 746904, 746921, 746922, 746941, 747038, 747049, 747063, 747064, 747066, 775609, 775692, 775702, 775706, 776571, 776576, 746340, 746404, 746649, 746943, 747039, 747040, 747051, 747056, 747080, 747086, 747091, 747092, 747117, 775497, 775500, 775505, 775508, 775514, 775516, 775592, 776547, 776548, 776552, 776553, 776555, 776559, 776560, 747139, 747171, 747179, 747182, 747189, 747194, 775294, 775295, 775297, 775304, 775319, 775391, 775398, 775415, 775418, 776451, 776458, 776464, 776470, 776475, 774720, 774721, 774724, 774728, 774733, 774738, 774813, 774817, 774828, 774834, 774835, 774912, 774918, 774920, 774921, 774922, 774536, 774599, 774615, 774616, 774618, 774624, 774627, 774628, 774634, 774635, 774636, 774711];\n"
     ]
    }
   ],
   "source": [
    "import pandas\n",
    "text_file = open(\"AlgoPartOutput.txt\", \"w\")\n",
    "years = [1820, 1830, 1840, 1850, 1860, 1870, 1880, 1890, 1900, 1910, 1920, 1930, 1940, 1950, 1960, 1970, 1980, 1990, 2000]\n",
    "\n",
    "for i in years:\n",
    "    a = pandas.read_csv(\"Algoselection\" + str(i) + \".csv\")\n",
    "    s = 'array' + str(i) + ' integer[] := ARRAY['\n",
    "    o = ''\n",
    "    for row in a.iterrows():\n",
    "                o = o + str(row[1][0]) + ', '\n",
    "    u = '];'\n",
    "    \n",
    "    text_file.write(s + o[:-2] + u + '\\n')\n",
    "    \n",
    "    print(s + o[:-2] + u)\n",
    "text_file.close()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 3",
   "language": "python",
   "name": "python3"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 3
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython3",
   "version": "3.5.2"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 2
}