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