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