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