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