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

spielwiese
Last change on this file was 3f7e01a, checked in by Hans Schoenemann <hannes@…>, 9 months ago
remnemae: sat -> sat, sat_with_exp
  • Property mode set to 100644
File size: 6.6 KB
Line 
1begin 640 sat_cleardenom.res.gz
2M'XL("&2>NV0"`W-A=%]C;&5A<F1E;F]M+G)E<P#MF\V3',=QQ>_\*R80/NQP
3M,%!]?XA>'&0?R`C+!THZ,9:,I;`B-P`L&<#*(D+A_]V_5]73W=/3O0#MB^T0
4M#@OL3'575>;+ER^S"G_XX[]^]>^[W<Z^W/W;5[_;/7M\__CBS?WWS[[8\:_O
5M[A_N'Z_V7WRFOW<O7^[>WSY^]^<W=[?O7MT]_/3VQ</=WUZ\?[Q]_.P/PUO<
6M\):[-_=O^VO&K_S+W;O[AQ]V7U]?F>>W^^>_7-D7+_S^^:N?IS'AY>[M_<//
7M/[WYL+O>W;J#G;Z*+W?CO].+W?W#X^Z!07X:D5^V3]_RJ9L^+2_Y\>;^_>/N
8MW1N^T1+TV]77^VE,U9CV\.OQ0VO:AW_YZ=W5:YZS7^Q>[_[Y>O?`WX?#?AQE
9M7^S:G[^/G[CA$_Z\>_.-N_GF]0W//_OEZMGA_:.FOWJ]/SS;3Y:Q87CB/\=/
10MXNK<;Q=SIXNY\\7<AX<V^X?MV>MR=M=WS@O\S74SW57[\>S5S\^>V]]>/1S>
11M[O?/^T?_\NRYV4^6=+8]^IO/__3^;O?E_9OO[]X][EZ]N_^/NX?=[_[ZYQ_Y
12M_8>[=Y__9AS?C?7J[B^[K[^__\$,#KIZ]V;V3M_>^?[NL<-'XZ8OPP0+%U],
13M_\8V;V]YXI?=E[^7(=S-]8<KNW\^#L!45R6&DGU-(053S.>WQY1=<OH]QVB"
14MV7\.2/??AL.5#24Y'U,)KE1G--8YZTP;69-WI[&>O]S^<.6KL[F&5*(+0>\^
15MV&!J3KZ:G*L=Q[LV_EOWZ5/T!SQ3F)08F)U)K%53%.L3O_@<?;#)#$-9?K`Y
16M.;;DG-<CVJFS,4?KJDW!N]GB/8MWV:3B;8VE!M]6$HPKV>54*O\X7_OPS+&6
17M6EVVO,_Z$/J.L_<L/%7KC0OSY;O34XY]61:;JZE]$SY$36V3XYG3'DXK.T9V
18M9[PMKB3,U:>I)F#E&G`<*YROSC?+'K5'WNB"=;&V_1\\QFB.S\749.:V'9^3
19M%[";3;;8YI`#OC2%WZQ++*Z8L]WTJ7"\*9$'0TQ]0[C(5IOQOK,A3#/YYL5C
20M8OK@M"]7^BS6^(CM`6>2=^>K\A.`RXO=!SZ?/B"0CRG&Y$K(;N[08Y!U@@>&
21M%WZS,;(EYTVX](Y/P?%0,&<^<):5L=1@SC9BC;R/A<U\N6.@>C,%JH<T[U_=
22MW;[9?;6[;BM*!S^$VBD<_%EXA$/[*QW#-$P&/_HP#[O3I_D\MD[>L6X>0*=/
23MTS#%Z7>?SO`33A_,9@B'>O;J,&W3S;;I3]O\^<?[ZW^0S3_(YO\LV?CPOYI;
24M8A>F?[M__/&[NU]^OOKJ@(I$/'WY^^<0)-&'FOC&WOSV,W3$=_SCND_W^8>V
25M#Z(A64`LZ!6;<.K);!_ZCCZT(#M]QZAA_&"KLU$Q>]`2]:KH70S[V4SCFRQ.
26M,C'@BH$*HJE>&Y1/9G.W\<W3\P'-:?,7S-8Q/F$)/U<-81)=PV#./B<B+!+'
27M=;:JZ0F;;0F$42ZN%D">0P_S$"H!PY,Y.Z%T6F&GAJ-EJ+QLHK$"ONEK9`E9
28MKS$R"&'FTK32_B3P`(<Q,8P)#10CP^7J78:-0'",F4"K95ROGNM>1-!-/N)=
29MMW-OR*<5U$2]#\QBN%67]J_DT3YZS:-'E[!^9VQ?ZQ"(ESZ%@\4\-D.5C<6(
30MJE*<@V%27G.JBQG>L]J?]UI#(0:3-HX75IUZS"S%%"@=>\G&(5;(DXB':LV:
31M4X\*;":R>H)I4HARC8.)?``AB3#,&9(+ETXEL)WHE1P14DJ@GT5"'(Z7N*HI
32MH;F9S88'/;@+!K9+/L6B,<UV;-34ZD&D\][YZLO,D)-;*3GB%/N#C?56+7M&
33M3N,WV=O4)X!C:TT3(X^&V!CD%H-8;X5,&24GISEWSH=9Y4R31.M)>RW+59T0
34M@0&4R$!WF_L0+=0K1)PO<G#4QT:[^6BV0\1E@-4SIBO-+Q@\$TOG"Q_>#Z2P
35M?X`Q8HJ"&U'.;'C0E%#/]Z!'NCO"S;7ULVQULCH?WI[9L+G"R7:GE#:-31'P
36MV+9.<F"-:;]XXQAI_>O&L/V9-3\1:F0.V+B%9!4IARUG:=M%PJ83$O0=D]ER
37MF(MP(#I*NS"&6;P[V\PXSB7%D^(@#53GQ<\X0TIHQ;D*(-A-H1A"6W<DQEDZ
38MGT,0^=P@`ST0@8[@#*7&T/C!*VV3K&&(&"Y!`5$9PYH-P!DT$>@0R9`%<EG:
39MJ#\DM2!:($A]TVK*;-"Q)-G24L.Z@!%42:JHF$LN=X0U+`:>L$><`V`"4CS%
40M]0P8Y1332W1!,Q?@6H_.I6<"&:KAQWCT:79;2`L&#SHM/IMH._M=X$R1&',G
41M<_8%RV["S'F)UD8Q*,D:ZQ,H(_]:?.J5&IN7<L&?[=,8+[%C0X,.$5%(C&TM
42MI6;R,91&#*]!AY@FKS&$%67;!#@^0KF!0NM7@"-E44GON:0&'!!!:0)J,9,S
43MZWQB$)FA%'*B[^$ER`2JBI48FW"0;JY='@3<Q.ZC`#N<";!AR&"Y47\=9OIK
44MDIQG4;_^OA4GK[[4+6:VKD5#PU4,M<PE_`4[1%*>;]H)6J:$&97[RF!/J4`$
45M-D(@0487]G/;G#2ECV"%].!,VQ,D0JF'^>V9H4ZJ8OI2KYT_NS18?^+CKU\"
46MYF-SN/F"J',1(>0:?G2Z!.VD3B)J$I-#63"MB1R%&8UD1Y?<$"S\!A5:53K+
47M"FI\4)/I]=*^O9B$!E(V`P;<Q4PLCRR>T,;H*OGX0!P&-DCQ9B[]?$(_*/?$
48MAY#1'J+4INQ-*J;SI</[4_`7PTG#BL0^$SH)HDK,5//,]5.\Y)OK>H&>)@$`
49M:P]6%1HI7!AR0B\BTS=J\F00/T^6J_R4$?%^T&PDIWAIN>G5!#P53QM+&8^4
50MV(8Z%C9J.)2AAE+.A/5<=&$%QN=?R\#SY]>!_"E3+*'\\7G.P(PJ@]X*RB0V
51M/I#6)UO:5K.N0QEV%7=G4)BZM).F(P$9(6$;R4?>"T`0+4,%9X$:KX+$Q;&;
52M:";8R%HFY:&+X)+T"C@+81O.:$`&14BHK9`@(_*,*II2ZQJ:.SK+(`_/P<$K
53M0USA>$]::8Y!_YM4GN3OM;$7M+PJ+%>!BBYNK9>.BFIR*$]0>**Z1MIT6%MQ
54M^#:%#P6_&2M^LT;A'R_@+^'\*47_DF=3D1-#&#IZR>)V=4_*%M%F2CD$HI>2
55M[?*O>#Z15GZ:9Q'+[)?I3$^T\%A`JGK*NQK\!CIQ`KSE$:.VQX\D*YYS+J;L
56MMM!)(%"GD$**Z>@,*#MXW:F:V>!:%4B`UX=JG>WFBXA[CTX-^C2NLFV]N0[V
57MHI'5''DL%TVL_KEU\Q96_RR[>?^J?^;3O'G5/A/2*0A4EO44AS?&/O!(L01]
58M;TXI%*Q/Y]W?TS`(I;=^*\'KS;+E^[&WS=$DZQ4,WEE'^KBXL;\[C%`)E'Q1
59M?P65B1Q-^S6[G;`?FS8F\PLD^S5+MI%9Z7`HUI2VW7YA6XVB[!C>%B))VRU[
60ML*=R7M;L"MMYYH]NI>]Z"F*#:.@YV5N59FG9;1UK`LC?]:YNH@(TWNT7KAY*
61MQ"HQW%O,I!B;]@OON_W0C31P:)RW5`=H`$1U:O;K<%1K1[9/^W58M@[.J1QW
62MBU<?6]D6P_X"I>JTJ'YR>;^"5JJ<;#HM%BK7O`'%X;MF^/;`.A:WWK:`XNK;
63M9DBD%@TY"X@@EN+4[!?&[.H#@LFA[<RU!+D-5]=Z>+(>TLH@X=,V8$%@M%7-
64MJ0(_D5;6`#M6C^*NH:9<QRP<8$.N_0@'1776PK\`+?O0`8DBP<#RFYAUN3<`
65MU54R%:42PBIH"3G$<ZZ]!JCJ/VRBUL*4%*7($?3A`@0-O=.7MY?N9\3BZ7EZ
66MOWQZ<'?#8&MQJ2<2M,Z"RQVZ*.]70@BUK7Z(*ZT/3&ZLA"X!;+:#*JD98L2A
67M,A<<XG&=R4^%&76S\SK+ZR*MJB^4T<6KD:<4#3L/R=;IQ"Z:91ETLE&KS"DH
68MHAFDD*2\BV8=$[9I??)O*'ENN>4[08KW`4[,)Z:-)-@`[LPJ(41J7_"32PM"
69MQ1&RA"P?URCBV&R>//K1J*744DVFXD$H(*50,,OCRU.+%L4*4:)8<AI:45Z-
70M9^]U-%"7`MN==?$_=<IS:OG4*6=D<R0]5/!'650*XDRQHMX?M)0S)D(3E37^
71M4>/9UJ0&(V`QRKU-_7B<6\FC+E(_QDU.(H^I3/&>UPAJHGYU[N65BGS(.6^3
72M%`\EK8V%PQ,YM)PMX1PH(<5%U:RQ%O6ZC1ZZRCJ:[>P%7+T4GR+0A[A%8R@#
73MI"'(M;74W&4)V#5J=%6=093T!*^I70N.(7XUV@?1;EQ6B=VZ9CJ#W.`ZJS<S
74MD56:UF%E,S,%=I)0T#%I#&:-_-3$TMO!-D4MP=$FI0H,/O73TFPVR=!=DF'8
75MYL$Y3RX?.^?(E:?/>9+M`B$AO;;4AL1%$?G>X[,765]'KEY)M#9AIY.06O'4
76M-AW*ZBZV]I=BOZI_J!]NDP_1Z8:20#^:1@H%H0Z&5MEP1H#M$$X-R,9V&W0X
77M,:"V2Y6K><P3?%B0UDYEMD[Y*&M)Y[FZD%>E#Q1(N<V/9A]'K178+`'W/R6Z
78M\.LY[HP;?\U<"W+\]"G/N?$8/#I(Y%)T0!@ZP."*1(1$)+#W>55H*9>DS-.L
79M5S6A5NIT#T777:+(RV_2',X,(-AXY1?JCM3<8`HI5N=W43)^D^:B:CLRO6Z:
80M>%]SZWVPSF1KB#HAS7:UFBA6<SFK4Z70"PO;.2;&9%5YEK#%<]040%+5M0^I
81M-QP/Y$>28U7U64H(9IOHL%%IQR]X`K<6UXYLJ'ML;AF7DL2E-;*"NRLU%;I8
82M6I97:-K$VLD^.`!KG;K\*V3E;ZZ;NHN(6T\LS:\_C=A&]"2U0!*QW[D"-_!N
83M=6W3F=_'4'/206AUX-%O#C"#CB&*NX3G^9-!UXAJ5)3VVD.!9W3(4]>(9J(#
84MS,1<,5/<M2Q1$D:'OB&U8A;WO(8BW+?ZOW9)-??I$->.I(=5P1P_EHX;QE"E
85MYJ!+6^B@>+:RD1R"(RMKE+>^G_<!8%TCJG79>@HSK5=S.]6-_;#:Z9!-?3LX
86M_;S/$2;QV6LB.+9H-6:`KRB[I;Q.IR?KQS&ZLPH&F(Y187CNZ'3[@RR;DBY?
87MY5%G#K?R9N?:26?Y(0&B(3E!K<28.NCML'$^IU^J-9T#$*!5%\0:EW<V4_12
88M*+$/DR:-^ZU;\I*>(Y_@29>&IP_MX-P@B`0_LTP)DWJ3ED9`,$?1$<:P;R@+
89MY.I<!_R,Z<=-Y@K4@*0#P:(:E82].^Y5K"429'!">;++>GA&,VN#9;;+-^]7
90M+B_^-]>Q0G<VJ&L#548RBG45B15;61IUJ2/KYH_R"^_<+XBA]TG(&RX(R3!J
91M09J4?K6CZ'96]CXJM[@UBFC)B.PKK4IN(!**=?T(WZO055$.A`N@*IMLT=M)
92MZLYZ6Z1`'13M>IX`4#R(MM$N^'Z+.7JC27<GP)_K\5B'\W*UO;T.AI'%0>?,
93M:S32ZX"J8R/D!32J8_\PG)WQJ;7%ZQ`*D`.VY17!$<@(<H@:M8J]BJY!V98]
94MR$0ZX#799]V1*2M=J],K4"=6*0KJK!K;Z]R#%)K7V0%?R*5PZT(MCVL@U-3Y
95MSTG]<Y3:<*!$&D:G.YT5M;M]*XPU=#\8H41'"B6"3&_=J2L!!(`AVBY3]KA+
96M\AJS42`;H;=06?ZR&3!+221D9$<XT0UVUG9'DEIF,!^DWM0/"EVY%KR*JZ`]
97MOYZ^`DQ-B00`8VW7]XHXW,/;,3R5O(ZZ5X4-4,F86]LG0L$4U58*3R4O13&5
98M.B';SUQ@_HA'B2S2V5KR:E4DL$UA:B`03!65L])".*4BI)B&GYBRJA<4;5KM
99M(DQ]/AV]8HLAH4`J;"B/#ZTD/)2HY"1S53/<0,8BD!):QMOUA$>6(DIDX-AP
100MER&$=A&8*BVNICL)IM9U-3Z:P0@'K[*VZIQ#MXYGECA/6T57E9.J7F)T*#D.
101MEII8Q\4AGZ6-BZ1%RK*ZU,:"_6EB?:AZD7U>>F">LG[-S,N$%55]2QU)79[F
102M=22[3`BTQJ>YS%=';(&384;=1,%>I1?1,'?6#6"U]K+Z1$_DJ\NQ[3#]XKU/
103MI"O*%MTLT>$H^I@DT:40DJ:BR[$H.H,T,&>7BW3%Q(07>;FEN-CO84(#\'S4
104M21XZ)Q2?5K/5,>AL!9%+@"5F"DTH$^$2;KI!7D$GM+.>K(Y-SK!HFXEE'#$T
105M$XSNJ<+L3"I=ABA^(EE!6=:AS]2&;'0>VX4I'*]#X\P/'6*:3:9H98)FTAT+
106M7=M$.%$(M>9$5BW&9SBI76S?2%6%VM>K_1Q4S10WE#@6AK)=`'@=^5\4.2?X
107M.N5V74XB]K)K_P6@M7.4>W1/"+-(?*8G\I31Z6QF%3`RF6TX[L(<JO]!!JG0
108MM!IH/4WI\CL34)`4!`>%4O%=YAJG$V"T,5JBO78M2]EV3-CN77B=DE6DJA)M
109MT\RFM!X"@BAOYZAX\__C?ZE\]HWK=^#=>',^O6S_S5/_A_.O[WG\BW_Z[+\`
110(5K"GJA$Z````
111`
112end
Note: See TracBrowser for help on using the repository browser.