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