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