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