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