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