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