[[0,1,2,3,4,5,6,8,9,10,12,13,14,16,17,18,19,20,21,22,23,24,25,26,27,28,29,31,32,33,36,37,38,39,40,41,42,44,45,46,47,48,49,50,52,54,55,56,57,58,59,61,62,63,65,66,69,71,74,75,76,78,79,80,82,83,84,85,86,87,90,91,92,93,94,97,100,102,105,106,107,108,109,110,111,112,113,114,115,116,117,118,120,121,123,124,125,126,127,128,129,130,132,133,134,136,137,138,139,140,141,142,143,144,146,147,148,150,151,152,153,154,155,156,157,158,159,160,161,162,163,165,167,168,169,170,171,172,174,175,176,177,178,179,181,182,183,184,185,187,188,189,190,191,192,193,195,196,197,198,199,200,201,203,204,205,206,207,208,210,211,212,213,214,215,216,217,218,219,222,223,224,225,226,227,228,229,230,231,232,233,235,236,237,238,239,240,241,242,243,244,246,247,248,249,250,251,252,253,254,256,257,258,259,260,261,262,263,264,265,266,268,270,272,274,276,279,281,282,284,290,294,300,303,306,308,314,315,319,320,321,332,335,342,350,358,359,362,363,367,369,370,371,372,373,380,386,388,389,392,393,394,401,409,418,424,425,432,433,434,436,438,446,452,453,456,457,458,462,463,464,465,470,472,476,477,479,480,489,492,500,503,508,520,522,524,536],[7,11,15,30,34,35,43,51,53,60,64,67,68,70,72,73,77,81,88,89,95,96,98,99,101,103,119,122,131,135,145,149,164,166,173,180,186,194,202,209,220,221,234,245,255,267,269,271,273,280,286,292,295,296,304,305,307,310,312,329,331,333,339,347,348,352,353,361,366,395,402,408,410,422,435,439,441,444,445,447,448,449,454,460,461,467,468,473,474,481,485,495,506,507,511,516,526,530,531],[104,277,278,289,299,302,309,313,317,318,324,327,334,336,365,368,375,379,384,396,405,413,417,420,421,437,459,482,488,493,496,501,509,512,514,521,525,533,534,535],[288,291,293,298,301,323,326,337,338,340,341,345,346,351,354,360,374,377,378,381,397,400,411,426,428,431,442,451,455,466,469,483,487,505,513,517,528],[275,285,311,328,330,355,356,364,382,383,385,387,390,403,406,423,427,429,450,475,498,499,502,504,510,537],[283,316,322,325,376,391,398,407,414,419,484,490,491,494,497,515,518,519],[399,415,416,527,529],[412,430,440,486],[287],[297,344,357,404,443,471,478,532],[343,349],[523]]