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