If[$VersionNumber>=2.,$Messages=OutputStream["",1],$Messages={}] If[!ValueQ[Transfor`m`Private`simplify[PPP]], <Hyp`m`F[Sort[List1],Sort[List2],z]); wendeAn[wExpr_,cexpr_,nummer_,formel_,text__]:=Module[{ZwExpr}, Switch[Length[formel], 1,ZwExpr=(wExpr/.formel), 2,ZwExpr=((wExpr/.formel[[1]])/.formel[[2]]), 3,ZwExpr=(((wExpr/.formel[[1]])/.formel[[2]])/.formel[[3]])]; If[(ZwExpr[[Argument[Table[1,{nummer+1}]]]]/.Hyp`m`PSort)=== (cexpr/.Hyp`m`PSort), Empty,{ZwExpr,text}]]; WendeAn[WExpr_,Formel_,Text__]:=Module[{ZWExpr=WExpr}, If[Head[WExpr]=!=List,ZWExpr={0,WExpr,{WExpr}}]; Map[wendeAn[#,ZWExpr[[2]],ZWExpr[[1]],Formel,Text]&,Drop[ZWExpr,2]]]; Pivot[expr_]:=If[Head[expr]=!=List,{1,expr},{expr[[1]]+1,expr[[2]]}]; ErgListe[Arg1_,Args__]:=Module[{Beg=Pivot[Arg1],EListe=Join[Args],HListe}, EListe=Select[EListe,FreeQ[#,Empty]&]; HListe=(EListe/.SortF); HListe=Table[HListe[[i,Argument[Table[1,{Beg[[1]]+1}]]]],{i,1,Length[HListe]}]; HListe=Union[Flatten[HListe]]; HListe=Table[Position[EListe/.SortF,HListe[[i]]][[1,1]],{i,1,Length[HListe]}]; EListe=Table[EListe[[HListe[[i]]]],{i,1,Length[HListe]}]; Join[Beg,EListe] ]; TFrage[HF_,Trans_,Perm1__,u,Perm2__,l]:=WendeAn[HF,{Hyp`m`FPerm[Perm1,Global`u],Hyp`m`FPerm[Perm2,Global`l],Regel[Trans]},{"FPerm"[Perm1,"u"],"FPerm"[Perm2,"l"],StringJoin["T",ToString[Trans]]}]; TFrage[HF_,Trans_,Perm1__,u]:=WendeAn[HF,{Hyp`m`FPerm[Perm1,Global`u],Regel[Trans]},{"FPerm"[Perm1,"u"],StringJoin["T",ToString[Trans]]}]; TFrage[HF_,Trans_,Perm1__,l]:=WendeAn[HF,{Hyp`m`FPerm[Perm1,Global`l],Regel[Trans]},{"FPerm"[Perm1,"l"],StringJoin["T",ToString[Trans]]}]; TFrage[HF_,Trans_,Perm1__,b]:=WendeAn[HF,{Hyp`m`FPerm[Perm1,Global`b],Regel[Trans]},{"FPerm"[Perm1,"b"],StringJoin["T",ToString[Trans]]}]; TFrage[HF_,Trans_]:=WendeAn[HF,{Regel[Trans]},StringJoin["T",ToString[Trans]]]; Tli2103:=(Expr_ :>ErgListe[Expr, TFrage[Expr,2103]]); Tli2104:=(Expr_ :>ErgListe[Expr, TFrage[Expr,2104], TFrage[Expr,2104,2,1,u]]); Tli2106:=(Expr_ :>ErgListe[Expr, TFrage[Expr,2106], TFrage[Expr,2106,2,1,u]]); Tli2107:=(Expr_ :>ErgListe[Expr, TFrage[Expr,2107], TFrage[Expr,2107,2,1,u]]); Tli2110:=(Expr_ :>ErgListe[Expr, TFrage[Expr,2110]]); Tli2112:=(Expr_ :>ErgListe[Expr, TFrage[Expr,2112]]); Tli2131:=(Expr_ :>ErgListe[Expr, TFrage[Expr,2131], TFrage[Expr,2131,2,1,u]]); Tli2133:=(Expr_ :>ErgListe[Expr, TFrage[Expr,2133], TFrage[Expr,2133,2,1,u]]); Tli2134:=(Expr_ :>ErgListe[Expr, TFrage[Expr,2134]]); Tli2135:=(Expr_ :>ErgListe[Expr, TFrage[Expr,2135]]); Tli2136:=(Expr_ :>ErgListe[Expr, TFrage[Expr,2136]]); Tli2137:=(Expr_ :>ErgListe[Expr, TFrage[Expr,2137]]); Tli2138:=(Expr_ :>ErgListe[Expr, TFrage[Expr,2138]]); Tli2139:=(Expr_ :>ErgListe[Expr, TFrage[Expr,2139]]); Tli2140:=(Expr_ :>ErgListe[Expr, TFrage[Expr,2140]]); Tli2141:=(Expr_ :>ErgListe[Expr, TFrage[Expr,2141]]); Tli2163:=(Expr_ :>ErgListe[Expr, TFrage[Expr,2163], TFrage[Expr,2163,2,1,u]]); Tli2192:=(Expr_ :>ErgListe[Expr, TFrage[Expr,2192], TFrage[Expr,2192,2,1,u]]); Tli3204:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3204], TFrage[Expr,3204,3,1,2,u], TFrage[Expr,3204,2,3,1,u], TFrage[Expr,3204,2,1,l], TFrage[Expr,3204,3,1,2,u,2,1,l], TFrage[Expr,3204,2,3,1,u,2,1,l]]); Tli3205:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3205], TFrage[Expr,3205,2,1,3,u], TFrage[Expr,3205,2,3,1,u], TFrage[Expr,3205,2,1,l], TFrage[Expr,3205,2,1,3,u,2,1,l], TFrage[Expr,3205,2,3,1,u,2,1,l]]); Tli3206:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3206], TFrage[Expr,3206,1,3,2,u], TFrage[Expr,3206,2,3,1,u], TFrage[Expr,3206,2,1,l], TFrage[Expr,3206,1,3,2,u,2,1,l], TFrage[Expr,3206,2,3,1,u,2,1,l]]); Tli3207:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3207], TFrage[Expr,3207,1,3,2,u], TFrage[Expr,3207,2,1,3,u], TFrage[Expr,3207,3,1,2,u], TFrage[Expr,3207,2,3,1,u], TFrage[Expr,3207,3,2,1,u], TFrage[Expr,3207,2,1,l], TFrage[Expr,3207,1,3,2,u,2,1,l], TFrage[Expr,3207,2,1,3,u,2,1,l], TFrage[Expr,3207,3,1,2,u,2,1,l], TFrage[Expr,3207,2,3,1,u,2,1,l], TFrage[Expr,3207,3,2,1,u,2,1,l]]); Tli3217:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3217], TFrage[Expr,3217,2,1,3,u], TFrage[Expr,3217,3,1,2,u]]); Tli3235:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3235,3,2,1,u], TFrage[Expr,3235]]); Tli3236:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3236]]); Tli3237:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3237], TFrage[Expr,3237,1,3,2,u], TFrage[Expr,3237,2,3,1,u], TFrage[Expr,3237,2,1,l], TFrage[Expr,3237,1,3,2,u,2,1,l], TFrage[Expr,3237,2,3,1,u,2,1,l]]); Tli3238:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3238]]); Tli3239:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3239]]); Tli3240:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3240], TFrage[Expr,3240,1,3,2,u,2,1,l]]); Tli3263:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3263], TFrage[Expr,3263,1,3,2,u], TFrage[Expr,3263,2,1,3,u], TFrage[Expr,3263,3,1,2,u], TFrage[Expr,3263,2,3,1,u], TFrage[Expr,3263,3,2,1,u], TFrage[Expr,3263,2,1,l], TFrage[Expr,3263,1,3,2,u,2,1,l], TFrage[Expr,3263,2,1,3,u,2,1,l], TFrage[Expr,3263,3,1,2,u,2,1,l], TFrage[Expr,3263,2,3,1,u,2,1,l], TFrage[Expr,3263,3,2,1,u,2,1,l]]); Tli3264:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3264], TFrage[Expr,3264,3,1,2,u], TFrage[Expr,3264,2,3,1,u], TFrage[Expr,3264,2,1,l], TFrage[Expr,3264,3,1,2,u,2,1,l], TFrage[Expr,3264,2,3,1,u,2,1,l]]); Tli3267:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3267], TFrage[Expr,3267,3,1,2,u], TFrage[Expr,3267,2,3,1,u], TFrage[Expr,3267,2,1,l], TFrage[Expr,3267,3,1,2,u,2,1,l], TFrage[Expr,3267,2,3,1,u,2,1,l]]); Tli3268:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3268], TFrage[Expr,3268,1,3,2,u], TFrage[Expr,3268,2,1,3,u], TFrage[Expr,3268,3,1,2,u], TFrage[Expr,3268,2,3,1,u], TFrage[Expr,3268,3,2,1,u]]); Tli4301:=(Expr_ :>ErgListe[Expr, TFrage[Expr,4301], TFrage[Expr,4301,4,2,3,1,u], TFrage[Expr,4301,1,2,4,3,u], TFrage[Expr,4301,3,2,4,1,u], TFrage[Expr,4301,1,3,4,2,u], TFrage[Expr,4301,2,3,4,1,u], TFrage[Expr,4301,2,1,3,4,u], TFrage[Expr,4301,4,1,3,2,u], TFrage[Expr,4301,2,1,4,3,u], TFrage[Expr,4301,3,1,4,2,u], TFrage[Expr,4301,3,1,2,4,u], TFrage[Expr,4301,4,1,2,3,u], TFrage[Expr,4301,1,3,2,l], TFrage[Expr,4301,4,2,3,1,u,1,3,2,l], TFrage[Expr,4301,1,2,4,3,u,1,3,2,l], TFrage[Expr,4301,3,2,4,1,u,1,3,2,l], TFrage[Expr,4301,1,3,4,2,u,1,3,2,l], TFrage[Expr,4301,2,3,4,1,u,1,3,2,l], TFrage[Expr,4301,2,1,3,4,u,1,3,2,l], TFrage[Expr,4301,4,1,3,2,u,1,3,2,l], TFrage[Expr,4301,2,1,4,3,u,1,3,2,l], TFrage[Expr,4301,3,1,4,2,u,1,3,2,l], TFrage[Expr,4301,3,1,2,4,u,1,3,2,l], TFrage[Expr,4301,4,1,2,3,u,1,3,2,l], TFrage[Expr,4301,2,3,1,l], TFrage[Expr,4301,4,2,3,1,u,2,3,1,l], TFrage[Expr,4301,1,2,4,3,u,2,3,1,l], TFrage[Expr,4301,3,2,4,1,u,2,3,1,l], TFrage[Expr,4301,1,3,4,2,u,2,3,1,l], TFrage[Expr,4301,2,3,4,1,u,2,3,1,l], TFrage[Expr,4301,2,1,3,4,u,2,3,1,l], TFrage[Expr,4301,4,1,3,2,u,2,3,1,l], TFrage[Expr,4301,2,1,4,3,u,2,3,1,l], TFrage[Expr,4301,3,1,4,2,u,2,3,1,l], TFrage[Expr,4301,3,1,2,4,u,2,3,1,l], TFrage[Expr,4301,4,1,2,3,u,2,3,1,l]]); Tli4302:=(Expr_ :>ErgListe[Expr, TFrage[Expr,4302], TFrage[Expr,4302,4,2,3,1,u], TFrage[Expr,4302,1,2,4,3,u], TFrage[Expr,4302,3,2,4,1,u], TFrage[Expr,4302,1,3,4,2,u], TFrage[Expr,4302,2,3,4,1,u], TFrage[Expr,4302,2,1,3,4,u], TFrage[Expr,4302,4,1,3,2,u], TFrage[Expr,4302,2,1,4,3,u], TFrage[Expr,4302,3,1,4,2,u], TFrage[Expr,4302,3,1,2,4,u], TFrage[Expr,4302,4,1,2,3,u], TFrage[Expr,4302,1,3,2,l], TFrage[Expr,4302,4,2,3,1,u,1,3,2,l], TFrage[Expr,4302,1,2,4,3,u,1,3,2,l], TFrage[Expr,4302,3,2,4,1,u,1,3,2,l], TFrage[Expr,4302,1,3,4,2,u,1,3,2,l], TFrage[Expr,4302,2,3,4,1,u,1,3,2,l], TFrage[Expr,4302,2,1,3,4,u,1,3,2,l], TFrage[Expr,4302,4,1,3,2,u,1,3,2,l], TFrage[Expr,4302,2,1,4,3,u,1,3,2,l], TFrage[Expr,4302,3,1,4,2,u,1,3,2,l], TFrage[Expr,4302,3,1,2,4,u,1,3,2,l], TFrage[Expr,4302,4,1,2,3,u,1,3,2,l], TFrage[Expr,4302,2,3,1,l], TFrage[Expr,4302,4,2,3,1,u,2,3,1,l], TFrage[Expr,4302,1,2,4,3,u,2,3,1,l], TFrage[Expr,4302,3,2,4,1,u,2,3,1,l], TFrage[Expr,4302,1,3,4,2,u,2,3,1,l], TFrage[Expr,4302,2,3,4,1,u,2,3,1,l], TFrage[Expr,4302,2,1,3,4,u,2,3,1,l], TFrage[Expr,4302,4,1,3,2,u,2,3,1,l], TFrage[Expr,4302,2,1,4,3,u,2,3,1,l], TFrage[Expr,4302,3,1,4,2,u,2,3,1,l], TFrage[Expr,4302,3,1,2,4,u,2,3,1,l], TFrage[Expr,4302,4,1,2,3,u,2,3,1,l]]); Tli4303:=(Expr_ :>ErgListe[Expr, TFrage[Expr,4303], TFrage[Expr,4303,4,2,3,1,u], TFrage[Expr,4303,1,2,4,3,u], TFrage[Expr,4303,3,2,4,1,u], TFrage[Expr,4303,1,3,4,2,u], TFrage[Expr,4303,2,3,4,1,u], TFrage[Expr,4303,2,1,3,4,u], TFrage[Expr,4303,4,1,3,2,u], TFrage[Expr,4303,2,1,4,3,u], TFrage[Expr,4303,3,1,4,2,u], TFrage[Expr,4303,3,1,2,4,u], TFrage[Expr,4303,4,1,2,3,u], TFrage[Expr,4303,1,3,2,l], TFrage[Expr,4303,4,2,3,1,u,1,3,2,l], TFrage[Expr,4303,1,2,4,3,u,1,3,2,l], TFrage[Expr,4303,3,2,4,1,u,1,3,2,l], TFrage[Expr,4303,1,3,4,2,u,1,3,2,l], TFrage[Expr,4303,2,3,4,1,u,1,3,2,l], TFrage[Expr,4303,2,1,3,4,u,1,3,2,l], TFrage[Expr,4303,4,1,3,2,u,1,3,2,l], TFrage[Expr,4303,2,1,4,3,u,1,3,2,l], TFrage[Expr,4303,3,1,4,2,u,1,3,2,l], TFrage[Expr,4303,3,1,2,4,u,1,3,2,l], TFrage[Expr,4303,4,1,2,3,u,1,3,2,l], TFrage[Expr,4303,2,3,1,l], TFrage[Expr,4303,4,2,3,1,u,2,3,1,l], TFrage[Expr,4303,1,2,4,3,u,2,3,1,l], TFrage[Expr,4303,3,2,4,1,u,2,3,1,l], TFrage[Expr,4303,1,3,4,2,u,2,3,1,l], TFrage[Expr,4303,2,3,4,1,u,2,3,1,l], TFrage[Expr,4303,2,1,3,4,u,2,3,1,l], TFrage[Expr,4303,4,1,3,2,u,2,3,1,l], TFrage[Expr,4303,2,1,4,3,u,2,3,1,l], TFrage[Expr,4303,3,1,4,2,u,2,3,1,l], TFrage[Expr,4303,3,1,2,4,u,2,3,1,l], TFrage[Expr,4303,4,1,2,3,u,2,3,1,l]]); Tli4304:=(Expr_ :>ErgListe[Expr, TFrage[Expr,4304], TFrage[Expr,4304,4,2,3,1,u], TFrage[Expr,4304,1,2,4,3,u], TFrage[Expr,4304,3,2,4,1,u], TFrage[Expr,4304,1,3,4,2,u], TFrage[Expr,4304,2,3,4,1,u], TFrage[Expr,4304,2,1,3,4,u], TFrage[Expr,4304,4,1,3,2,u], TFrage[Expr,4304,2,1,4,3,u], TFrage[Expr,4304,3,1,4,2,u], TFrage[Expr,4304,3,1,2,4,u], TFrage[Expr,4304,4,1,2,3,u], TFrage[Expr,4304,1,3,2,l], TFrage[Expr,4304,4,2,3,1,u,1,3,2,l], TFrage[Expr,4304,1,2,4,3,u,1,3,2,l], TFrage[Expr,4304,3,2,4,1,u,1,3,2,l], TFrage[Expr,4304,1,3,4,2,u,1,3,2,l], TFrage[Expr,4304,2,3,4,1,u,1,3,2,l], TFrage[Expr,4304,2,1,3,4,u,1,3,2,l], TFrage[Expr,4304,4,1,3,2,u,1,3,2,l], TFrage[Expr,4304,2,1,4,3,u,1,3,2,l], TFrage[Expr,4304,3,1,4,2,u,1,3,2,l], TFrage[Expr,4304,3,1,2,4,u,1,3,2,l], TFrage[Expr,4304,4,1,2,3,u,1,3,2,l], TFrage[Expr,4304,2,3,1,l], TFrage[Expr,4304,4,2,3,1,u,2,3,1,l], TFrage[Expr,4304,1,2,4,3,u,2,3,1,l], TFrage[Expr,4304,3,2,4,1,u,2,3,1,l], TFrage[Expr,4304,1,3,4,2,u,2,3,1,l], TFrage[Expr,4304,2,3,4,1,u,2,3,1,l], TFrage[Expr,4304,2,1,3,4,u,2,3,1,l], TFrage[Expr,4304,4,1,3,2,u,2,3,1,l], TFrage[Expr,4304,2,1,4,3,u,2,3,1,l], TFrage[Expr,4304,3,1,4,2,u,2,3,1,l], TFrage[Expr,4304,3,1,2,4,u,2,3,1,l], TFrage[Expr,4304,4,1,2,3,u,2,3,1,l]]); Tli4309:=(Expr_ :>ErgListe[Expr, TFrage[Expr,4309]]); Tli4310:=(Expr_ :>ErgListe[Expr, TFrage[Expr,4310]]); Tli4312:=(Expr_ :>ErgListe[Expr, TFrage[Expr,4312], TFrage[Expr,4312,4,3,2,1,u]]); Tli4362:=(Expr_ :>ErgListe[Expr, TFrage[Expr,4362], TFrage[Expr,4362,2,1,3,4,u], TFrage[Expr,4362,3,1,2,4,u], TFrage[Expr,4362,4,1,2,3,u], TFrage[Expr,4362,2,3,1,l], TFrage[Expr,4362,2,1,3,4,u,2,3,1,l], TFrage[Expr,4362,3,1,2,4,u,2,3,1,l], TFrage[Expr,4362,4,1,2,3,u,2,3,1,l], TFrage[Expr,4362,1,3,2,l], TFrage[Expr,4362,2,1,3,4,u,1,3,2,l], TFrage[Expr,4362,3,1,2,4,u,1,3,2,l], TFrage[Expr,4362,4,1,2,3,u,1,3,2,l]]); Tli4331:=(Expr_ :>ErgListe[Expr, TFrage[Expr,4331]]); Tli4332:=(Expr_ :>ErgListe[Expr, TFrage[Expr,4332], TFrage[Expr,4332,1,3,2,b], TFrage[Expr,4332,2,3,1,b]]); Tli4391:=(Expr_ :>ErgListe[Expr, TFrage[Expr,4391]]); Tli3231:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3231]]); Tli3232:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3232]]); Tli3233:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3233]]); Tli3234:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3234]]); Tli4306:=(Expr_ :>ErgListe[Expr, TFrage[Expr,4306]]); Tli2132:=(Expr_ :>ErgListe[Expr, TFrage[Expr,2132]]); Tli5401:=(Expr_ :>ErgListe[Expr, TFrage[Expr,5401]]); Tli5402:=(Expr_ :>ErgListe[Expr, TFrage[Expr,5402]]); Tli5403:=(Expr_ :>ErgListe[Expr, TFrage[Expr,5403]]); Tli5468:=(Expr_ :>ErgListe[Expr, TFrage[Expr,5468]]); Tli6501:=(Expr_ :>ErgListe[Expr, TFrage[Expr,6501]]); Tli6531:=(Expr_ :>ErgListe[Expr, TFrage[Expr,6531]]); Tli6532:=(Expr_ :>ErgListe[Expr, TFrage[Expr,6532], TFrage[Expr,6532,1,2,3,5,4,b], TFrage[Expr,6532,1,2,4,5,3,b], TFrage[Expr,6532,1,3,4,5,2,b], TFrage[Expr,6532,1,3,2,5,4,b], TFrage[Expr,6532,1,3,2,4,5,b], TFrage[Expr,6532,1,4,3,5,2,b], TFrage[Expr,6532,1,4,2,5,3,b], TFrage[Expr,6532,1,4,2,3,5,b], TFrage[Expr,6532,1,5,3,4,2,b], TFrage[Expr,6532,1,5,2,4,3,b], TFrage[Expr,6532,1,5,2,3,4,b]]); Tli6533:=(Expr_ :>ErgListe[Expr, TFrage[Expr,6533], TFrage[Expr,6533,1,2,3,5,4,b], TFrage[Expr,6533,1,2,4,5,3,b], TFrage[Expr,6533,1,3,4,5,2,b], TFrage[Expr,6533,1,3,2,5,4,b], TFrage[Expr,6533,1,3,2,4,5,b], TFrage[Expr,6533,1,4,3,5,2,b], TFrage[Expr,6533,1,4,2,5,3,b], TFrage[Expr,6533,1,4,2,3,5,b], TFrage[Expr,6533,1,5,3,4,2,b], TFrage[Expr,6533,1,5,2,4,3,b], TFrage[Expr,6533,1,5,2,3,4,b]]); Tli6534:=(Expr_ :>ErgListe[Expr, TFrage[Expr,6534], TFrage[Expr,6534,1,2,4,3,5,b], TFrage[Expr,6534,1,2,5,3,4,b], TFrage[Expr,6534,1,3,4,2,5,b], TFrage[Expr,6534,1,3,5,2,4,b], TFrage[Expr,6534,1,4,5,2,3,b]]); Tli7631:=(Expr_ :>ErgListe[Expr, TFrage[Expr,7631], TFrage[Expr,7631,1,2,4,3,5,6,b], TFrage[Expr,7631,1,2,5,3,4,6,b], TFrage[Expr,7631,1,2,6,3,4,5,b], TFrage[Expr,7631,1,3,4,2,5,6,b], TFrage[Expr,7631,1,3,5,2,4,6,b], TFrage[Expr,7631,1,3,6,2,4,5,b], TFrage[Expr,7631,1,4,5,2,3,6,b], TFrage[Expr,7631,1,4,6,2,3,5,b], TFrage[Expr,7631,1,5,6,2,3,4,b]]); Tli7632:=(Expr_ :>ErgListe[Expr, TFrage[Expr,7632], TFrage[Expr,7632,1,2,3,5,6,4,b], TFrage[Expr,7632,1,2,3,4,6,5,b], TFrage[Expr,7632,1,2,4,3,5,6,b], TFrage[Expr,7632,1,2,4,5,6,3,b], TFrage[Expr,7632,1,2,4,3,6,5,b], TFrage[Expr,7632,1,2,5,3,4,6,b], TFrage[Expr,7632,1,2,5,4,6,3,b], TFrage[Expr,7632,1,2,5,3,6,4,b], TFrage[Expr,7632,1,2,6,3,4,5,b], TFrage[Expr,7632,1,2,6,4,5,3,b], TFrage[Expr,7632,1,2,6,3,5,4,b], TFrage[Expr,7632,1,3,4,2,5,6,b], TFrage[Expr,7632,1,3,4,5,6,2,b], TFrage[Expr,7632,1,3,4,2,6,5,b], TFrage[Expr,7632,1,3,5,2,4,6,b], TFrage[Expr,7632,1,3,5,4,6,2,b], TFrage[Expr,7632,1,3,5,2,6,4,b], TFrage[Expr,7632,1,3,6,2,4,5,b], TFrage[Expr,7632,1,3,6,4,5,2,b], TFrage[Expr,7632,1,3,6,2,5,4,b], TFrage[Expr,7632,1,4,5,2,3,6,b], TFrage[Expr,7632,1,4,5,3,6,2,b], TFrage[Expr,7632,1,4,5,2,6,3,b], TFrage[Expr,7632,1,4,6,2,3,5,b], TFrage[Expr,7632,1,4,6,3,5,2,b], TFrage[Expr,7632,1,4,6,2,5,3,b], TFrage[Expr,7632,1,5,6,2,3,4,b], TFrage[Expr,7632,1,5,6,3,4,2,b], TFrage[Expr,7632,1,5,6,2,4,3,b]]); Tli7633:=(Expr_ :>ErgListe[Expr, TFrage[Expr,7633], TFrage[Expr,7633,1,2,3,4,6,5,b], TFrage[Expr,7633,1,2,3,5,4,6,b], TFrage[Expr,7633,1,2,3,5,6,4,b], TFrage[Expr,7633,1,2,3,6,4,5,b], TFrage[Expr,7633,1,2,3,6,5,4,b], TFrage[Expr,7633,1,2,4,5,3,6,b], TFrage[Expr,7633,1,2,4,5,6,3,b], TFrage[Expr,7633,1,2,4,6,3,5,b], TFrage[Expr,7633,1,2,4,6,5,3,b], TFrage[Expr,7633,1,2,5,6,3,4,b], TFrage[Expr,7633,1,2,5,6,4,3,b], TFrage[Expr,7633,1,3,4,5,2,6,b], TFrage[Expr,7633,1,3,4,5,6,2,b], TFrage[Expr,7633,1,3,4,6,2,5,b], TFrage[Expr,7633,1,3,4,6,5,2,b], TFrage[Expr,7633,1,3,5,6,2,4,b], TFrage[Expr,7633,1,3,5,6,4,2,b], TFrage[Expr,7633,1,4,5,6,2,3,b], TFrage[Expr,7633,1,4,5,6,3,2,b]]); Tli7634:=(Expr_ :>ErgListe[Expr, TFrage[Expr,7634], TFrage[Expr,7634,1,2,3,5,4,6,b], TFrage[Expr,7634,1,2,3,6,4,5,b], TFrage[Expr,7634,1,2,4,5,3,6,b], TFrage[Expr,7634,1,2,4,6,3,5,b], TFrage[Expr,7634,1,2,5,6,3,4,b], TFrage[Expr,7634,1,3,4,5,2,6,b], TFrage[Expr,7634,1,3,4,6,2,5,b], TFrage[Expr,7634,1,3,5,6,2,4,b], TFrage[Expr,7634,1,4,5,6,2,3,b]]); Tli7635:=(Expr_ :>ErgListe[Expr, TFrage[Expr,7635], TFrage[Expr,7635,1,3,2,4,5,6,b], TFrage[Expr,7635,1,4,2,3,5,6,b], TFrage[Expr,7635,1,5,2,3,4,6,b], TFrage[Expr,7635,1,6,2,3,4,5,b]]); Tli7636:=(Expr_ :>ErgListe[Expr, TFrage[Expr,7636], TFrage[Expr,7636,1,2,5,6,3,4,b]]); Tli7637:=(Expr_ :>ErgListe[Expr, TFrage[Expr,7637], TFrage[Expr,7637,1,2,3,4,6,5,b], TFrage[Expr,7637,1,2,3,5,6,4,b]]); Tli7693:=(Expr_ :>ErgListe[Expr, TFrage[Expr,7693], TFrage[Expr,7693,1,2,4,3,5,6,b], TFrage[Expr,7693,1,2,5,3,4,6,b], TFrage[Expr,7693,1,2,6,3,4,5,b], TFrage[Expr,7693,1,3,4,2,5,6,b], TFrage[Expr,7693,1,3,5,2,4,6,b], TFrage[Expr,7693,1,3,6,2,4,5,b], TFrage[Expr,7693,1,4,5,2,3,6,b], TFrage[Expr,7693,1,4,6,2,3,5,b], TFrage[Expr,7693,1,5,6,2,3,4,b]]); Tli7694:=(Expr_ :>(Print["This does not make sense. There are 60 possibilities!"]; ErgListe[Expr, TFrage[Expr,7694]])); Tli8731:=(Expr_ :>ErgListe[Expr, TFrage[Expr,8731]]); Tli8732:=(Expr_ :>ErgListe[Expr, TFrage[Expr,8732]]); Tli9831:=(Expr_ :>(Print["This does not make sense. There are 120 possibilities!"]; ErgListe[Expr, TFrage[Expr,9831]])); Tli9832:=(Expr_ :>ErgListe[Expr, TFrage[Expr,9832]]); Tli9833:=(Expr_ :>ErgListe[Expr, TFrage[Expr,9833], TFrage[Expr,9833,1,2,3,4,5,6,7,8,10,9,b]]); Tli9834:=(Expr_ :>ErgListe[Expr, TFrage[Expr,9834]]); Tli9835:=(Expr_ :>(Print["This does not make sense. There are 360 possibilities!"]; ErgListe[Expr, TFrage[Expr,9835]])); Tli9836:=(Expr_ :>(Print["This does not make sense. There are 144 possibilities!"]; ErgListe[Expr, TFrage[Expr,9836]])); Tli9837:=(Expr_ :>ErgListe[Expr, TFrage[Expr,9837]]); Tli9892:=(Expr_ :>ErgListe[Expr, TFrage[Expr,9892]]); Tli9893:=(Expr_ :>(Print["This does not make sense. There are 210 possibilities!"]; ErgListe[Expr, TFrage[Expr,9893]])); Tli9894:=(Expr_ :>ErgListe[Expr, TFrage[Expr,9894]]); Tli111031:=(Expr_ :>ErgListe[Expr, TFrage[Expr,111031]]); Tli111032:=(Expr_ :>ErgListe[Expr, TFrage[Expr,111032]]); Tli2191:=(Expr_ :>ErgListe[Expr, TFrage[Expr,2191]]); Tli2137:=(Expr_ :>ErgListe[Expr, TFrage[Expr,2137]]); Tli3261:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3261], TFrage[Expr,3261,1,3,2,u], TFrage[Expr,3261,2,1,3,u], TFrage[Expr,3261,3,1,2,u], TFrage[Expr,3261,2,3,1,u], TFrage[Expr,3261,3,2,1,u], TFrage[Expr,3261,2,1,l], TFrage[Expr,3261,1,3,2,u,2,1,l], TFrage[Expr,3261,2,1,3,u,2,1,l], TFrage[Expr,3261,3,1,2,u,2,1,l], TFrage[Expr,3261,2,3,1,u,2,1,l], TFrage[Expr,3261,3,2,1,u,2,1,l]]); Tli3262:=(Expr_ :>ErgListe[Expr, TFrage[Expr,3262], TFrage[Expr,3262,2,1,3,u], TFrage[Expr,3262,3,1,2,u], TFrage[Expr,3262,2,1,l], TFrage[Expr,3262,2,1,3,u,2,1,l], TFrage[Expr,3262,3,1,2,u,2,1,l]]); Tli7691:=(Expr_ :>ErgListe[Expr, TFrage[Expr,7691], TFrage[Expr,7691,1,2,4,3,5,6,b], TFrage[Expr,7691,1,2,5,3,4,6,b], TFrage[Expr,7691,1,2,6,3,4,5,b], TFrage[Expr,7691,1,3,4,2,5,6,b], TFrage[Expr,7691,1,3,5,2,4,6,b], TFrage[Expr,7691,1,3,6,2,4,5,b], TFrage[Expr,7691,1,4,5,2,3,6,b], TFrage[Expr,7691,1,4,6,2,3,5,b], TFrage[Expr,7691,1,5,6,2,3,4,b]]); Tli7692:=(Expr_ :>(Print["This does not make sense. There are 60 possibilities!"]; ErgListe[Expr, TFrage[Expr,7692]])); Tli9891:=(Expr_ :>(Print["This does not make sense. There are 120 possibilities!"]; ErgListe[Expr, TFrage[Expr,9891]])); Regel[2103]:=Transfor`m`T2103; Regel[2104]:=Transfor`m`T2104; Regel[2106]:=Transfor`m`T2106; Regel[2107]:=Transfor`m`T2107; Regel[2131]:=Transfor`m`T2131; Regel[3204]:=Transfor`m`T3204; Regel[3205]:=Transfor`m`T3205; Regel[3206]:=Transfor`m`T3206; Regel[3207]:=Transfor`m`T3207; Regel[3217]:=Transfor`m`T3217; Regel[3239]:=Transfor`m`T3239; Regel[4301]:=Transfor`m`T4301; Regel[4302]:=Transfor`m`T4302; Regel[7631]:=Transfor`m`T7631; Regel[7632]:=Transfor`m`T7632; Regel[4303]:=Transfor`m`T4303; Regel[4304]:=Transfor`m`T4304; Regel[7633]:=Transfor`m`T7633; Regel[3231]:=Transfor`m`T3231; Regel[3232]:=Transfor`m`T3232; Regel[3233]:=Transfor`m`T3233; Regel[3234]:=Transfor`m`T3234; Regel[4306]:=Transfor`m`T4306; Regel[7634]:=Transfor`m`T7634; Regel[7635]:=Transfor`m`T7635; Regel[5401]:=Transfor`m`T5401; Regel[9832]:=Transfor`m`T9832; Regel[5402]:=Transfor`m`T5402; Regel[9833]:=Transfor`m`T9833; Regel[6531]:=Transfor`m`T6531; Regel[9834]:=Transfor`m`T9834; Regel[9831]:=Transfor`m`T9831; Regel[2191]:=Transfor`m`T2191; Regel[3261]:=Transfor`m`T3261; Regel[3262]:=Transfor`m`T3262; Regel[7691]:=Transfor`m`T7691; Regel[7692]:=Transfor`m`T7692; Regel[9891]:=Transfor`m`T9891; Regel[2110]:=Transfor`m`T2110; Regel[2112]:=Transfor`m`T2112; Regel[2133]:=Transfor`m`T2133; Regel[2134]:=Transfor`m`T2134; Regel[2135]:=Transfor`m`T2135; Regel[2136]:=Transfor`m`T2136; Regel[2137]:=Transfor`m`T2137; Regel[2138]:=Transfor`m`T2138; Regel[2139]:=Transfor`m`T2139; Regel[2140]:=Transfor`m`T2140; Regel[2141]:=Transfor`m`T2141; Regel[2163]:=Transfor`m`T2163; Regel[2192]:=Transfor`m`T2192; Regel[3235]:=Transfor`m`T3235; Regel[3236]:=Transfor`m`T3236; Regel[3238]:=Transfor`m`T3238; Regel[3237]:=Transfor`m`T3237; Regel[3240]:=Transfor`m`T3240; Regel[3263]:=Transfor`m`T3263; Regel[3264]:=Transfor`m`T3264; Regel[3267]:=Transfor`m`T3267; Regel[3268]:=Transfor`m`T3268; Regel[4309]:=Transfor`m`T4309; Regel[4310]:=Transfor`m`T4310; Regel[4312]:=Transfor`m`T4312; Regel[4331]:=Transfor`m`T4331; Regel[4332]:=Transfor`m`T4332; Regel[4362]:=Transfor`m`T4362; Regel[4391]:=Transfor`m`T4391; Regel[5403]:=Transfor`m`T5403; Regel[5468]:=Transfor`m`T5468; Regel[6501]:=Transfor`m`T6501; Regel[6532]:=Transfor`m`T6532; Regel[6533]:=Transfor`m`T6533; Regel[6534]:=Transfor`m`T6534; Regel[7636]:=Transfor`m`T7636; Regel[7637]:=Transfor`m`T7637; Regel[7693]:=Transfor`m`T7693; Regel[7694]:=Transfor`m`T7694; Regel[8731]:=Transfor`m`T8731; Regel[8732]:=Transfor`m`T8732; Regel[9835]:=Transfor`m`T9835; Regel[9836]:=Transfor`m`T9836; Regel[9837]:=Transfor`m`T9837; Regel[9892]:=Transfor`m`T9892; Regel[9893]:=Transfor`m`T9893; Regel[9894]:=Transfor`m`T9894; Regel[111031]:=Transfor`m`T111031; Regel[111032]:=Transfor`m`T111032; End[] Protect[ Tli2103, Tli2104, Tli2106, Tli2107, Tli2131, Tli3204, Tli3205, Tli3206, Tli3207, Tli3217, Tli3239, Tli4301, Tli4302, Tli7631, Tli7632, Tli4303, Tli4304, Tli7633, Tli3231, Tli3232, Tli3233, Tli3234, Tli4306, Tli7634, Tli7635, Tli5401, Tli9832, Tli5402, Tli9833, Tli6531, Tli9834, Tli9831, Tli2191, Tli3261, Tli3262, Tli7691, Tli7692, Tli9891, Tli2110, Tli2112, Tli2133, Tli2134, Tli2135, Tli2136, Tli2137, Tli2138, Tli2139, Tli2140, Tli2141, Tli2163, Tli2192, Tli3235, Tli3236, Tli3237, Tli3238, Tli3240, Tli3263, Tli3264, Tli3267, Tli3268, Tli4309, Tli4310, Tli4312, Tli4331, Tli4332, Tli4362, Tli4391, Tli5403, Tli5468, Tli6501, Tli6532, Tli6533, Tli6534, Tli7636, Tli7637, Tli7693, Tli7694, Tli8731, Tli8732, Tli9835, Tli9836, Tli9837, Tli9892, Tli9893, Tli9894, Tli111031, Tli111032 ] EndPackage[] If[$VersionNumber>=2.,$Messages=OutputStream["stdout",1],$Messages={"stdout"}];