[[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,20,40,46,49,50,52,61,66,67,69,73,74,75,76,77,78,79,80,82,83,84,85,86,87,88,89,91,113,114,115,118,119,123,124,126,128,129,130,131,132,134,136,138,139,141,150,152,155,187,201,209,215,220,221,222,223,224,225,226,227,229,230,231,233,234,236,237,258,260,264,265,267,268,269,271,273,274,277,282,286,287,289,290,291,293,315,317,326,328,329,331,333,341,346,347,348,349,350,351,352,353,354,356,357,359,361,362,364,365,382,383,387,389,391,392,396,397,399,409,410,411,412,414,415,416,417,418,444,446,450,454,455,462,470,471,482,517,553,554,555,557,608,609,610,611,612,613,614,616,617,618,620,621,622,623,624,625,626,640,641,642,643,644,645,646,647,648,650,652,653,654,655,656,657,658,659,662,663,666,667,694,695,703,704,705,706,707,708,709,711,712,714,715,717,718,719,730,732,734,735,736,738,739,740,744,745,747,748,749,751,753,756,757,758,759,760,761,762,763,764,765,768,771,772,773,795,796,805,810,814,818,830,835,837,840,858,860,861,875,876,878,880,881,890,891,897,900,905,908,913,916,917,918,919,920,921,923,925,927,928,929,930,948,950,954,958,962,963,966,967,968,970,974,975,976,977,979,980,981,982,983,984,986,988,999,1002,1003,1006,1012,1016,1018,1020,1021,1022],[19,23,24,25,26,27,28,29,30,58,72,90,92,93,100,101,106,116,117,120,121,133,137,142,147,148,151,153,156,157,159,160,161,162,167,168,191,196,202,203,204,206,207,219,228,232,235,239,240,242,259,272,278,281,283,284,292,297,298,299,300,304,306,307,318,319,320,322,325,334,335,340,342,345,355,360,367,369,371,373,374,381,388,390,403,407,419,420,423,424,425,426,427,429,431,434,436,443,447,451,452,458,460,461,463,472,475,477,478,479,480,481,483,484,485,486,501,502,507,508,509,512,514,519,520,521,524,525,527,528,529,530,531,532,533,534,535,538,556,558,559,560,561,562,580,585,587,588,589,590,598,615,619,627,629,630,632,633,651,660,661,664,665,668,669,671,672,676,679,690,698,699,710,713,716,721,722,723,741,746,750,752,754,766,767,769,770,774,775,776,777,778,782,783,784,785,786,788,789,799,800,802,806,809,811,812,816,817,823,825,827,828,829,832,833,836,838,839,841,842,847,859,862,866,893,901,910,912,914,915,922,924,926,933,935,941,945,946,947,951,952,955,956,957,959,960,961,964,972,978,987,990,1004,1008,1013,1014,1015,1017],[21,22,31,32,33,34,35,36,51,94,96,97,98,99,103,105,107,108,110,111,127,135,140,144,145,146,154,158,163,169,173,176,177,178,179,180,193,195,197,198,199,208,210,212,213,214,216,238,241,243,244,245,251,252,255,256,261,262,263,266,275,276,279,285,288,301,302,303,311,321,330,332,339,358,363,366,370,372,375,376,378,380,386,393,398,400,405,406,422,430,432,433,435,437,438,442,449,456,457,459,465,466,467,469,473,474,476,493,503,511,513,518,523,536,541,544,545,547,563,564,566,567,575,576,583,584,586,592,593,596,599,601,604,605,606,628,631,634,635,639,649,670,673,674,675,677,678,680,681,697,702,720,725,733,742,781,787,791,792,797,798,801,807,808,813,819,821,822,826,834,843,844,846,849,852,854,863,864,865,867,868,869,872,873,884,887,892,895,896,898,899,911,931,934,936,944,949,953,965,971,973,989,992,994,996,997,1000,1001,1005,1009,1010,1023],[38,43,44,47,53,63,64,95,104,109,112,125,143,149,164,165,166,170,172,174,175,183,185,192,217,246,247,248,250,254,257,280,294,295,296,305,308,309,310,312,313,314,324,336,337,338,368,401,402,408,413,421,439,440,441,445,453,487,488,489,490,491,492,498,499,500,510,516,526,537,539,540,542,543,548,550,552,565,569,572,578,582,595,636,637,638,682,683,684,685,724,726,727,729,731,755,790,794,803,804,820,824,831,845,848,850,851,853,856,857,870,871,874,885,888,902,904,909,937,938,939,940,942,969,985,991,993,995,1007],[45,62,65,81,102,122,171,181,182,184,186,189,205,211,218,249,270,323,327,344,385,394,428,468,494,497,504,505,506,515,522,546,549,577,579,591,602,607,687,691,692,693,700,779,780,855,877,883,894,906,907,932,998,1011],[37,54,68,70,188,200,253,316,343,377,379,404,448,464,495,496,551,568,570,571,573,581,594,597,600,688,689,728,737,793,879,886,1019],[39,41,48,56,71,194,574,603,696,701,743,815,882,903,943],[55,60,190,395,686,889],[384],[57,59],[42]]