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