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