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