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