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