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