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