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