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

spielwiese
Last change on this file since f2c70a was 6d5e3ce, checked in by Janko Boehm <boehm@…>, 11 years ago
Added test for sat
  • Property mode set to 100644
File size: 6.7 KB
Line 
1begin 664 sat_cleardenom.res.gz
2M'XL("/E3(U$``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)(9LDL`0,
4M.=WUO/?<<\^M*O[AW_[YFW_=[7;V]>Y?OOG=[OG3AZ=7#_<_//]JQ]^^OW^\
5M?[K:?_5,?^Y>O]Y]N'WZ_D\/=[?OW]P]_O3NU>/=WUY]>+I]>O:'810WC'+W
6M</^N#S-^Y5_OWM\__KC[]OK*O+S=O_SERKYZY?<OW_P\M0FO=^_N'W_^Z>'C
7M[GIWZPYV^BJ^WHU_3Z]V]X]/NT<:^:E%?MT^?<>G;OJTO.;'P_V'I]W[![[1
8M$O3;U;?[J4U5F];Y[?BA->W#/__T_NHM_>Q7N[>[?[S>/?+GX;`?6]E7N_;?
9M?XZ?N.$3_GO_\)V[^>[M#?V?_W+U_/#A2=-?O=T?GN\GR]@P]/BO\9.X.?>[
10MU=SI;.Y\-O?AL<W^\?+L=3V[ZSMG`']SW4QWU7X\?_/S\Y?VMU>/AW?[_<O^
11MT3\]?VGVDR6=;5U_\^+?/]SMOKY_^.'N_=/NS?O[_[A[W/WNKW_Z"[__>/?^
12MQ6_&]MU8;^[^O/OVA_L?S>"@J_</LS%]&_/#W5.'C]I-7X8)%BZ^FOZ.;=[=
13MTN.7W=>_ER'<S?7'*[M_.3;`5%<EAI)]32$%4\R+VV/*+CG]GF,TP>Q?`-+]
14M'\/ARH:2G(^I!%>J,VKKG'6FM:S)NU-;SQ]N?[CRU=E<0RK1A:"Q#S:8FI.O
15M)N=JQ_:NM?^C^_(I>@?/%"8E&F9G$FO5%,7ZQ"\^1Q]L,D-3EA]L3HXM.>?5
16M13MU-N9H7;4I>#=;O&?Q+IM4O*VQU.#;2H)Q);N<2N4OR[4/?8ZUU.JR93SK
17M0^@[SMZS\%2M-R[,E^].O1S[LBPV5U/[)GR(FMHF1Y_3'DXK.T9V9[PMKB3,
18MU:>I)F#E&G`<*YROSC?+'K5'1G3!NEC;_@\>8S3'YV)J,G/;COWD!>QFDRVV
19M.>2`+TWA-^L2BRMFL9L^%8XW)=(QQ-0WA(MLM1GO.QO"-)-O7CPFI@].^W*E
20MSV*-C]@><"9Y=[XJ/P&XO-I]Y//I`P+YF&),KH3LY@X]!EDG>&!XYC<;(UMR
21MWH1S[_@4')V"6?C`65;&4H-9;,0:>1\+F_ERQT#U9@I4#VG>O[F[?=A]L[MN
22M*TH'/X3:*1S\(CS"H?V1CF%J)H,??9B'W>G3O(RMDW>LFP?0Z=,T3''ZW:<%
23M?L+I@]D,X5`70X=IFVZV37_:YL]_N;_^.]G\G6S^SY*-#_^KN24V87KUS0'Q
24MB&;Z^O<OX46"#A'QG;WY[3/DP_?\Y;K/\N)C6SY!D"S8%>**3?CR9*V/?2,?
25M6VR=OJ/5T'XPT:)5S!Z01`T5O8MA/YMI',GB&Q,#'A@8()KJM2^Y8C9W:]\<
26M/&_0?#4?8+:.L8<EZEPU1$=T#7HY^YP(K$CXUMFJIAXVVQ*(GEQ<+6`[AQ[=
27M(53BA)XY.X%S6F%GA*.EJ9QKHK'"N^EK9`E9PQ@9A.AR:5II[PDJ@%],-&-"
28M`[/(<+EZER$A@!MC)KYJ&=>K?MV+Z+C)1XQU._>&?%H!2]1X0!7#;;JT?R6/
29M]M9;'CVZA/4[4?M:A_@[]RG4*\*Q&89LY$4PE>(<Q)+REE-=S-"=U?Z\UQH*
30MH9>T<;RPZ=1C9BFFP.382S8.L<*9!#H,:[:<>E0\,Y%5#Z9)(<HU#@+R`80D
31MHB]GN"V<.Y5X=F)54D-(*8%^%@E?.`9Q55/";C.;#1T]N`L&DDL^Q:(VS79L
32MU-3J0:3SWOGJR\R0DUNI-.(4\H.--:J6/>.D\9OL;>H30*VUIHF(1T-<:.16
33MC5AOA4-I)2>G.67.FUFE2I/$YDE[+>M5G1"!`92_0'>;^Q`MC"M$+!<Y..IS
34MK=V\-=LAXC+`ZHG2E>87#)Z)I>7"A_&!%/8/,$9,47`CRID-#YH2ZG(/ZM+=
35M$6ZNK9\EJ9/5^?!V8</F"B?;G3+9U#9%P&/;.DE]-:;]:L0QTOK7C6%[GRT_
36M$6HD#-BXA605*8=+SM*VB_1,)R3H.R9SR6$NPH'()^W"&&;Q;K&9L9U+BB?%
37M01JHSHN?<88$T(9S%4"PFT(QA+;N2(RS=#Z'(/+2(`,]$(&.X`REQM#XP2M;
38MDZ-AB!C.00%1&<.:#<`9I!#H$,F0!7)9VZAWDD@0+1"DODDT93;H6$IL;:EA
39M7<`(JB155,PEESO"&A8#3]@CS@$P`2D"I!KGH=F6'(+K0%H!+/F\1I=O,1><
40M\6<(<XVC;(M=@C@''S9IH`@W2&R%%^%60P[F`A916Q`7PE,F04L5I8HM-+I<
41M%;,=C>0XW(IS+@.2'(J>+<U!()D,R/_E$B:CY"+#^Y:D;$G@P?0`.H,EH!!C
42M(`*=MYT70"FRK@#J@I".\0R9WA,42OJ&FB3V69`PD=S+4#Y*36Z!$SN*X'.B
43MF6^(!FRH!*C%IY2Q1C['9V%1%!K%$MO!]S`H$<5@P*RU?DVY)^T32-(V`DKB
44MLTU%)J-'C$[T6-;&&^2,Z#SY2#XFB&H##U8A8;+>K)('I&]"-=U<NSQ(RPFI
45MHT8\+#3BT&1$S2`1#S.).(GA!3%MC[>!L,U!W6IF^6'`(,*PEGEQ<8:42%;V
46M3=Z1.<!X6)APV=A3Q$`2S5GD\.C"?FZ;$TZ!BH/_T)IM3_`<12C5AUT8ZB1\
47MIB\U[+SOVF"]Q^>'7X/M<W.X^8*HP-%)I$-^=$8GELCNH&72NT/!,JT)K&-&
48M(V74@XT<``43_E8UV+JV&SMJ,@TO>=[+7$(GB026E=U\>0B-A'Q'^K4`J(@0
49M-DA9:<[]?$KX1)LG\0@9K9.OAH(\J<S/YP[OO1!`3F$*-;IA)J2<!X+,5//,
50M]5.\Y)OK>H:>1BZ`-76(4PNE<&;(";WH8-\$FB?)>1.VK#=+P!ER]H.L)'_&
51M<\M-0UOLA.?5-L-/IER&.A8V.@HI0YFGM!Y(;-&%#1@OOY:!Y_VW@?PE4ZRA
52M_/EY%F!&.,*-!?$4&Q^H'($[;:NFMZ%\I'1!JV=0F+KZE.P,1B/535\,_1@7
53M@)!"AB+3`C6&HJR@'KR,9H(-76*@X7Y4X9(D%3@+X3*<R3@T(EVT>N)`D!%Y
54M1D57J74+S1V=95"P2W`P9(@;'.])7\TQE"@FK<^<EOR]U?:,EC>U[R90D>[M
55M4*BCHIH<RB<HG!Q+-'?%1MU>1UK;:#R<29CQ4,)L4?CGSQC.X?PEYQ)KGDU%
56M3@QA.&N4%`@ZURF7B#8C@E!N7F)[$#6>3R3G/\VSZ'GVRW2F)UIX+*"F/15H
57M#?X".G$"O.71R[;'CU0UGG,NINPNH9-`H)0BA133T1F0ZO"Z4\%U@6M5PP%>
58M'ZIUMIL/M:*38>I//HV;;%MOKH-=.&,$TK$L^&/ZW+J3)Z;/LIOMI`/AZ--L
59MH?TS(1T!ILJQISB\,9Y0CQ1+T/?S,X7").1.I_%#,PBE'TI7@M>O*'(\2;DX
60MVAQ-LAYR,'36,<H&IR/+<5FJTA#..@+RR%\3TG[+;B?LQU)ZYA=(]EN6["I;
61MZ7"H)Y6VW7YE6[6B,AI&"Y&D[9;('K>:9,W<.=`S?W1G:)X.%M&[H>=D;U4]
62MIB6_3B=1JMY</V].%*GF=-`^1U.K8JNW7;H3@!@Z[5?>=_OAP-3`H7'RZ``A
63M'?"WPZ1-LS;HE%:0;1JS0VL\,7"KH8^MLHQAO?3VG=<1@<OK]>H[YZEE.BVJ
64M0LD7H#A\UPS?.FQC\=)H*RANCC9#(N5RR%E`!+'4S_,U^4E]1%5W;6>N)<C+
65M<'7MF%'60UH9)/RVC0<XU&BKSL\*_$1:V0+LD?FJ[:#1`53,Z0)FX0#*Q=HO
66MEU!4B\N%,]"R#UW=*!(,+'\1LR[W,TI5YJ:B5,*9Y_OD7N(YUUX#5!V17$2M
67MA2E3D!Q!'ZY`T-`[?7E[[GY:K'K/T_MY[\'=#8/M%$['-CII4)%J'+HHK[W>
68MVA:O(QM7VE$UN;$2N@3PQFW7"?U)YS5&'"ISP2$>UYG\J3#+V3FO6\8NTJJ.
69MKC*Z>#/RE*)AYR'9.MTE1K,N@TXVDG:$A7,T@Q22E'=QZVIKZ*"[*J_3AIGE
70MUF."%.^#TSG$P+21!!O`G5G#HK6/U+[@)Y<6A(HC9`E9/J[!T5<LFR>/?C0Z
71M]6JI)E/Q(!204BB8]<7J@#XI5H@2Q9+3<%KF=3;NO6XOZEI@NSF^OWC*);5\
72MZ90SLCF2'BKXHRPJ!7&F6-'Q)+24,R9"$Y4M_M'9N*U)9Z"`Q2CW-O7C<6XE
73MC[I(_1@W8=G/P8S*%!TH-:B)^G6Y(*]4Y$/.%Q#:N,]JGX1VS?!$#BUG2S@'
74M2DAQ435KJ+;\21Z,'KK*NC3N[`5<O12?(M"'>(G&4`9(0Y!K:ZFYRQ*P2V7,
75M;G5-4M(G>$TGRN`8XM==P"#:C<LJL:,GI^MV]`+768W,1%9I6M>HS<P4V$E"
76M01>X,9RAO&4175HS.MBFJ"4XVJ14@3I+:_>XV:SQ/I*A.R?#<)D'YSRY[K;D
77MR(W>2YYDNT!(2*\MM2%Q443>^BTV/.HBD5#!*+4).UW6U(JG+M.AK.YB._Y2
78M[.,,/,,/MXFVMJ10#26!?C2-%`I"'0QMLN&,`-N!+;Y-C>TNT.'$@-HN5:[F
79M,9_@PX*T=BJS=1%)64LZS]6%O"E]H$#*;7XT^SAJK<!F";C_*=&%7\]Q"V[\
80M-7.MR/'+IUQRXS%X=)#(I>@.,W2`P16)"(E(8._/4FXC&^62E.G->E43:J5.
81M+V3T$">*O/PFW%H0&G0,:<@KOU!WI.8&4TBQNF*,DO$7:2ZJMB/3ZPV,]S6W
82MLP_6F6P-49>XV:XQV.8L5G,YJXNOT`L+VSDFQF15>99PB>>H*;P.\X7XU`\<
83M#^1'DF-5]5E*V*BAQ^[8J+0;(CR!6XMKI^@Z]\\MXU*2N+0&:N=7W?=&=+&T
84M+$-HVE1T_Z)K!:QE_46R\C?73=U%Q*TGEDX);A'VB)ZD(Y!$['>NP`V,K5/;
85MM/#[&&I..@BM#CSZXP9F,'H!X,[AN>P9],"I1D5IKST4>$:WQ'6+:"8ZP$S,
86M%3/%7<L2)6%TZ!M2*\N<-O0Y$D6J_VN75'.?#G&MFRZL"N;XL7;<T";KUDC/
87MR=!!<;&RD1R"(RNKE;?#70P`U@.G6M='3^'%I/5J;A?/L=^G.]T#ZMP.3E^>
88M<XQ]J%1:303'%JW&#/`59;>4U^GT9/TX1G=6P0#3T2H,_8Y.=U5DV93T+"R/
89M.G-X+SB>CNGR1]?="1`-R0EJ)<9T@M[N0^=SCN>#XT5PH!41HJ=KC<L[FREZ
90M*938ATF3QCWQV<1+ZD<^P9,N#;T/[6[?((@$/[-."9-ZDY9&0#!'T17&L&\H
91M"^3J7@?\C.G'3>8*U("D`\&B&I6$_73<JUA+),C@A/)DU_7PC&:V&K?+MK.1
92MUSP^&^37KF.#[JRN.T65D8QB745BQ5:61KT[R7J<I/S"F*/MYAP+-9,QA&08
93MM2!-^M4I)!I`G?=1N<5M441+1F1?:55R@ZYIK>NO#+P*717E0+@`JG*1+?IQ
94MDDYGO2U2H`Z*=CU/`"@ZHFVT"[Z_Q!S]H$G/.\"?Z_%8ARM]'7LC<!W2(@4]
95M5-FBD5X'5%T;(2^@4;U,",/=&9]:6[PNH0"Y;E%7N6,$,H(<HD:M8J^BEUJV
96M90\R49![L\]ZQE,V3JU.0Z!.=-M++4R:IFVO<P]2:%YW!WPAE\*M*[4\KH%0
97MT\E_3CH_1ZD-%TJD872ZTUU1>W6XP5C#Z0<ME.A(H420Z4=W.I4``L`0;9<I
98M>]PY>8W9*)"-T%NH+']^&#!+221D9$<XT0UVUG9'DEIG,!^DWG0>%+IR+7@5
99M5T%[_AR;+0G!U)1(`##6]L*PB,,]O!W7%Z?+)*2G7]@`E8RY^R,*IE&UE3;>
100MQ\Y*>[T-PO&V]#L7F#_B42*+=+:5O%H5"6Q3F`X0"*:*RMDX0CBE(J28FI^8
101MLNHL*-JT>8HPG?/IZA5;#`D%4F%#>>RTD?!0HI*3S%7-\#8:BT!*:!EOMQ,>
102M62KJ<4=4\.L4"T)H3Y2ITN(:,=UF0*V=NAH?S6"$@U=96W7/H??0,TLLTU;1
103M(^JDJI<8'4J.@Z4FUG5QR(NT<9:T2%E6[^Y8L#]-K`]5+[+/<P_,4]:OF7F=
104ML**J;ZDCJ<O3O(YDEPF!=O!YZNOFZ=WJL2C,"#60)DT9'M"`-[U-UM%>UCG1
105M)_+5>=MVF7XV[B?2%64+P+&Z'$4?DR2Z%$+25'0Y%D5GZ+5.^42Z8F+"B[S<
106M4ESL3T6A`7@^ZB9/+V2*3YO9ZAATMX+()<`2,X4FE(EP"3>];:^@$]K93E;'
107M)F=8M,W$,HX8#A.,GM+"[$PJ788H_D2R@K+:"QP=0S8ZC^U-%X[7I7'FARXQ
108MS46F:&6"9M(;"[TL13A1"+7#";V-PCMZ5=&>W%](587:U^OX.:B:*6XH<2P,
109M9;L`\+KR/RMR3O!URNU8BJ2FPRO33PV!`+E'[Y$PB\1G^D2>,KJ=S:P"1B:S
110M#===F$/U/\C(>C<6S?KQ_;@")6(2"AM!<%`H%=]EKG&Z`48;HR7:L%M9RK9K
111MPO;NPNN6K")5E6B;9C:EG2$@B/+E'!5O_G_\^YEGW[G^3-^-;_K3Z_8/4/6O
11232__Z@>Y?_<.S_P8`!HBUJSH`````
113`
114end
Note: See TracBrowser for help on using the repository browser.