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