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