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