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