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