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