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