source: git/Tst/New/sat_cleardenom.res.gz.uu @ ede2ad8

fieker-DuValspielwiese
Last change on this file since ede2ad8 was ede2ad8, checked in by Hans Schoenemann <hannes@…>, 9 years ago
fix tr. #712: std(SB,I) does not allow crit3 because of the (wrong) order of reductions if size(I)*4 > 3*size(SB), use std(SB+I), otherwise disable crit3
  • Property mode set to 100644
File size: 6.6 KB
Line 
1begin 640 sat_cleardenom.res.gz
2M'XL("+%+Y%4``W-A=%]C;&5A<F1E;F]M+G)E<P#MF\N/G,=UQ??\*QI$%M-L
3M-EWOAY7APLE"`N(LY&0EC(61.98''(X$<AR+"/*_YW>JOOY>_35)(9LD,!=#
4M3G<][SWWW'.KBG_XMW_^YE]WNYU]O?N7;WZW>_[TX>G5P_T/S[_:\:_O[Q_O
5MGZ[V7SW3W[O7KW<?;I^^_]/#W>W[-W>//[U[]7CWMU<?GFZ?GOUA&,4-H]P]
6MW+_KPXQ?^=>[]_>//^Z^O;XR+V_W+W^YLJ]>^?W+-S]/;<+KW;O[QY]_>OBX
7MN][=NH.=OHJO=^._TZO=_>/3[I%&?FJ17[=/W_&IFSXMK_GQ</_A:??^@6^T
8M!/UV]>U^:E/5IG5^.WYH3?OPSS^]OWI+/_O5[NWN'Z]WC_Q]..S'5O;5KOWY
9MS_$3-WS"G_</W[F;[][>T/_Y+U?/#Q^>-/W5V_WA^7ZRC`U#C_\:/XF;<[];
10MS9W.YLYG<Q\>V^P?+\]>U[.[OG,&\#?7S717[<?S-S\_?VE_>_5X>+??O^P?
11M_=/SEV8_6=+9UO4W+_[]P]WNZ_N''^[>/^W>O+__C[O'W>_^^J>_\/N/=^]?
12M_&9LWXWUYN[/NV]_N/_1#`ZZ>O\P&].W,3_</77XJ-WT99A@X>*KZ=_8YMTM
13M/7[9??U[&<+=7'^\LON78P-,=55B*-G7%%(PQ;RX/:;LDM/O.483S/X%(-W_
14M,1RN;"C)^9A*<*4ZH[;.66=:RYJ\.[7U_.7VARM?G<TUI!)="!K[8(.I.?EJ
15M<JYV;.]:^S^Z+Y^B=_!,85*B878FL59-4:Q/_.)S],$F,S1E^<'FY-B2<UY=
16MM%-G8X[659N"=[/%>Q;OLDG%VQI+#;ZM)!A7LLNI5/ZQ7/O0YUA+K2Y;QK,^
17MA+[C[#T+3]5ZX\)\^>[4R[$ORV)S-;5OPH>HJ6UR]#GMX;2R8V1WQMOB2L)<
18M?9IJ`E:N`<>QPOGJ?+/L47MD1!>LB[7M_^`Q1G-\+J8F,[?MV$]>P&XVV6*;
19M0P[XTA1^LRZQN&(6N^E3X7A3(AU#3'U#N,A6F_&^LR%,,_GFQ6-B^N"T+U?Z
20M+-;XB.T!9Y)WYZOR$X#+J]U'/I\^()"/*<;D2LAN[M!CD'6"!X9G?K,QLB7G
21M33CWCD_!T2F8A0^<964L-9C%1JR1][&PF2]W#%1OID#UD.;]F[O;A]TWN^NV
22MHG3P0ZB=PL$OPB,<VE_I&*9F,OC1AWG8G3[-R]@Z><>Z>0"=/DW#%*???5K@
23M)YP^F,T0#G4Q=)BVZ6;;]*=M_OR7^^N_D\W?R>;_+-GX\+^:6V(3IE??'!"/
24M:*:O?_\27B3H$!'?V9O?/D,^?,\_KOLL+SZVY1,$R8)=(:[8A"]/UOK8-_*Q
25MQ=;I.UH-[0<3+5K%[`%)U%#1NQCVLYG&D2R^,3'@@8$!HJE>^Y(K9G.W]LW!
26M\P;-5_,!9NL8>UBBSE5#=$37H)>SSXG`BH1OG:UJZF&S+8'HR<75`K9SZ-$=
27M0B5.Z)FS$SBG%79&.%J:RKDF&BN\F[Y&EI`UC)%!B"Z7II7VGJ`"^,5$,R8T
28M,(L,EZMW&1("N#%FXJN6<;WJU[V(CIM\Q%BW<V_(IQ6P1(T'5#'<IDO[5_)H
29M;[WET:-+6+\3M:]UB+]SGT*](AR;8<A&7@13*<Y!+"EO.=7%#-U9[<][K:$0
30M>DD;QPN;3CUFEF(*3(Z]9.,0*YQ)H,.P9LNI1\4S$UGU8)H4HESC("`?0$@B
31M^G*&V\*Y4XEG)U8E-824$NAGD?"%8Q!7-27L-K/9T-&#NV`@N>13+&K3;,=&
32M3:T>1#KOG:^^S`PYN95*(TXA/]A8HVK9,TX:O\G>ICX!U%IKFHAX-,2%1F[5
33MB/56.)16<G*:4^:\F56J-$ELGK37LE[5"1$80/D+=+>Y#]'"N$+$<I&#HS[7
34MVLU;LQTB+@.LGBA=:7[!X)E86BY\&!](8?\`8\04!3>BG-GPH"FA+O>@+MT=
35MX>;:^EF2.EF=#V\7-FRN<++=*9--;5,$/+:MD]178]JO1APCK7_=&+;WV?(3
36MH4;"@(U;2%:1<KCD+&V[2,]T0H*^8S*7'.8B'(A\TBZ,81;O%IL9V[FD>%(<
37MI('JO/@99T@`;3A7`02[*11#:.N.Q#A+YW,((B\-,M`#$>@(SE!J#(T?O+(U
38M.1J&B.$<%!"5,:S9`)Q!"H$.D0Q9()>UC7HGB031`D'JFT139H..I<36EAK6
39M!8R@2E)%Q5QRN2.L83'PA#WB'``3D.(IKF?`**>87J,+FCD#UW9TKCT3R%`-
40M/\8C2[.[A+1@\*#3XK.)MK/?&<X4B3%W,F=?L.Q%F#DOK=HH!@%98_T$RLB_
41M%I]ZI<;FI5SP9_LTQG/LV-"@0T04$F-;2ZF9?`RE$<-;T"&FR6LT8479-MV-
42MCQ!LH-#Z#>!(6532>RZI`0=$4)&`6LRTWO1I609M&4HA)_H>7H),H)C8B+$)
43M!^GFVN5!MTWL/@JPPT*`#4T&RXWZZS#37Y/27$3]]G@;3MX<U*UFMJY%0\-5
44M#+7,E?L9.T12GF_:"5JF<AD%^T9C3X5`!#9"($%&%_9SVYPTI8]@A?3@3-L3
45M)$*%A_GMPE`G53%]J6'G?=<&ZST^/_P:,)^;P\T71'F+""'7\*/3)6@G=1)1
46MDY@<JH%I3>0HS&@D.[KDAF#A-ZC0JL!9%TYC1TVFX:5]>PT)#:1L!@RXLYE8
47M'ED\H8W15?+Q@3@,;)":S9S[^81^4.Z)#R&C=:+"IMI-JJ'SN<-[+_B+YJ1A
48M16*?"9T$425FJGGF^BE>\LUU/4-/DP"`M0>K"HT4S@PYH1>1Z1LU>3*(GR?+
49M37[*B'@_:#:24SRWW#0T`4_%T]I2O2,E+D,="QN=,Y2AAE+.A/5<=&$#QLNO
50M9>!Y_VT@?\D4:RA_?IX%F%%ET%M!F<3&!]+Z9$O;2M5M*,.NXNX,"E.7=M)T
51M)"`C)%Q&\I%Q`0BB9:C@+%!C*$A<''L1S00;6<ND/!P>N"2]`LY"N`QG-""-
52M(B345DB0$7E&%4VI=0O-'9UED(=+<#!DB!L<[TDKS3'H?Y/6!SI+_MYJ>T;+
53MF\)R$ZCHXG;BTE%130[E$Q2>J*Z1-AW65AQ^F<*'@M^,%;_9HO#/%_#G</Z2
54MHG_-LZG(B2$,!WG)XG8=FI1+1)LIY1"(7DJVR[_B^41:^=,\BUAFOTQG>J*%
55MQP)2U5/>U>`OH!,GP%L>,6I[_$BRXCGG8LKN$CH)!.H44D@Q'9T!90>O.U4S
56M%[A6!1+@]:%:9[OY(N+>HU.#/HV;;%MOKH-=.&,$TK$L^&/ZW+J3)Z;/LIOM
57MI`/AZ--LH?TS(9V"0&593W%X8SS^'2F6H.^'4PH%Z]-$EB-<=(YK;#_QK02O
58M7U'D>$QQ<;0YFF2]@L$[ZT@?E]-YX+@LE4#)%YVOH#*1HVF_9;<3]F/3QF1^
59M@62_9<G6,BL=#L6:TK;;KVRK5I0=PV@ADK3=$MGC5I.LV16V\\P?W1F:IU,[
60M@VCH.=E;E69IR:_3,8]*(]</<Q,5H/%NOW+U4")6B>%^LDR*L6F_\K[;#Z>1
61M!@Z-DT<'".GTO)W4;)JU04?G5CYM&K-#:RS'W6KH8RO;8E@OO7WG53^YO%ZO
62MOJ/*R:;38J%RS1>@.'S7#-\Z;&/QTF@K*&Z.-D,BM6C(64`$L12G\S7Y27U`
63M,#FTG;F6("_#U;4S/%D/:660\-LV'N!0HZTZG"KP$VEE"[!C]2CN&FK*;<S"
64M`3;DVF]N4%2+D_LST+(/W8LH$@PL?Q&S+O<#0)TJF8I2"6>>[Y-[B>=<>PU0
65M=?YP$;46IJ0H18Z@#U<@:.B=OKP]=S\M5KWGZ?V\]^#NAL%VQ*4SD:!U%ESN
66MT$5Y[?76MGB=A[C2SH')C970)8`WKI).Z$\Z##'B4)D+#O&XSN1/A1EUL_.Z
67MPNLBK>I<**.+-R-/*1IV'I*MTT5=-.LRZ&2C5IE34$0S2"%)>1>W[HV&#KH(
68M\J'DN>768X(4[P.<F$],&TFP`=R9-2Q:^TCM"WYR:4&H.$*6D.7C&AQ]Q;)Y
69M\NA'HR.EEFHR%0]"`2F%@EG?6@[HDV*%*%$L.0U'45X'S][K:J"N!;:;X_N+
70MIUQ2RY=..2.;(^FA@C_*HE(09XH5G?U!2SEC(C11V>(?'3S;FG3`"%B,<F]3
71M/Q[G5O*HB]2/<1.6KE^-JDSQGF$$-5&_3N[EE8I\R/D"0AOW6>V3T*X9GLBA
72MY6P)YT`)*2ZJ9@W5EC_)@]%#5UDWLIV]@*N7XE,$^A`OT1C*`&D(<FTM-7=9
73M`G:-#KJJ[B!*^@2OZ;@6'$/\.F@?1+MQ625V.S73U>,%KK,:F8FLTK3N*)N9
74M*;"3A()N1V,X0WG+(KH19G2P35%+<+1)J0*#3_V2-)LUWD<R=.=D&"[SX)PG
75MU]V6'+G1>\F3;!<(">FUI38D+HK(]S.^-1L>=4M'J&"4VH2=;D)JQ5.7Z5!6
76M=[$=?RGVJ\X/]<-MHJTM*51#2:`?32.%@E`'0YML."/`=@FG`\C&=A?H<&)`
77M;9<J5_.83_!A05H[E=FZY:.L)9WGZD+>E#Y0(.4V/YI]'+568+,$W/^4Z,*O
78MY[@%-_Z:N5;D^.53+KGQ&#PZ2.12=$$8.L#@BD2$1"2P]V<IMY&-<DG*]&:]
79MJ@FU4J?G)WKE$D5>?A-N+0@-.H8TY)5?J#M2<X,II%C=WT7)^(LT%U7;D>GU
80MP,3[FMO9!^M,MH:H&])LUQAL<Q:KN9S5K5+HA87M'!-CLJH\2[C$<]040%+5
81MM0^I'S@>R(\DQZKJLY2P44./W;%1:=<O>`*W%M>N;*A[;&X9EY+$I350.[_J
82M,C6BBZ5E&4+3)M9.]L$!6.MTRK]!5O[FNJF[B+CUQ-(IP2W"'M&3=`22B/W.
83M%;B!L75JFQ9^'T/-20>AU8%'?SG`#+J&*.X<GLN>0:^':E24]MI#@6=TR5.W
84MB&:B`\S$7#%3W+4L41)&A[XAM;+,:4.?(U&D^K]V237WZ1#7CJ2'5<$</]:.
85M&]I0I>:@MUKHH+A8V4@.P9&5U<I;W^_[`+!>#]6Z/GH*+R:M5W.[U8W]LMKI
86MDDWG=G#Z\IQC[$.ETFHB.+9H-6:`KRB[I;Q.IR?KQS&ZLPH&F(Y68>AW='K]
87M099-26^N\J@SA\=XX^F8KN)TEYP`T9"<H%9B3"?H[;)Q/N=X/CC>L@9:$2%Z
88M%]:XO+.9HI="B7V8-&G<$Y]-O*1^Y!,\Z=+0^]`NS@V"2/`SZY0PJ3=I:00$
89M<Q1=80S[AK)`KNYUP,^8?MQDKD`-2#H0+*I12=A/Q[V*M42"#$XH3W9=#\]H
90M9JNQS'8^\IK'9X/\VG5LT)T-.K6!*B,9Q;J*Q(JM+(UZU)'U\D?YA3%'V\TY
91M%FHF8PC),&I!FI3^M*/H45;V/BJWN"V*:,F(["NM2FX@$HIU_0K?J]!540Z$
92M"Z`J%]FB'R?I=-;;(@7JH&C7\P2`HB/:1KO@^TO,T0^:]'8"_+D>CW6X+]>Q
93MM]?%,+(XZ)YYBT9Z'5!U;82\@$9U[1^&NS,^M;9X74(!<L"V?ADX`AE!#E&C
94M5K%7T3,HV[('F4@7O";[K#<R9>/4ZC0$ZL0J14&=56U[G7N00O.Z.^`+N11N
95M7:GE<0V$FD[^<]+Y.4IMN%`B#:/3G>Z*VI.^#<8:3C]HH41'"B6"3#^ZTZD$
96M$`"&:+M,V>/.R6O,1H%LA-Y"9?GSPX!92B(A(SO"B6ZPL[8[DM0Z@_D@]:;S
97MH-"5:\&KN`K:\^?8;$D(IJ9$`H"QMN=[11SNX>VXOCA=)B&]J\(&J&3,K>T3
98MH6"*:BMM/#Z=E?9Z>(/C;>EW+C!_Q*-$%NEL*WFU*A+8IC`=(!!,%96S<81P
99M2D5(,34_,67565"T:?,483KGT]4KMA@2"J3"AO+8:2/AH40E)YFKFN'A,1:!
100ME-`RWFXG/+(442(#QX:[#"&T][]4:7&-F&XSH-9.78V/9C#"P:NLK;KGT&/C
101MF266::OHA7)2U4N,#B7'P5(3Z[HXY$7:.$M:I"RK1VTLV)\FUH>J%]GGN0?F
102M*>O7S+Q.6%'5M]21U.5I7D>RRX1`._@\]77S]&[U$A-FU$L4[%5Z$0US9SW\
103MU=%>UCG1)_+5>=MVF7XV[B?2%66+7I;H<A1]3)+H4@A)4]'E6!2=01J8L\M9
104MNF)BPHN\W%)<[.\PH0%X/NHF#YT3BD^;V>H8=+>"R"7`$C.%)I2)<`DW/1RO
105MH!/:V4Y6QR9G6+3-Q#*.&`X3C-ZIPNQ,*EV&*/Y$LH*RK$.?Z1BRT7EL#Z9P
106MO"Z-,S]TB6DN,D4K$S23WECHV2;"B4*H'4YDU6)\AI/:>_8+J:I0^WH=/P=5
107M,\4-)8Z%H6P7`%Y7_F=%S@F^3KE=CY.(O>S:R_]VG*/<HW="F$7B,WTB3QG=
108MSF96`2.3V8;K+LRA^A]DD`I-JX&VTY3>O#,!!4E!<%`H%=]EKG&Z`48;HR7:
109ML%M9RK9KPO;NPNN6K")5E6B;9C:EG2$@B/+E'!5O_G_\YY1GW[G^!MZ-#^;3
1109Z_:_._5?-__Z@>Y?_<.S_P8:>E]T"#H`````
111`
112end
Note: See TracBrowser for help on using the repository browser.