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