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