//Standard generators of L2(32) are a, b where a has order 2,
//b has order 3 and ab is in class 31A/B/C/D/E.
//Alternatively: a has order 2, b has order 3, ab has order 31
//and ababb has order 11.
_LR := rec < recformat< F: GrpFP, AI: SeqEnum, G: GrpMat > |
      F := FreeGroup(2) >;
        _LR`AI:=[[a,b*a*b*a*b*a*b*a*b*a*b^-1*a*b^-1*a*b^-1*a*b^-1]]
             where a is (_LR`F).1 where b is (_LR`F).2;
//15 representations cycled by auto
_LR`G :=
/*
Original group: c9Group("l232p")
Direct integral method
Schur index: 1
Character: ( 495, 15, 0, 0, 0, 0, 0, 0, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 
-1, -1, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 )
*/

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