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