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