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