Quelle  p5sym.19   Sprache: unbekannt

## This is a GAP library file generated by 
## SPECHT version 2.0, (C) Andrew Mathas 1996.

## This file contains the decomposition matrix
## of the symmetric group Sym(19) over a field
## of characteristic 5.

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