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