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