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