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