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