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