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