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