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