PKM[<META-INF/MANIFEST.MFMLK-. K-*ϳR03PKPK <ai/PK <ai/krr/PK<ai/krr/AnonymousSymbol.class}TSU$,%RD%KZB1(A*xf!Ψ}b|h_x xyr?JfIL&sw 4˺F FIauK_VJpnu-ɥ3G ,04ֆRq10xuoet3z3fRjr_kFUUnZU`T,if G60i܇00R%E߉'K"#qfru6o)VjlypAΉS2 \\E;Kp/O \1@(CƀBm-Y+i>bZe0(PmQ;ܲ*7\7o(Wx"/#d\Y "$HwgEʞDgH׺}pW~|XH]!̒7'ZϮRe斑LMߡ:#vV{ZM+Ql>wݧdE9åpja|H}Q0OI!/cR) ש&`r¼M Ԋ#퐌nnʸ-A9C'S˽e ;eĹ]_q Q3&gaLSxmc~4hu%',h\{)f~:1B)>c@6$]]r?6$ ұ)2Mh.n׍V>YF-e'TږRoZ$&Kg1,3;t?^*{r!+2\zRtCXV٬}c%R͌l!c8qAev-A c JFymhtZe5*-g404C+" 1KʚjG3fJRnGlg%!s ;/ ~E A([IrwU^ k4VM15x0Z[guje'\ZW5?Rimч ^2 X6,n6r6UKalfQo;B3-uN0ۊV Kg  ~r4#9U[Sh o`77cmDS$<]Ӆ0H6Koe m)-n2?th= ׶"C7,*:MLğVE\5lt͆ c/r(=\N˝Ei+ = ~Q~1n*`d$c"&i.Wb!ۇs'`wǸ|?+?,c`# h"c$Dj VH E%!dzeJg>/ %:a `1^}pyYpJsǮ.M_~ c# 7>I#_bn:u~I'`x)4쁈<^?;isOEOW,>>~iir;ǟ|Ԡ\.I9ܲ%R~<[;\CWi4Q ]vG4(% xq~3h~>inv!!.?DкO2$D?6߶vG dd՝PKo)PK<ai/krr/CharacterSymbol.class}S[SSW6BDR[smmt2&ѝ  9zrSW;}O/:ӵw61BIr[B] annv*m^v QxꮰYs Rhf0-.es 沿2Coƪ^s0m5c:zIs[5,۪ܫUt(4* M\1ZmǰjڨjkeHUlls VQq zzjZ̒P&}1Dzհڜ9 Y H>k:9[e.ZlCk]ex0 STJκA QH4@ e.Z5h0T,#`Ͱwm۲ecH&1o':,y&92x BN2H5`4eh5kV[>)V]c2'tX96h,ےkd0'aUZfI h4(9g삾ha:ɯSLA/ a>8o: 7޳n'f;P!yҏqEp…/~p #*qx 0"de!˩sFi\piB|.x9t wьΘ,7~Dx]\ J<ԩh]'våzS&L }-̭bWH]qOb ܆So^Cqy;MZ-nO6?"~\iuA,|q{Oۺlvo7\K{ ho[wPKѶijPK<ai/krr/KifSymbolAdaptor.classY |T?$30LKH l*@CF03Pĭ֮J"hkk_?ŶZEZZZdL~=޳syʿ9FDSҘ#ŁmևX8 ;2?ZleFSAL@ЈD+b1%Xv)1 1(l7lDSFmCMB&O}7X$jALC|ܖuL˗^!Lپt[V,]N42_dh '>? -rZrejQ3K[F . c,BzԎEu$?_@֚Jf> ɿu:-u:/`Li4`#E2\ܵufI8CLvH$@2gMP ǰw7?s\tSm wꎈjNRQtX6F8B53᥻;IΦ0jyFo3y |'n*@10 Eίw`y[O޳*,2E8t~fc꜌.';k 6P5Zg8ІXu.I^18k}VoT"#WuZ]88``?+E.~wFij3+%  X?ې^+^VK w$PT>v.?hFli1".NWAVHcp;K&rjv&\c܄|Z#uѡ] Wɜ5Mlݫ3t-\lSײ-v w|tDVtg:$<5ri4C̞5+tmAΎ5~QpZz>C?H.9QYc[4 F#tX-]()]ߓ&u~Nߡφp{ɸ n_,Ӳ"O4̯uX}30  1GN 'YD '12wcIgc2HG02ؔ8ǧ'`>0VP/U2{,ޓ=zcYm/_}O!1σ6*i6(UA3<9{a$պ?K mFgqCcgICcgYCsQCYӈgg-.:<x.SissO'F<=Mxf{xl3sm9Jӕꃴ嘽yV' =&SеAs>.C|=<OgyFy:=cϣ j܋KQz ǟNJ`x:ZH7RvWhnm;$^z+o=>uGt}J_g=r=#q ~xXX:JCU +9L,9JςOsndSeϷjZud;k4"y`~ Rt)oUT!!gOԘMT.QzlxBiab9(xKNl_$_ۖzGi"yZrd}>PhZÆwAK٥/ep~pLE 43i + L-}DQ 7-$4w]4u (F'.ۇ#` *\£W%&$WSU𧩑*şSm7_=4V㼤2lK|ԦB0Z]kJ˺Iҩl0?mH[ [Q9_Ut!_G|=6AH;i| 'f.߂6O1;7+HlT]2տ]<%P=%lIȿA8ffȱ[z 7+9c%9XU7w P>$~ =B4|~~Zh?IhCNR2aەT.K5pn+n0,dtu:r}`ݑfn*3Ֆ{W_Vu""Ga;鏻e߆l ^Az5%wIjtbeVF zD,) ]!':z$t{ ѵߙiBw !n]r6o9̟eYݣVG#Y-l,ˈ|,ߣǚ#Y6|9vÇQٷ_*)d[^w@( |0@aĿƵopQ >4O8egGt5n;N'=C)$k2m-͙x1\Km$9M9zaKVZ r_㊶T3 ls׵y]ͥ(|G9 9@8w08k)џcCWzȯɸ;}4zm90.̑ޜ qIv`ff_88=<{avr?Nߣm!\MaZhT,*ryi6VhSbm*m{6Ҧ5 ڡKjLޏksZ=ͅum@z9ahLCWl?B6WNR'3P3ud?0R?Xw>얜0(@6&!:(+\n_4_;4Γ 8Y[EՔ]L#F2GS}.%C語n&/B©ՑOԧY2s ^"ɴ7?OFҵ 6p-DZ&jqբ)VZ4v[[>O)?h]/@$fջӽ4oTyRɨ=4@Ǝ4:oehf(%k+!ic7}CrM0nLy-4MjQv;ZIҾm/\O+'*Ca!NÎxRGq[{{2ıSĆܒ|Q_̗]Vq:iX́*!4&}&va=}D{\5$)rK.4"% ViNKqi\w4 ׽ʰ?f{g5Jf jt_"=xlLVxOٴx2x4v%ԘA $]A rݥTvЬ\wyMuWtPEsݳ;0]A9(es;hHʰ=fM. z0]͚hI%qmh&.ӏa}>LH$qmxqLX-9eY\} 8>(2Qe@k"!6FFZقjcqBX+?PKsF.PK<ai/krr/LispSymbolAdaptor.classY xSe>i%ղMCB*RޖH$eQq_PW::hZ;,::8ξ {{mO;wy04(]"uֆZ+PNLٗ7K[%k/1v`66F8RZ9o1e.~y5UL\42D kFiUUV.drr2 euL?40+V,[Vu3&RWLv9hS~byons4io{Э[p)*si4Pϳ-z5.]AL}Wݾfhml*\4V.Yr {/6`&&&}7W-p}.]w%..4eO/c_LLf*K^>cm2$ѹr5X$Llmq<-01pSfzA1v1o\c)+~Έ2 3uD̺@KLȣ'2֊ueFxb}hnQ2.l4KQdt 5Z kMqc{pKSF80", 8'9.Dk[&x.$LiP*:N@ҩl@^ 8ٺ(QD2im})`Y_S1ywN%uR-S}|oE8 +h%5Z[ؽhV!n^菬>tG!9jBRi]Lk䇭1 I77]?R58-r:N]訑6wf& 4f8vrNEM]L2 ['P7x -:!,/# ^L @,kt%aڲ}^3eFW_n,[]4I.;݉NK MFآNwPٸ>o4t ˃냡p8vvZ-#4j;EIM +ဌI509)Vi7ӈTiAh(aG wu YzLTN1j TR$4Vmj$e7!8%I oJNDwGE=z~fS?dh)'1A,?QKّă>G!${䔁z#~BeRDT=։tDFA܉]0!N|- WkI8 ;bw{D D_ :}"1Y@D"h8Y4 i E0϶A{s}N?p DB?hNK4?ӿe729;8]*}UkK$`Z,b*IGL6FEM99:gJ%WCvU)\upG*'_ѷy2c"s#ucasBE|ry>d)v.__]&lTbqL#-VP|ƹ'$o uz.p.OJ@rA 5 D$47쌘$͋Ny:/I*x㝃π:<\EJ夣< Iΰ~ kxs%a0.@1u~J&cӒfӬ(' H- FWdFtj'?%~i[HT[ 4?jq <(l6¢v>4&~ZD$D S5_lÓ8@8/*HG)H:$+9C&|MvrID91"=1q6ƮqƹIlU=t.j8HkPNq@ FO?Dir+}O]F76WH"n8H\ToJW]5VnpW\ܪw['eW;zh;{d? 'mW kft#t}3-ԭmTEwP Nѝ@wFBtm{ PJk7G^ߠYz^'(Fo!C>@ jg* ys/>hIW;_\IhWqݏ;=,AwݪL]гh3ǵ=RJs~erSYt|U*wp߅%&W ~VNw>!m:fdVϑ 5$JfyaEǫNI:ϓH%H{~G9-QDYh7fHC[xd/9JY=-G<%"nN ~Υ<ΣSyUhҰxIHU]U( 8.UGEY%M0evӏK#qNcBUlRNN?UqUzOS='ρQxQ rp' /G=1&,!2GN>p(I,岋ij\AO%\I3xvW%ɷg"X?7-[a9";h%o# E|7v{B>:;r3^(`ՓWXLB58iE[z gŸ`UǸ|Gfr3O%Wn^8[آ:ĵ7ApflM;IWu/>{%'~OyMgh:҈Egˈi>OkZ2f#Hy\ϯ@:GiAJRz^$7!ѽDUMmD/8&Ĕ]e<!>i vy?MMDᏓbe/\Ċcbާbc|O+y/,BS5 UbתfClnU#ޚ=\ [ej8"('iJl1ŗFhrR6aKbND`LJکH|jj zn%ئzkrޚi˔܎{. Pz,?{cH;=Icfzn+ak3m?9p?ʛ _y o-?}3z|~F_~yUyߢ?'|ReH.I;2ͦ \jrMjiVA+Ԭ / Z5݊vVCVKOhKPڷ#m9Կ>.ϴUl8hBexɡIg:Bb* )D Mת 4!CMgoS-ac~ NMNT<V^=~ed$'Vʉ;ox @Z Ղ(_kIڥTEh:jIk>%8W6y=АB7?V V9'9x\1łO~ kpm+Ԯ,$s,:P*Ў\ S>%$S%%gWk ! ?,ae_$a| spNʬIċofffGxXM N?;ɖ%[{|gm*SjJ iň|[ m鉕kz2tEcn"9P-ǜ_{Zh2ݫBh)Y-S^KV܋ϩGO1䗆VST<τH2ZhRzsNeۭh~J\W=Byhi4 g;Ȗd$~ɦCYwim:M{?I3a]DRKY4TzvflU 0_/mYqzoTד~7 z,r|gE:GO@i ﲊǔ APYz߄=1PKc-PK<ai/krr/NameSpace.classU]wUݷM4  B> 4 ZE&c;0̈́ RT7<  ]O{g:Ls9oO`>KV3 #3!)\TyLyhS;*!Ok Y\w3'U-Uˌ˕!:SAw[kY2O pT^~; > QkVM@[ZKRD6sV7,~ktcXU6MŰTlRM^~M1DEM-ADKJk6^CFA$CbR^&Sj ݈VQٜҢG\f0fEzUBLTݩXN/ZA6Tv'LhFGJIDW;3:f%d"C{Q/[Z6) 9vSafzG C7FovH}Dcb,YVB֬jJBh]KQٓH6b!^.*0^'! W+RRrF18)(tE cQXGI^V%\|ffkN]k2u/iv,D&tؾ#[֪\|V"3nz\ɇL"8uI;0$ 0l LQ4kƈQ> AT  MWFi &*4wI.-iD4E:;a-^  %Y ao#@BSמ>}JKY%,Iի>~6INV ?UVpcn _D NyiQ{5[/}缃Zn@W/_tA֕U}1շ}P=_B"6ÖDG_pMq@HH-"bїw%&|%/=JcOg} rC+DSTȒ^ ܫLdɊM"!^ dv"K#<)wө@y~QPg'M1U"~m?7ڔaɑOGlqNp0.R:vb'}t'k wxpp˃3] "'-Sy%x/מQ79Dʁ>R Nj{ ?8>kPL 6@ bcIx}X~6I]fF fX9tTA ~~ (o2ܽrSBcbelmnDq#|_ҹ,m<⧩N9<MŚ%I9nI,,Is6ol?4O<'bmbNi;pRiʺ~>g9?uPK9넚 PK<ai/krr/NamedSymbol.classW[se~$BSS)@KDJ M)p,B xåWpa/$Pfol0<{H__} `+>`HJ)MH3r<:73Lp19UfRJ&r΂RQuYSDztFJ㠔ۨ2JzF^:5E*KQ F‘@ 3,Oi]R1)K%WR-G4%d8yֵI鴬 PҜiMQO,(p+ "bZrZxbبNz `X#ƒ:j'D$k*b{1e(+L(%cRbLnn.V70vtPSh(b tƨzkxӻ}gh_XC؆VdeXΟvF ϻKD- >׽Ɠ%`2 /F eDR%z/;4SFgh#I=I.-S7JOɺQa-.ka5.R*iXr&%ih|a7q1C MR|*`T@/qˑ-42Hl*q%f@0 ǭ"=˱>WPN :=-$â(XPshdSo*7$HW/ _q(>'6bpn1GJc"%44r)UZ-`&2#=2 bo,Yp>XUxIIK"xh[PkvUdƥg.:rZd'[Rg ^j/6Ke܎nɅg ҬD-&S8ɔaӚ=No9PTeoڎ%4 z&z4G#!oet\X㷰ھ0oܸ8\\+3UAow9ĠǟE2b>qN&Qfs&v_C?~r!wJ1B_qh!p{0`/ jCx8(Bh#s[U,``Zˍ)#13FM߹j`e@4}Bϋ6OI-cz^S^ACjԒ9 e=Pq#E aOY< 2V 1z1ҒxGH|=1XI%>/`U(Y|3Ӗs|eygBTT=durNHU9yj;xfL,^4x$~ qD~"~~&.x@_]?lG,#'.xvvf1K44=G}qmLBfCIA5ř|ac ْے@ֹ5k$f PFnUiPX:xX=nd1dyCW,Uzf Xdni uMplh4/3ڂ+N ZIXłvY-+u jʽw^>wL`>G+dqZ O PKH wa PK<ai/krr/NumericSymbol.classmS]OA=- **(*("ESP$ʋv'XvqwK'O‹@De3]Z4νs=33~ 2cЌ ̔Wm+Nj7LW[еUW+x%ev.;5y,7zr ͓鸚.h2WO/C{8v e G蔾4V,3(Z@uY[2%\LDE 1;ؼeG,Щ"O& ܞmVQ+-h!|oqLAA\ET">706}D$$z ^"WDt@HLJ $RhvW$QJvtWS`[P I.|A6b7$>"OuZE᧯M;dXk+KRy+dWlR8 aQr׶O˥=4o?BWjL46ߐ^&nd[Ue4FQbb"$m['(TGen]iMPK&F sPK<ai/krr/RealNumberSymbol.classuRKOQ.}LFC/(T[A%)i\XvC;錙b֝{o %{6g1|s_}= ú{꺹'n=n6 Xw,aAYᚵ֭ u3\tlhzeԩ+,6P:Se/:uC +8пo9K7rh@!Y7<5V|ozdAAe6+\!QvjU]hAF5$r"R4IaaI2S&AxWw$>֜35VLa>SRpa=VG*&0f4\ES @QcP(m'],fJ xfS6N׸aH%{{C/;5 "Lm)8sye"ܿ ji5cK4GPrF (``N*efO҇XUѽJY눗jKQoץƜ4qCxbVOsw$Ǭ]X PK!~TPK<ai/krr/StringSymbol.classSNW] 0\B \8! ő"r#2x1U^mZP[J*9cTK3>Z{=>0:u3q1+mdٻتzfCAv&FL"ܤvFIJDļt}v6Fs~nAbQbRN*#fS~~NjbFf (_injQf2L( 8$y楤V5{22p%elhXRZAw6Wx]@ 8@~\PL1iPK%r5EPK<"ai/krr/SyntaxAdaptableSymbol.classTkOA=-,mWE@@ߏRZD,e]?> 2ޙv[Mw=Ι3F1g"°S)܊88 E[Y\& Og]tGL2l֕{%QүGd>\J*X``wE`H3D'c hgRkaH :]ྐ0'X5Y!NY٥.o{zy8H+1D,¢Fǂwfɔfhy.E@GYݫ*"ٿɴZk<%= dKx]zUsM#ECDpA&d8{{j}ըs2ECwMːu)܀a49AX(1x-pEf¿yEO2tUn4Co͇UedЧe\|X4V[7CrE^3ϓ)Z(CdfRu3mb2l?ˁ}ݑ>z!\:<<`CTc͏-d.+S cKiZU2XWJ>_yK2ϧkwXuC7Z`.6zhnvokͯ`F_#j|@; FM: =:ꭖV-O޸*';tvR.n@WSޱ*50=w+j4&a"4$C#U?X.ƄfI3,q1|=R|EHF= 8/8u|3bSlt3{y!& h#&H]W }MtF !1Zt>56yiwBk!d߮iPKUq:PK <ai/krr/constraints/PK<:ai/krr/constraints/BacktrackSolver$AssignValueAction.classT[OQζR[yC(b $$$<4!ƇX]mAD?K19F=33}ߙI=3L[N#ܫvSx+o՝*b ,I з˛ܰS76k d!<_p16`!k`*G/]ۨF"CGSr0W^\n:- J ?ֶ 5w[CKces.0u$ޠ.$刧 e |;ϰX#"<k6 h +6Q)BmqEzQםb P$R0Le/۠aixS{^%SFՆeo /,{By9Zl;F*3 :`l3ΦK[lWQg % uWB- aԾtL`!Uq)-P-Ø@ OM[ 0L # (O0I"+Jº 9*]upSE.dMuKU9M$T]2JO##̦oҿGd8#0hXRCU䫗QN} PKO{cPK<Rai/krr/constraints/BacktrackSolver$ValuationState$ValuationSuccessorIterator.classVSU< " `Pڪ(EZRde7nG}G}3Z-muu~q|soBNg9w~q {bjp4QClSVu cڄbZBUCز,zMDefm0rP`=c(҄j ʃPdЂ}8Đ7A,}/úl'LQeKH'_WeQ PHNW#ixþW}hOnaa3t:tbh]P RN< k$ R1+6Օ/92%f"]=ЋzD !  %5h|>yP$B9Cɐz%.9co7 KgDOr gL5i4M5u禼GTF*xjʸ1A#qaSJi+8wh(| -+`]4 'TIY\PmxN,_Yr&y1gӗ31o&q!WǵI5_Ie)wg\0YMg 牌%QxI,IYrg+,y:!3oy&#aFNWUYͣeZX3#7]Bu'7&,ᦥ`@-_.w FEH$+Mc(7q2ӎ qdJJםL!1joruM@43`(mE Σ[.wLa;Z.Zfy]{MC >McJX#@,u# 8HӰ7 >'fidt|>\@?3e^8֣q1^N[i9>aLJns1^+0'™SCkGp 5 [TEOebX"))TE`@<74=8pt9D -Pv ȵIXZW NN>spt,Un!t2Xw`# FPK PK<7ai/krr/constraints/BacktrackSolver$ValuationState.classW[~~1CHRbBbb" fURHeB,83K%j5U۴~VIڦh1;Kys|v@;O]7g,+Hl͔cGg=q&NNVӐ莙N1TOz4ƣN '.: JEӗ@tΛX Upi9O\ջ*q̲S"/5 iyۮeR_/r7JWÃcm󬡄9y4Edi7u B|fr4cc0tRC[5+h)p`#\Usu|F`վ WPCN2 +pdI=$+hqDʴ@5{> ö74ZNL7mr,T3m`uTp Kwr%ts.=]غlS{QVrEX%F[(B=i'5LHӣrp7ke R!)? ;?G&_3%ljYM>n'ZF$Y OIOcRJh8g RcRL0~_X1J<5G[Jx|gI)IKX~\`Gq/kxEuǢW5#=k0ime$͎R>>м߄qYT"ߨ'dDwFN9<Ŋ+$TYJW UQ'3%_Y^p-H ITA^{9F?c#'lk\w5n`ͶTe rX}ޮ3V7exPpm 2,uƓMmS1g:A~G[^C6Tsl*[G@m^@,9`G\a?CjM㊟תHu,1v ƛqFd0SIrS&ܭT>܃{xmV- ^JxMCODʙ}:hS&u7X뗈[gqOd籷m_g `8Tr,tK^_!ɯb/^}~oHP6duP ʆsC -Ȭkp}lĸ`m(wrm?if}p o0+%_]W(&B=p^/W;Tһ(٫8\zs{DXrc> #H}-o'{v`(BnUM2^ȵX+՗W*REI0Ց-b %|Vf*+>u)rj_p̀ PKЮBZPK<(ai/krr/constraints/BacktrackSolver.classW[\21hqj ZE*#ffj6Mc&Mдibc$ޒ6}/O}kJ3.*sw޼ SP$S3YښaN]MrӺ (P]IP l:Mkєk$nke ٱNs0u>񷢃9']kv-Ƹ),`i[ۋa-\2][PO/]?cz~cH k#gD{v:3<2RٗuւRrh -DGfMɛk5msp@Ik,a{D PW?,zwJA%-T%4s<ڑ!m+"ehR'dwUzȈNTlY1-Kz5mD}ݭOZdKpܫ;J {fWEY*L̬! X|Lj8ƓY).7*~z5Ysrƭ2J'Ti12uJP@GT|GiU` gѵYS&4GNڔڣ97c2U@YNXyUHMҥ lX} ▩)I xxA3a22n a8r0'%1tK8>A>P@4IOR1g>0((0qo:&e;(OMK!LLbÑbt= ASF\ M::m۲x R2 ;ǣ;e؎CnxeSxJ5֒C瓺O읡S솝7,-axZl=?W]G-~XT(( *$l Izk}mXz MzY6Mnb_5PLY /Lm n |J+n>eM. ɺ餒Iv@RNGפxCUr2 GA9T,1׼kX_uU㬞&uuɃca Z);w*IjS{keho>bn{S(uϣ7Ť,N.6ߛ%nXB ?Ŀ"\-a5:Ɂ(sR\ɵ< Mb[g/"xկ{l#ق34Pa;# WQz!:ae ʪ h*/A&0"Σk=d~p>cW1x=?|#V7/`BUwq"(C,EUh0Rj\V E///e}cgz#A"Lg$hc<>3g"Y<+CB8H S M)9zbq> \fe*zz2\}_dZ¿<^`2_u W/RWq}5 Ͼ3oW){+ (r94Z<{T4m3|Ƹ+jg#_RFVF+z@%UZSi=mKOʬl喴l3&myz>ΐ1 'r iLS5 )YkTR^NI _6_h/sB0/1&DfaV(+lWR?\j )okivbP @`Cy ; ,4* l P}.WOG!mPve^'~|pDF-4sUn٦m+WرE GJSJ}=TyVmꊭu(@XvybjJEW-+JP,K5yuU骮5_NQSCÀG(褚jiZن-يݰ~0Џب ?!Z4MuM$wr~$$!1Q0 B:Db{6g8I qK "Hjh/ުi u^Y쨜j%/{ۍ˩7h% 5C8S"NzHᘈ3 {;+g^Ss bmgHcAl*zC]z@t.Xx /;3 bt$mrpb#)2u.4$IХ:.VqDVuʿPKpIzPK<*ai/krr/constraints/ConstraintNetwork.classVi[W~/A°E [ UpX,mH Zj}/. < <ν==؋TiFl4clƲMVL֜PP)xEbi-3;7rEO5Ӛ9s%Аpsզ\023u= h6LCI"lf'G %- òiwٔM,ݴ N$=ɴ1#HtP7҃a Jo *#,NaꩣK6lTNfdn^nBlRK/iNV8$EE3lh*DzJƩk["wX*mL)J;U ȸqWVJVGI}e'9Gkэ=u%1͟MK>+>X谂T)~4fRqX!M% <ɔnDK2.x 2r,>|XO1=*SO9WPGnD/#3FddҺԙ}8)Ctf毙Ȕ-~8R$G,/|jڧH\V[iN-MjL<-*7 'J"(-+M!F˾Ka"ӚL`Q.3_ƫ ^az`BYE O}iT1&.@I"U" idJD>?$;5;b qafgMRRkyh!B*eU5_j+*ac9#^ by &a:71dZV2nQ.c{͐ri\ O+3ߵ)=Ã/ruhݪg]_'[ԱI@\lL' YdDv^@~P)+)|@5y+y﵍uɱµz4pM!1;P*2+6lgc҈ m?Orc[:uhÝP۽%`U wӅ/`c=l\@Wnvd , zg&BoFZ39z8qǸSu (F`}C]8Oa+o:/PybNY.Pjy-88$6Ʈ"CY9ds 3w -0$c vLV$Q Zn$`p㦥BA(uQ~Z:mLd2.?JI.ʐܛs}$?npj pƥ7SAN2Pr )sĻMX3Я1\6׸5 -Hfp$! ,6 Y`(ȣP@P| Z/sȕLe2dpjXjҚU}qΌB?֒0Inw:Ĺ\NJHjm7~f;pj,2:1]fmid= mRE`5D面 *tSE"qmT)/E HQa1o|+Jjc/ Ș0:N?PKߔmPK<ai/krr/constraints/Domain.class]? 0/ .犓8 XBI)WsuMǻ|h1̄gky^Ya*S)sЧ#fƻ.Jɑ!,;H Ldih<.%?Sa  *MDT -E~s>CŀTQ7PK PK<)ai/krr/constraints/EnumeratedDomain.classTnP=7nIHKWft"x P*uIb8TNHHȞsgΜY{Ax4]}ejh4-SVS}hչY)𞶯5QUx "0'|[oCB CyѲZV!\Ы jav=@%$d%]P"7*</D1Ma0,ܪT+ՈY,oZQ3uqv>kW@>ދqOtLd[#KEz'sbbar Hi ØӖeS; LG5 00ioQN$ 4 \UpYpk]uWU2LٍyFhӨцI9vY{qMоne,SoTFᲁ5+hSA 2|[s~EbK3a =ЉLmI>'C2>P:C:y1JA cN7 @jvs+$mK91հhXdD=Tuhg|#QVn3FKԶ 7l]NPKEtPK<1ai/krr/constraints/EnumeratedRelation$Tuple.classS[OAԅ"Zn TP$$`|#,.u/$G|4B4!>1BlvgΜ}ou5{{ndmo9*pA9V5.?dqgMJ 0/^T@!~\m0ںНOs zg<ݨ;!6E?RRyAC+ʈaZZfd>N# UNRdU\(uc&n2(KEp!4I:6?˛ID*@gb]<,t9GoTbyv#s '^f|kDי_څi BV|A'BѷG.)AVdhԻ|KF[;-;O,>a gq'L|@8@$3]hdz3Y ʳo_I4VCBx=+UøHE <}r_O8%ꢌqZ@%51)ܣ hcmgFJ+CDPK;<PK<<ai/krr/constraints/EnumeratedRelation$TupleSetIterator.classOPǿ1ʺ"u"󷠛lҡ!J4GxЧqŮ%M@g(㹵̱mO{~0 C ܱ?Pdhz[o˥{Ξ+BI]m{hI # kG:}0&D}0ʐj8@0NIYCnu#r se%s2U8cMqao.HБ%c`H)L⊆,CLLWqMW' {ܠ>TӸ[n' èӵzP\QS1%i}~ ,*VQ;2b_PKeh|PK<+ai/krr/constraints/EnumeratedRelation.classU[SF=+ IIDSL!!҄K%m8&l (5rF3{C1/}2 3k2$0~;|߮ Q!1LkF;JkXa:vzͬ蕇zUs)#T{~T/;2B c>^X7C 9]GAvSsm?dXрn3ϋCg`VwTL]WC/ wv p%SSE*}Jᢚ8i֡!P[]Ė w}ɍ XA2n3;` Ðo?4ĂT#ՎHhNqge+Ze*CV5*ɖ ðGrkU"IcCN:@pjԬFqF[>( I]BaR◝ PD'}$Xb=WK|!E zh4u 5Mܡ:5m)1J'_ֿH_r}[4:znPKƼqX PK<!ai/krr/constraints/Equality.class}]OAi,EJ)guK ~L4XC"^MM]Vӿxш(b4b9^<*B@ [<밌ٝQ<~+)}.x0[aFyRgPs0Fh޷gz@2\h0Nw,埄&{z|:,GBH%a?W/t;Ů;rrU5${-T?DhfE6D,+PKsmdPK<"ai/krr/constraints/Valuation.classV]WW7 N(EB0ƶJ(J669!# ?ѧmeև>Guuߛqabs=}ι?'<h0܆V细U\Ѱo9 1#ƶjFi\u 6gboRUuh xV՟mliU͢[Ux@@8otMP"4VX@\N/Hu|XU3:H0 IåJfpYqNuopY5F8W\q 9.j8VveUVm~ !| RQRZG7I&@g_c[JtUm&UEy cjY&$R{k gN(Xqold ;64r^aaV1d۞v7B杪a{qtlbNa)Һڈk&ӌNwYVuRƼGbY4?+4EL^{\Ck'$ 88̝bGAXw .b}%z Kg]]|8&Hca)=|ŭ'lDߣ,K{-pgPM2K G-#]wrFܑ5qTtGtxCBOĶyV_:iA4V: !\6CXaؤϼ.+g藘YV[պ{"= ]3%Xh=‘ ϫt8xkOZbz,PKyul PK < ai/krr/fol/PK<ai/krr/fol/Atom.classY x\Wu7Y~Xv؎F%1^d9EAK)vFYgybJ[HKlL4j్$0;&, 8@i ]hKf"[_;*_{3g\%x ,:n;=X]ֱ9bFft("fB@/P9|Sߖ?ԷzcD2MSr Mpf=ݱFⓩ%{ͮQ3!AٔHhW 3 QP_(6=&P5ECne X=XLMntɎ0G`OH2L%yh2PjZb2<,{pK<WuXf`9j Ƴ` 5Rf|T"@xG *o) (Qd(1J$7J捄& s9Udn2 ˤf>aG;: t]qK'±LoK fF3+PM#E|)wTh~m^̑D2LɠX M'hFi4w'hI3gN' j!zRV üc4 XIFZj(ExЌG Xd:7GcٕrcK>QYE.0";2IXW2ogSs W?I,,X ewႁ?Wʛ`-Z߰.!#ܥ͖\4K-[vβIo~iSH{#E["Ju.8Q$~*"jK‰2jW ! *ғ/̳uG,fqP͆TW3>waI4?CXT?: , ޕ]D*4r݄| E[\R^)Ok=%ex$C)\);Fk\F\WyZ-w4>g~\{qI. d3m~/=؄>߂q> خTL) A7PMy"2 pcsTCGީlo0~I3ZP(Z-h0Fd~q+z~Pg.bkw7w{mY]YosyQ?ŶDq21>L&X:m| j"{2ɽ2k{Jͯj|-z0 _ }>EVhǹMx 8]|U|W!5jy7A)#@sR3вE>y/we\!h=V C9*̉JPs̚),QY6#y^rSCE3:NqOw[Op{w+pċhK4ˌWߗBwdXϔ9TDk0+/ IO+PGH/9mSQ Yir |ra{r]8b yëˑEx(gǰU|-tY|%U,o($YWY-;֭b!;. 7UֹY3 zyf8#Ve·;\iTLץ ZER=z{ ]GL~O3J%()d?kmvZ^bP۠g*ݝjZsԹ4FhO>]ZTx?,3,c =:4; nKh|hЦkkoҮvg4|nPк}A-1L!c^i՗Qz&L}fEV`Z̟LDPK@yH PK<(ai/krr/fol/BinaryConnectedSentence.classXytL%YCʦP&,% $3I&3aVj[K1` =nj[+jO[=}|3#/w߽߽9peG`3iU 0T9>!vո}!mUw g0<~_t{.,L˨Y\V[4ڹ%NOdPLYb"+5Lov.X E~;`W:8'yIE^j  s57SM 5!K@u!=>weU: R N"ghc1qĢ?D.(?sb*uwdX0 OB.#]02Qlne Ϛ80VM#CpQԛJ 㐩K =dFN6yhv b.PG*3+/'˜`4O$U#q).c#c`xqgt 9K\ ` +Iy%fC6ChTZd/+K4yt?{fGCZ'қ8Zڗ-)a~ŒR%v!sԋ }|IozZCXN4[Zw_0&@ݾ3؀ %p4YbT{TWllivސ*ų[4ݵ@K.DpwN5ׁp`0"@lKqJ@?xPpA ~,ii aDnkJCʪ?%b){*+*퉛$OĘfEM r Z/3H $U7C]\[w{ru`_TY{i~c`DÒC2ڰ[s"uE8gXi/,Us]{ݫNoqδ/ڱ3U+@Xb_}9`ޗKtcoբJt>0'uL~ x 'U,1sC.jq&\q{]Za RsTJ3yZ4I1T–4aE+%+ ¿IPZV78Eu7HyAmMXcR쩌ܼn\ԉmHĈH0zĸn?0'sR4ITsj03sHeiB6Dot .g&YvNf(ªn09l:O]q^`H_BtMzfv Mx ռ]8*](A))۹OqjV;QYN gU;.Zz?jgwwl[nj7B8wӗMlQMk M ySKLӔ 1jlt}MӶfm]tWۆ!fiF5d(kZjdV˩znbﴙvmҬgۅl؝%p6CG^&\gaRjwi3c||'Rݒܼ.&v"С[-ϲZd?~֓I;bOB7Fwس3vAi#[#mH3?cH@C k ;hVyYybdvʜ0s\&׮&J=?ADzqۭgm}0@D9T<@݇iNV5֔ܣm=aMƛo6X;BQhLN`=9_6+/ 믰_@ѼF܊hxD-"Si[y#ZpU#Y%:,Veb1YҶ3u F؅" Y/p苻4A!G&[&]Br >K'R.2$3!dL2EddRK\!r4q\ qeVHyRJyJ:e&}_j9%m~O*WKJCG#&F{msg*ea\ϼE<ga3<1K<ܺRqKqgŽXeb$[cJQ*| .ޯBMڅ;iK/4mzUD#džilR%ZAY|xuM#~/YzXzd YDi$jx.fTJ,Uh/nEZ9㇭{9V8$ NJo~[xOY:NglWr$&gL%7%rs,X'r"NMrHY'wr]丛oH?@aW~ %Zn@4$H3mƮHÁE0_qe ; /X]8ZH"X+pFByx9N&.9A*~9I5:rzX9E#^ޔ8i3ph'&N'Gk #8Nwj&_0:n㣳XwjV oTB9_r{6b|TȔ?eBΰy4{lS6UD`yyE$Im^r`sTZOO 8TX8WO4.яͤ\bNnVȏ(ڞƞ?9]8r-/Ɩu;qÇ_ZE<-&QN!H$F$lD?ۋA̅8iS6~]q:8'#Q^կMiT+S PK* +PK<ai/krr/fol/Clause.classX}X[@"RBG (jBi)ʖ.[mHM҉s:sZ݇ZJ[qnt6u~/7=css!Y4s=~s9 t͉"ֺK[wģP::a(jbCj8DɳxL F)̚$B(Nڈ(+j)UE]͟?3N-h'/%z-)MF8:Q-:lަ-xD-E/PF,@t55cv J%UPrVN"`֘أqhTn0ڗTMx85mxtJ#hntd@Nrv)lhf8ᛉKXAΒe{\P3p3Ш׻͟MyƜP$g+#freXdx:Z)F)yz&FZHw8K4E:¡,E+)薞Ca+% N'DjXcOz&#$ӤqMD[2aY_,oS'F;֛/.ʋdla^Mq|z%|EjuSê. $d:PZRyCjo~@fZpsU (Z,!=<\ -d:NɏD!nT(&SQ쀚Ȣ1+#qa'bԝ:iIRQz4"ޜdB&es@Bj&kBH2f)~A"X7誚e1oK?J1p01Ycf7RT5sAR\ u 3p\0қ9NpCʴ0U= .|E҅Bs>QT|@w,|rlWYӛt*+6?C3ROvb,Yb4W*^|׉;Hl9w.@?C*q|O6 ~hmyّ RwEFC=ɵUD&s`2ҙs̺xBجfkN/b0V6?q!bm=jtG-1{ʝWcumxmn+Fo3 9s.B yXO;]:ï zG)ow>76r^\FoW3WM&BL?/r|#ԲVBM/ ,5q.Iε3◤z "(=--PņؐXjs1! 4w0Oy}'3瀍x2L^Sc6Qg(~vlTUkx#+h F&MLYlXو|mg V>gRA>C|JC.{8pXNm*f*Ѿ'KD2;prLfgD-ʘNJ;jo|LaU+25-I$$U}1LdO{ <^}@@5Q8Bo 4 ᨁڑGXa"$f ?oȋ\%&Nj,-K,s ʹ+ WKīrI xmaorH$$po4ޔ揆5>$_ W kffGVi1 ?~N弭ƃ]~¾*tˢE;D1 WVMjbs׉s3ÏbJ~48m5v_$^qMGw߃5c1rT~nN,@KE#*"ĩ8S,FXbzqB3wnUv31i!n6& ێ3ød y4]ìpN#AvGI38FckY2M%'g32DMEB;+C#6n7)#2"X/PN=18x8mv$\ljzn.7~ƃi>I,e$=czB>t'.z?WyGNM{NgكD!Nh"#.F8EJ܃ =Be'5tE4 nWHs]eAI̕-e=6,vm2FHi R'؛ C s_nTl]s34>H茎_v)E&$S5Y=eE>_+욂yƆwUv+A4e:ŝ bAn`UU[ysB< hST6s hnKXb|;%xL03IGW% sBm22)l$I E<Q H#{` `0&$HwBFnzҍxú!0b Շ;#47J$Bw;vNxJonmbB&fatR;+38iQxar|$`xM(Rd'C|f}_T|B)2C ѝ}<9x-I6Bt0  !!x]TwHZ S 6rd"O3(C dnӛdkG%˿HbQ]"h|-3y3PK.FNPK<"ai/krr/fol/ConnectedSentence.class[ |Tչ{d!$$ %!adQ@pcHFf"jծj(bhQC(KU[lm=^k^kj{gN@jG[3Lo B;:׶5W#`k$t j ˫-\vU V vzH5<Թ)W4Z6s3W:G -lwsQW'!F`G$ĝ+C`Y%p~^e^6o~@(8=L 56ZCr=`Q`Ƹ1Z`@qsu]qE377XR :MGΰZdU(wÑ.[L1bttux0MLHJ̦gxu5Xٲ&رLr*Qh^w,RVwFBաpd7>wp/TYRstLLEnr`Rj+sMLZR)&qDjL,26TR%1Q ܑyWURfSύarۋL 0.YǝQZ4WiL/xP*G9u?xm%'I? ZX Op J''xPKݸFƶuk84ZL2rf% sM8tJsVt4QsCpj]0Rl{6q4Ԗ1DB31l ]F~U*9|Fu4;Z[m-큎6"Ur(bk6B9g6@5ZG7FZ"8"WqVG{G@*?,緵5[[ִ5+}GS]p9[PkYsMHэ2-gbS^ U/ޚtON7ɡƲ-pfe[ۮb.L$)3pNrµRhkhzd3Zs.Y'1l >fPLP7t6J;m].iw3$;|kAkgR=ƽQ`Vj&`/i qMW~Ue"ZY쐖Ҿ4l܍uʚCM4S3P6F1tn"INg2塚H㊴U.j N~b2 O 6"m?YDڪC@sX9#_WtHBl{vu㟘19Y+7Rs|Yg}|@nl][ٺofelyכZ*5TJ5-5VcdЉK-0P3ӋT|!ߐאg&>'rM':%tZg7׍fq&?3l$(S)IjwL |KXٚŝ BH:(qFԩ8+iLH5K "cِS,\ PL=[%"0KG> ""xӃb)FK'4XITN )Ɗl!2$YEm#"1I3'ן(ivEZ7d=~L`I/RBb8^gYtNW_rEJMqiyuQY%̂m9RPxAK{db.EŬQ`UA2b)ELT&|) e7ƔpTvԲUv!J,qiק5EB[["fAί3%}us4C)`K栤l)VH7ѩ%YƆ%i$_.7`ΦëLqX)Il YlL?S4B4Y`SHv87ʔ@כ ai-P{Ar9-1T]\1VhsaQYH,n mZ%0*#'I؛yuZB*W&8epC&kS(4KAD֊X;TjdZ@")k*a˒gA/ w2fė+Qr)2bG ^'?mFP})tbCurv&kbih0%[欎aY5ʃ>-NRy+ĥR58l^x_>yc^I},pL'BFraɷ`@א!zn Sz Wwz]]Cjz}]CzJzuO! " rއ!G0yIEV"f{ 1Y bT%ePv!dQP|B3(Q(zo= 0fkx`LWUp)tF=  v2%bZ$ ؎,dy{c |+<#9 VF"1 (scύgCbXUDeO#ҟDJY\E 52MH<^n$j9 E+6v+5tR?-Ҕete$XhxW*f5qU\7\D>P83xz8+ kؗF4\G9mqm4 G~ޟS|3.}zއ4q)>v8B}LX(XL6~>5iN)l- ̛+M|{bB n|T香ޛ*.dxEf "cûە ywh$$2" A^ދTH6Ou), ⿫,襮.xYنʶNuno+TT.re{'wܢ ){0 P 8Bu.~s1-\0FG6NLJ1 ETld(nQbxLLAQLbRe`'b2>[%%ʛ5=):vjJ;swFm0ŶM,rX&a%<$<'hm ^v2,7Z8*bV-'$㒺;/!(8"7R&,d_!Gee,#w߇I+e,Fێbl&Q nabwf1W܁Kŗq V}<}4l ~[PAeS_gP@,6$^NJt  FwEaă$#kе]63a y##zD$QO$3"Aԓ#D=G'QϑQO+AOC{ S-RMfxShEzf?ao~>;5FTL"c*S"ъrب*{ak'໔{໔Hl"ϐDR$1kg*J6$MF1^Qy$_ԃre}C%Z.ekKo^HHI}?Sυ(Kbӵ12IJWeZtaJ  Wu?7PYdW3Lڃ^ᰛ,H gfo]'Ymqj/Z]nŻqv YBHdk(F|ٺ:- Z..&8cf}Z y4X*T`'KtTB#K3,4,!KsG%M^,m+Ʊr.dyji&rY藳iUe{ؑEz$Xel{'̹!Cw+Cm~׃?T':rp+tI/?t#zFkç]|iW%hT ]$Rp!/fmk8#!ngZ*8kEMFL;#Hc{fVhZp~0HfJ rJzR[_ξ_;fӍpiHdh;1^ h݊rKETȭ#~ .B/8}6e˳"7'},?)F'SڽHvи>Gظ&+BWN:Q xQ,EJ*ΐnQ56.e,2X[/M½Ԭ®ו#FNѧM{'{DV'˳ey+ܕ޴n9lOQg!](kHl=b"Gb|. Cv ߷>7^2vh@CCiZCTȖkO}4Lǧb2 ',d|HubA%@HUZ>c_WvCo8$ZQL >aaFA\rh]HS☙9d/RƆJX(`p؃qEPz&tB&z4~b):,f 25"uLHVePV@EEݱ*!?(AXQEź K\VOCHMz:nYYK}܃Xѳq\qxO@?UjU>e OUi4۬ҩBh+"ՍhBf\(@:$% ؠZxPi/F@m|b!"EaJqO,rj kjMjѩE {*>#.pRrhT}xwﰸLã1\8}:dSUb>WFܬ/b|9f^P#W A,gG%X.VVRVZ~=c*UGԹ0#SJ#~y-T'+܋tW|~%}dό '%u#][3,ĦK $±݁n6Z*97QWkut(7<mXc z"5MBmwkqX/eɱԷ;"I8'[K԰ʪPN*:F'8Vm#\~̳?-)K_—N7qmѩTᘛj -jowa~}ٚ[S6x}6eQQ{8Mq,ShT]w#S&{ƹ:o@f>t} v˺tG7Sz[tI _UR5Jy#ArYɾT(y5VƋkJKĆK]2b*cH4#D<;@fLeM# +"4śx4 %%)[_RzͪƗێ/S,%i]XMJC[ \sD@[Tq!ql,W)ܶZm%'WIz[(Ne4/1NkX#oJ-ߡ]=?wr>9am0e:_EimmQZpcVo)[V[5^Yϖv>3!RѨoƁ2k\[@?Ko6ev>Kĝ^WLՆuW*q*q+{粄0Y=4qzRj+T6<807#+DaËf#pؘ7IxodCH߱`Hpòۆ[ 61PUF 2188 ET˂L[EQ4ȳd)iKI_35벺HɜB+K -!tۍmi+y%Ƌdy]LO)UZVLP vF?rxÍc&?ASLg{se_0k(cly/l}Z%]_tՐ "$>E4=2=<, +SJ*My bݦ2}ߍW2@!Xs&.{DSw=>`A񃆗atG,'G=luXQxP<w|I_PW|I^?f0M95S_e XWY\§Xo'hx]xCŠ:͋PKAEDPK<ai/krr/fol/Constant.classV[wUN4hJiA@[s)AALr)&ɴHg̤P/xeU"k.A_]sf2L9g{{7ưQV3 #33fZfdlL)S-C|B/iPn!O'OB؊mað{9NDgVD^P7 A<oRN}+8؆~5GpXp9k#T%{t kxS`7 ?ylO@0_8SxC%(܏-r %S²Z֥%1Բ.I*MeQ(-8آ>S;G!d(!n)n]\VdjTITPw)ABڛiǛ$pwv̶{%YBzQ19WI:U95"%,g.8#(\=?|ǜh\n_f1O&= 7U pciBt9('bO<,OVSθ<ݵe2,.V'F'ɼ зehU*UEߘbWZ`_#Gi1:Cu ^7o f҄OPKJ8PK<ai/krr/fol/FunctionTerm.classX xTof &[#0Y b4F uy 8 ^j77BB[ F4 .jݫmwE[[̼Le{w9?Y>L s{kV5]_͂3 c,rP 7Ci+2\dmr#=?չ+DqA^;҃rh7Nu>*  ѐ= Ꞇְ; )!@c5&&hHGb`&XC iwgLׯ/t1mk t}A6'hRZ"a ϑVjv0 ɆaSFl(v(cpEN9A2G*QC #!Q.a&f 8`'rhSұJy)ȒjO0 Y^o&4GT=g22}Q?L>ʒ_靾B ]#\w`a5+ kHE\c*H[Sf[#7 MNE@ 0} } /dMG\Uf@ 'n=' YiT N waF H}~U~@Hp &-b0%LX4MJ>MHh< 5 7^UA](>&9PSmoLدaxhWSQ0ϋ}`okxV` tJTK*7•JC 8%CCCRDz/:|@Vk xe_c1M1\kʎ,y[Փ //oѣc;\&8`XgYm=-m-m9%eois<ҖSJKCء]nB]?̼ `bn=x'h%@D1Kؗ'WJhN& s4Nr7ʔWF'TűǔMʪ{PTIve{LOC8J6DsHTd':A.5D\٤Y9ܗ} ёz\&[j -%,˩L4%bJMi)iJ ,X,,,f2͢$!CLgʹ=mwo^F&wcΘl%;1':)tSVP6…R@5~G~Ѻ6TyPTu*?G.Rq(s6.T* 1* tb`2Il32%zې?^4nBmǺ4QTe}GRB\<\KlQ26\jND%gSwSu\#:VghN 3VQQx+[& [,`D~B[V&m8p&4_Ax% *Fep#߷ɓd|zHH8Xh|;dxH}h@ -;=p+xcǪ<} ^Tghb@ʍv~i9 !H+kXe9ϻa(挔!u`Ɉlȗ7bLueC8}6P;dQ9-+cw;&)HITAR.6bݠuK+c̼O:r |<Sx9w|/ UbTm*'AUe]YIWyU6H6BD\Â=WƿF ‰I"גe1/BRZ&`MM (-]m]^bnU^zY |H 6mlof=ަ܍` g314/:MW~ʙA,Jv+o n$+-SF u8GlzKŬѢZ͊~nkab\u3茛-tt0؋} V1P*P7PtƔ$s4b<Lcŝ(\6%l ~ɷ_-"›Q7}U1 fzTL?ƋNW?^mȧJ?dgQ.Vr_\TdY$[J[^uR˜՘}4a6ȏ >Y4qLB~L377rƫP<xN񢥴(Ż<ҭ eh^QswC`~[Ԍۚij^ԟ70C6MZnc섥 ]m NFaj5þևu˿JZ Ӱ7 T3TW`ɌSB[XKuzEmA݅BTUnO9(04Q9*\(+b\` Q9LR\'Pj)jܞx:2\$殪hMմz+X0dB#<*B@iœ@$Z2 Smp5f~Eaݡ闾WX)[gX-y.zܬ`C@\Pq 6XvˡPnJh*Zp2Ń _|۝#Iw4fLFx\؂ TlvBz<ް*EZzGPzt;du糐/F 3Avϥӯ.bS *9M.:bYvJLDtGS^hը^ӓEA|(;%,QBC3V"yTǥxRMpƙMp5RXvNbLGB5~7Nau(`Y{t+"mMQĘm,ѻ{ЙgN_70˫ hnV!+x(])u9Izh*(RӉ<2[ pDţ2R#ݵ]QYYdEɢC-IYRui<^3)8xU< (Kv xSzF(I2&SOpT^c\RyʰafŚ5l- \ )f{#Z!]фҷR25sR"Ƚf)N0;b_0 ',@ y`Q‘J;c 1M,B)Gkɦ T4Mon |\1EΠhΣ1{ 8Z5u&N]y|9xUSh; tL" 3 ]} cϞ3B L~$A-*|mg/uяI=Gp/ ~uhS5\Kfu!T[B84q`x s>o:) 8O1 q<ݛ9wO9s/:hOP8q4^gZ+~u~1' isgau,U9{I$6$A6Z*evZ]Ki -:vaɼPKJ: PK<"ai/krr/fol/HerbrandGenerator.classY xSy~?K֑0Io88dꀍ'M0&[Y2GaMn]okIɶl-IlݺKwm;znYdgי9ؤ:QIղM531:۷b#F[ݐ[kszptxZv2clNb莍0fIHRUV3ݷK~3Nuc1zae؅N -9uͼ1O:v\.tVm>ck`ͧrU_K@-(Uxn\[d&.1TT#FяCRH91Ô3e;8W.nq/#bIiռk5 |a!4ꙧ ͚@] Q dJ{UpE^DQ8!uy :'Rc1O 'z9EUy<2P0J'|Ҍ'\薮FJ%$Z=8<֩yjzK$揓%p-ꆼ8Ciut\ Gk%Pe%[*~^ǻgţJ+z|)U8TGʌF ˋ_$qOxDݽ_Ả #F9_[mE`|"+R\endi,*Ox"N\mZT,K$d wЖ[!.GDӤq̪Gɐ?XS_ó&[xQ˘Qtkxo& +>Ofyxww<7u5a8L(zNI-eq  de)/{2a bJ89AhTu,QgyE,*H5Q k J!+9)K b"!c\E9/8" 6㸃J`@pNւQw#D>n_*dj;Spy$5_;8fDT>DmLMwn"Oe88G{35>>YAm*eET◵T<F(uCD_+7,t(5HɔӻZ 6x،QG+ @q:f-(R7&f -{cmh)TQI9JfR2ڴ;#ҤVil@XGl[4iY861D1Ҿ9MUiÿ́SEIdZVQ+v^?Qy{n˨\;/㆗XZxԏ췠欫=|UOaK\B]}e%4.xd0ʃ72Z;v؊fؖ}8Ϣea oK=jcƉ ,ôp.`g\fwhA#]4خk];y}B~zG+t}SqIlk?nx0 JpX5Q}k~ʋ7q\CȌyтMav܊nfO %;t])ENaĜdpʾ;EXly=lQ'LjɗHk;Y(ߡ"+.w=v} `{K+i|4{C4>t;]78]ϳ=_7癮_KU4~_=_B |4J]/dIӐCMj9%P?iyM=&[w2{N9BK+q_Fok#_a&@:x:Yr> -=6Tj1'O©QɃ%=PjC.3"2A z7r"9ۏ7er: wٸr' FC*;2U׹/ ߅[ ۿ#Đѝ~.!"cPK,v`PK<ai/krr/fol/Instantiation.classS[OA-,K\`-T, 4Ņ.-nwIM&LQ3ӥvgvΙrٿ~0y.n$^[Vb3M,ym#g*1l=rs+RwЉ.ZpoVG!|B ^Fz%>G@b#X<B|hr ZqxFsTE.%(nB"J-c5ñh}LQaQy%aZ0,i jri>-FzDz_J"4u]kHJA\O+g"Zϩ&f$AG1DIhJV VxR /X mbTY?PKX("PK<'ai/krr/fol/Interpretation$Pattern.classSkO@= ]V| dUL0_eXڵS~&b?x[,5ds{1iôh?>&tJ[:zj@Ũl9PBfD7? ۍ"~M~ܟg.:H wp=ɋP? /1S?vA3: x /PK@;PK<ai/krr/fol/Interpretation.classSUƟP–KB)b ZҴKHz[MX ͦ3?9?~je*3U(,K7C8={=סK1e)y,f,Vm4$t0U֎:s殪 }bbE%s i`v&w˭t#Cm\h^I,;-8&Z^D[ls'6͍vJ"yi5pyФZ.k|S/[E-6٢nvdH~i aXi2θP 2Fpa(uKMK,lvᬌ~ puC[nie.YQ-ϝ΄ 3MQH&?&dC":%0P?}K-oLa?эeȵь^ {[F[O22r9aZ]eΨ 'GvS$#aaڛ, "&z$\a8䉌b4l)}*!كkp<9"~ ]G=D~dyћS"/ǁK<86yu":GW]-W;/a*kVʇ{ GޤVp7=jc{2U C kVvZ3}ϋ-TK\u+oKs$-'Z(*od|H/0{<*4{u^E@tk!6+VV[ 5 ` CPJN`^~f;D3hNwCsa~ aqAWB1HNY$V@s8OZq {>^ƞ`2z} Ri.gHBsS^%$\t ^1Ph, 8E#7ٗ;|*B ş bu8 &Oqهj}#1ZMqnC5Y' 1tk*.]7TI,m:ͩn9TD%?MT=q"n%*u+>L.bCÎ Z#r3]'<ҔOx.~Z]k|䢴υC SŅQ(!`6Y7&`b[+EU\1\cGʗԭ8-(5-w MrqRnIR *0{5Al? qW;V hu<5KfPKy;@ PK<(ai/krr/fol/KifKnowledgeBaseAdaptor.classW_T>ax*KE0*-PQ} x2PH[tM5MJ6MZ5.#65mֿy0 |.s9WK_^T(ج ˊ&#3y64[RN£vF&4s,?|Z;^T+h0h<92eGfLGv):1$vOң`i;Sz%LS򍱅b]yP:TdV6&L9F"zS5#*6lmP)a>mx&Gt? ^U"oX4ۆte83eK!jA q?}Sú5(*ĒD\ 1v'J~TIج bni;.ީm Vrh *a ԈgtҥZ*:CA;[cy 8au.iӣӇS#Y͢ݤa^(hja/NjI5Fq[}x3emӑ3Cm5f`PcfAx"irWKkm)*/HBPT_JqML11b4%BI*0L"{@-ٹӋ ֕[@D&9Rf|7> *08=h"9fE&v}d*:aF鼳PDuk/<}dТXlt3mXa=o)QKG1ӹe%y"=&qf|\Ňa8Au{IYuF\ jЏϪ>ϻ0Q;gtṴZ|Ox8ό_T|M^Cf\S—/$_U|O1=L\OʲOZ?& S/ -(Q\[*.w\$WyWʵ}RNbMeb9ց⭽%2 \;^!&| ye̎wRbSf+QމwI-~h>a2Dy6#5z!'`fiNM- N +dO(ep8BU$g]J/50E{ Vӂ&- =e}bÑn'|+Ȕ"5L[$LyOʙ ĝ4Aw7 .~+B/vWpBEJHUk3[s |Rrr 7Q^-sTXԘSOWA1T"縳J>s)Bz:& u1q^# >xٶa"AIȞ"{dUpG5s]#1%p=Fl;B9\UѸ*k~'÷u4./J.>oX wolt"zˤ_.%4 t(i\rl `hs84nW)CKe@_ِ#b+nt |1 뺘DⒼ:H>d)#Ew[hobMXU.~gT8~_BF([ a BOgt迿DPK'9 PK<1ai/krr/fol/KifSentenceAdaptor$VariableStack.classT]se~n􋦥/h- TmєJ- q: 3n!p 3W6 DGr{s9917"0ٛAVkG/s+N:k*DN)}p㗳PH,{5ǣP+e/8r;Q5P.h(pr.K6{n`:JQ\t]yȶ(#y)է[ʄ*܊rCN(ћm EhQ άRr 񟦙~E]G<0LJ*tUZf&wjy.-tt}uX@o>nO.h&0^=u:ur84!򧉃c:쉮Ñkl͢#@EvnDf`={ACOmk* 'i+H4iZf">ME}R=.}3 -p@W6v2› 6 jPTg\n00 1FiH @ɠ3bɳg4I{OWTѧ2ӻa;F+C>A}#;e>F-_C8l¸ ʪco]-~NHF=WNl>*u}n I2g _0&Ŵ|9Dӏ(bzZ1EUs+J+P05Vdv%3Kq6p }euu:w]rtIEye! k?~|;~i3+\ux`x/_&7.?ҳS+̨ FNK㜣6N/US CNYU]:{R1uuFyu z׭;wy^ϦSWo 368V.P3?^UPطɿh؊DT7}M%A_SYpZpQ[8 lPop |aՌ4iMT#hniRXY$H$QFɘ~# N⦵C-,@S|&8h/LSG\`UGIWz/a:."4RIK͜b2%D6wA+U1oQw>b߉>M$=lBS@t6jNvTqD0 N!4#$ m("K3Kt;a&LL]P :b@@}Q#!kOqrat9tCÏa h Y1"p̌[(wcѣR8p4 9FkY*{2wrLHqS௔1HNJ[;#Ŧpkt48U|*e(fDCDQGνE t4+xY9ttbX ]^m*|ʖֱ0'M@(M i(0.E6_8J%J)&eQ3(qud8" Rt0;A3z, H f:1Jr3掦ݍ;%B؈YRNV6ZFIeX [αˈg[AOa,6*H&,ʌ@UDNlfq0Ui)qQ6Xƭ6³&kh>M&b&q/CTOfP-x>iL2YVuys2PNjb‚Qğ;\w {f:^q~I#)~xU,)M=ra'5dX1K,t/ΡM70 \~=ԉ$+瞪(CQ¼ NTH iؑҮ6I\.PW 2?d}DYOy@v$3EFT/4h[Cn|w%N\m|K>8<Ib9t)?oPI5T2Džox8VĪ+B\,:B3OH Ĝ JE.}y2t֯G*\4.z뢏{\ȶ֛gUKMy5au1$88 W#ʯ3+! E r0] 玴R˯0sW9pNCC:ohQmy.Òz_v&KK+WGzb.HϺuh0+Y@ ( \(K~8 PD30(#̗V^ w1D8Egy$]LYsDC%ᰯŗ}$?lѩŞ+(ek򪘦S 7ۦ]Jﲪ%TXY,P)nfNq.f%x]bڥ LKKud}Cu'c@ YgQ~.uZ6VUCp ۺgKuIJr\3GG.DkycS/SF?C*ENsk$[)HMm9s"+VuѨPQ^VƨXXC1D8jOUM|KrB9REHP4_AT[cjdO[g\Ӄj{TD uM.vhQ]en]#vQܨ9ݧ^Vv{eOx-mCtdKt'ݛ2B~qmIk]<$tXt[ lU`<) +%$k8o,}+gfSyGb?xG(6XS|@ozs"ʘ9W>gjs(#UUiGSᗼ&./co_tx$De .ab2|+,oB<;= RDm(>tF{=CaH\Puk검A}X̾a3)I^J.񖄶ReBVůCzY#ڠh˃P^GW/o'vl!DGq8df M6*NjgݺM}mt,lϦa>W]1ǚkye^G15ϼ5գP2tu1Bu_i&$g¬`b/T ؽĝFjTk{^ZumvLwD][յ}nl̹p^'l<|/ fD,~{'>M~RE/^ hW!:x[p *!p\Lw怛_,?~K *5k;KT[{f}6}.n߫5r8 o`,1?C YTp7ܣQ _ܧdh.#AxFiRB Us):^9$m$EiQ æt} ~T IWM[EWbb1ӤȭE(yNلu .Kv]{ -l^LfS .Rl^5bK1 9P2:1r12GpzV b~u7?2b.c獽v]}aQ8&?ޒ:z~x\ '`q LYf2K2_c,Titz ӯ'W';t]I\nܠXeZ ÿLAAx>VF-6M6ZIx*2CG+^VPЗz{ "CE.Ը+N..FSWѕ]vO]YA,Wg-&M7( Vs N]ĻmjAZX(BvU?7I+H2  <Cpw/=܇nev(#L< /&PD ( [|POQh|g(> 6O=O'V, gnQ$OS=KrOf^N"^3:pVxjWNM9ГC5s59K0axLVeH_#}p, yx[0%.{P+O0ZZZUi4PuUWnG'ӊ4OFk48[ڢ4(X:;~uJ{qM*Y(yndi-ܮ /-`r4ARTڶ$=C=FL 02 Jd=3T)@l Q)@2ɶ$w@OpE17d>0H< 'H7d,2 #'*9rK?#9m)#2 ,(\`Aa GzSM\>j,'@/9іt|_Qeg)`33'LmcyQltmV=hlFrIբ 9˓`,Ѳr*LlcRMp59OSVƦsx}I1CL]Ńn ,LsYJrackI(QŖt##mzQ忲w>߅  5 W|]C^C_#]N{: 3W֓A kג6信nJ$6>6Γy ۃ 9}뾫 j/7LJp"Ϣe?s`s ln5挳{Uo4Cgrd9{TH)..:1>Ju&9]k; :Z81߳W}"a; >/u!cL|6#Dq%9(VRm[;1vfk>1!ܼO(qOsC.У-7Q"k;U{jfe;:h٧f2%N1f@X6ZI:iRZ>QM:Ei`DXR}Vui{ĊvL5bhc[Z⑶VpЅeC g35F+}y >BtCѼ8Ϋ|.BXI`#N 78y3LPDfv(<.w@"ܯ^r{a g~L>?pwni $; kxW>~L> G0M>~+w8F> ,)\(ƥ\)ŀ|Ct]'M|/ǫKx]o!_>._7k|7k:E|KoE(}q@̑JX ?]+ZEutQ~&ʿmoj!.{?EB_3 &I.h΢8O|m-wZi8v>"D(wc-|6&CѼ4q TUf.kt=  6ohhi-Or$FcNRDV`kŷQbF퐕o55H.Jugi*?*J;;]fSN\G\Xf;:EKx%k!.W%:ҵvy9P#,799qXĸ11{qB 0Bhe (4m(цBm8F@6юqp Wi^ˇ4 SoxxGj!T;>d۹1Q 𩸉d>vxZ9&nQe hR+TNCeOY@7]ϛvEF'Эygw:!kυZP{VEh `ʨ=G[df+,TX0-䷏8iSĚV%B2 E|WS!WG`'r7յeASmPY ySD9vP&ApS4z:H 24E#_lKZ[G'w,W}xO.f_ުZjk` i0iRfӵB`+&ZZ/^hj>L[Kw)cIBJS̭L|vD;P}ŐMmc׶W]3H)Ŏ ^a %Цmae-eɆy|XC`_ *׌ZRdfEkb4J{ҳv/^!"o;}隊jFcx[’lG1v%*Ү\"(p,nZZhn3i!2j(j(jڨT\Aw).8NGthL#V5sڝ+0w'7Љj =+rvAby68R8St.L,Wġ6O=ⓤfB`vd|3&YNo)֖CpA#x^# OCD08la~qX`nA۵dj]siׁZU;hb:ݤ7q`$& ~cjmmmnq&Vց7Z|1-%8-"$& OY}]'tIY0w',Hɯ.t\:e<L隞 ^bԧgP*BPK} ~B%YPK<ai/krr/fol/KnowledgeBase.classUkOG=c;_B -cH6 C 478VLZ%_(RoB-ٞ8s?7a资\J9m;s :Y/,ӱMsy/[6KVE8\fq Y۪ֆ ^ɿp̂C(6]+J2?r/4ESnׅ͐Q wxlϗ`!Xe{6O<.bh0Hcs_Hn 0F i/߯nmp^W+YΪ%zouID1F 1\l}meP#iSSA}Vۖ" Z̈́g+'s Ʌ0\:찰S _hk Ke?Z\RO`Nc<rGQP9oNL!Enp-xrn n1 G&\+rHjlioXaO 6qAJO&q)bC˒Fwh 1?آ e;JexW+O^pi`Z= /X['F,8$ >S>xpP%}ĔoM4sRJ+ҸJiG'N D6F|٭̘ W%~W v#4=bj.:A/j:AN:+A}w?FGĢgKmڤS_>+g1> vy%]GXYi1S&{ԁ S&#pfXTdh|z *SS{,1,ٚeȒ4>,I+ŧC^u:QgC%:& T/^g0%ekGKv]EoiSCUȓqп~}MH)"-H+ }H?{L{Q A?5C1~h&5|MSt v5wPK=f PK<ai/krr/fol/Literal.classZ xuVjeI6z!`~[d jcVڱGҚ& G -I욀X:l!m$%M!mJ!M&$; ;w{}2/40\;k Ǎhp @c#@h4JX 0oWpon(82P8D:T8d9ɲ3'bI,C:rD|0s#oQS R+2(3ҽz`4ي8C*#悌OPdah~79;*95WhM.ۙ̃Z::qmg4{ɴ'h#d:B*0&F ?oEVHF#:vA r*IG4dD[GB~Jdx45",jZtmecBGl֒4.ױG@QV~ʨk[VDYzYҤ.oHdX'qqXK4 I|P!&JYcDGOPGp/[ Mē`c {L3)Q<پx1vF"q@vӰ(^J4% d2gea^8vK$:-sK:*CztSͶ0P ǚ#ds08`u%?JrNYczxPyvTǧ@m` K-3nȰ&zd[8c0=YG3'; ev~_8l ustp'*iWEiŜW#wxuFBɩJDG41"c+Pů9qbbrI$pؘp.τ58glfqX[f/tlWUp\!i6SG)f /Ni_~NTCh\QaW^)aE)4୽PUz U5P[U[{u,"֞º/vJaV#'ѣwջ;T"7ay|ރ"Ϫ 4h3Y92ZU|Z6.54;xu.i[k^J& 8oUZn0uM* Ԫ.t={.|P^,ڲվ44 B4#tl]0i4lM6>QMiZmI!n%/yr9nzJJ3=iU)'J\nyHn8<7+ϫvW `mLa>(/嫪'pgkN`5iP*;ǜ(O(Z>!mfڲJK+1~ޥнs"%U[k&`> s"J sb$ߞb.?L =E?뀺ނa-T*fD;e,b';K NK˞}s%9EUe cnQ.|ӕ»TBsp=2xDG=כX,Rl6 02ʕF ]w[ç͓iˎhh"f27N@^U"X͜0=RX̾J5F_ xC(6Em_A~o#k_QZ=>腅rY*cɲ#?T~1؃"E "t/q]PJ]eBa)CF褙;;~::A:!:a::ttңW( ,N>fVMe̾)u}O)|7~(Y?xTz-uQ7B(_@x$Cnq88a"|/.(\ge[d̲)[9L(tYsfKMgJIgN,/$wR_:DB-KŷWaê`>OXkNX~[iAJP|.?W/k KPQRrjQ,R^Z^\)W;rriY \E|wdIkUm0(~t9-6 \܈?EoIkN[1L[V4k.\8rr l + ]Hm׹Wi'?V`[`]2S0T|#lB K\ZM*s_]f1rXM5V]KOI^ %kKi eMrec¿Z8f]5MΥɍ-n⻤/NG$1a2mwvŶbKo]!M+_r<)+F9m\2u}1B'i} +YVM67; y$/:-7E%GwľJrӻv'rN W~j!gd7Sz.M x^iwq\ݏtib۵g8;!ޒqЎL})O[n:zBe4ȥ̷\m  =!ʕ(?PKK%$PK< ai/krr/fol/NegatedSentence.classX[w%[H@`H0B%PIkJ9 Nd,yFF&i4m&!in4I􁇦IEWYf>??}gFHݰb}g/?!:.ucm;4+MGECT`K{S&&yYutә5!@hn$m (qӫUi;OU}̻żcŲaqH&;'J2Đ|NusqxL b@_IV [N4`gݩU|5B#iRV-/H4 ^m߽Şc.d`۱);h_SaҶ-; Gr ?(BѪt˖IzvgO~8RqmN \'F@ nhE( Yqԙ8$KE)KUs4 B&u3vIy$/t[رY8jzh$̴ 8\YcѤ Іc Oqh8GHyr {%*/WŽg-|WT,^QGBafKh/Jۗx|h80܇EQ;IZA_[Sߒ0I-e#jo$Lj`vޘ<5zt_@\96_*i9UTVS$c<3X贴@Z첆x] /Lq m Oy0+klpY6E TwWGc5ɚQ?^ V +ëIͯ3 dk1 wJEA,yRF Y 5\ qF&-\[%b-㙢yaަ.%wy?1_V.)^ڮ&/ f7z-Fo]@@rO>vm&ڱY'u$!hc}woڲ yFg5Z-a轅gnbϟM4{~ʈBs1p)1F5݂֡83 D7!S MsyhaL33%u y,*J*lxE|!,3)ax/eR#aorzq٢'R@F=罃k=@\60gPvl؍}ܥKM>JCD$+c+c8[ zْsP0(>E,wS̓ܤl1E;9L!:.ڹ̐m +a/LΕq>/RTp(*{6Pg=Ըŏ~jJ2O`>lJ!WhhKMDHTl!*)" :ۖh1D$_PDtDeEDFr -6#.igJR =u)NW@kQ}j[70y?((_^<M.T7;"6qЮ􉣁zx#ԕW* I : Վ iRM5 C>*<](o3Knx3 |6P:{܃+x +;7"jWMI8ɀԴ/{J*{OB=Dj<\>>ƺzg%O x===? wDјM7:~ф~PK hctPK<.ai/krr/fol/QuantifiedSentence$Quantifier.classSmoP~. ]b_ ea .nvbJYQsD3ڴys=%"^0U躅î]xgZ'H]\Ac~ 6w 5a=!kܖD͝u`mo~8r'!۶X^AIg  aFG wi$6k9Gz{:BG CEXzs:"a9bi wl7mn7kOjP0CVV=v_LГxClDiObrSюvZǢcRu7h琡2f#2hTWT6J:9ݶشf&^//Ԭi9TUR GDSaxxP-4((y9)YU؂$atv)WX3~G9~p?)fpY /`Y9zG9C"zln0`}_ŒJ"`MMHxbd󍒽l-e+o+ Q:gC,eW-βx8êoאdtPPK iDPK<#ai/krr/fol/QuantifiedSentence.classY |Tՙ3%R<&$Dh@* Nf̄ݭhnݺvel+X fvmmöv-ڗ[kkM̝d22={OR 8 bhjp0+"0$!۴ykku75H`zc4OKW01ӇTk#|8߯"٧IUu:J9QOKH2:VsdxЊј?7)Ԕ6injw) 9a%-/ |mx† W\HYu&)kGuP#s%aeۿUY&M<#D1Jb/n[}~L3$|_uG{AN1'ޥVaG7haO8y&WT8'bmܑ͌x/*JwfS&V1k 9CCS5?_t$xTrX=fod8nf%?Up Mp$Y3ٞVL{dvkp:0p7q64uHsU~UnS {Nig(/#CO{WAVEۀ)^.L(C[p8f٭Go _\׻B qyZSo`I:_dMpWYh64ڬ|22`7_9~1*+ 29=˖GSA<(|Wl!:ˈ޲|6!hv?LN$B9;i]ΨQ/M{rr̲2.QT] 0s`|JRflVorJQޒx`&Sf`4fmH— Kw4HLK˦ ;qM92O)1?Gכ&S АEL4T*^N=÷w *,mɾUVHnUvʐRޘ2ͻ)awH+pf֤y5MvՐ4K á0aT ~e+` oF'*/ }s=O~R! Ls7^³EMNsm꿲C0\Gr>e\?+_c.a1J 2]նO\]~'TUIic?z$Mw9Vڣ~jc.4y Fx [m5@&4r e7=llf'IӠg g_,l||O6 ,4;IO[3蒊t:)f{\"gk?OgC1^ex zԧ0nQ`OҢ 9F`r k>\PsaGekS|'Qz_vΎ@7Ԝgp `uSғqL@Ghѱ}cxu51^nޑ(=9^S^/]>HKoe9~#+r t~avVqgz%2MnS%O>(39̀IWY\v`KD)wn.drg"CMC XD[IίڙWu;t+RnL|WV${w:U.S"wmڃ.)r-8<^]F_ 7 M(f̑K+ (Q!F6alقm}tep„Ya2R{kѕ WU`)WK]cἶǸR]Xw:Z]+ؽfcgnJ?9]%YCL(A qi4}8gcWQ{?ʥ.ioivw\_m~x厌K Aͯw2:t/}}- V mM^M^8؞OhđmOer?*3V_FB\ս=QK]Sū1H>lOh_wLkO5z,賋"wMevKsxqC֓|>yca\)`|!#Ұ$_V+]%3rREVťUI*Lzq蹲rR=ޑOn=OvQz!6Ux3?{7uҿ?pcj D(Feh:/UM]F_hiR6,9M^jvuD@EŔ_ޥ {؛xKOכNȳ-_Ry5_ojݬGi 1ѫ%Hyݔ/e_{٠.g+rpM"FQ%KyŦ4O^zdeF;*Wtjk Mx\R~ɜ޾ 'Q,؜V*R](UeY5"#R61Љh+zzFѦO%w2FIrWҎS/scZFHZr{[]Dm}mLs[+c |;dت m~%w$),+Q]z!תn89jYiIjc7}T#+W$*8ȱKhըwԢ&G]m6Qo;x9~wٶY6 ٱkon(|xn -#OW^i[r[)LjY|FdהGX{gipTϺwPKKر@*$PK<-ai/krr/fol/Sentence$SubSentenceIterator.classU[SW2( ,awQ(Fm`dcsTT*|AJRC b Ujݧ{ׇ+ ^“KCjTQv(=I]2Jb<<8zE e4mjpV(bT HN'%&XD36!mxI=2JeB C>P/LeH(t 9>4ZdA26+hE9np N1:U1#M(m\pk8&p4g*eq'IqՌ(y('[MB7Cuu\1Xzd|:V7 jΦi9K /0lSN&teF(˅\=}8zq2a M!"x0$j2ꪑ js`Eͤ?:PWqb6NY E(RL-!f*yl"&C INԩʌ]cDpE$3)1$d$")uz NpST`v(֣)MZq^z=W52}ԅ5Elr;A?Cnx@IVMgjI32" vm,7;+T;- mvg')! Pz 66fqBrnQ$E(^s ۹Z^l]'[qijd.>H8+ G4EѲ "vd iXD,|!F6ܵo ](٢$"yA>͡NP3B#Rjn\cx~9YThẉtJ + *y5v-8kpoYc|'t n; ig `T!EqhKDd %-[þw/i<vx["Z4ZZZZ* 6K#D6QV io .p !H$ :J_ 5o]63GXs(wo>L9J .F1oF߇ o~y+!0Gn,xBֿyW)O3\i[)Qm-RZ}vd .7w,Uғ!%⃜ߓi2Oh]ilՋ=\}= Z}_PK~d- PK<ai/krr/fol/Sentence.classXix\U~OftOh-kP(ؔJF"55)3m'3MiEEQQPіEYZ RTPqW@PG}j}Ϲw&wnfiν|rsnߓ7#]؞$zmdSFAI;z"g4RvavfrYCߖx4BnpHl3=✙1|wo![=7,e]f^ND@T̚*@Cf`g.m0S#"0KF4LC@]țn/u{8G!p84'ͬvxpamrLIRzfnݝ T$b`@"ke&J҆my۴%ٶJ*e ;#='e;lidЦPLEc6l#MrHn=3ۤ,ꡐ5d 8>\.c޽rDVݖaBMfpT*yY&"J/lP۪ڨz~cH`L&|'@cr "iy >NWYaglY?~uwPCN@u䆳").A;Wɸt S]Ly!ջ44%n\;jJ4`>Ót/M5(hXu;nY^Ihk,3ܚY|/򶞵MUd1lج[:8]1jۭ>\n t~\!7HEm;GÕRXzF9ky>e:̳ps#>uwl640CnOfGIe,3:PdztF31Օ`ɴfagCGp2fv +ѮVkg. /3p6Ep,3lrF5|@S;)lCWn!|XWZ6R#>Z#ZZcF}.)-+gp f TY r;VN e)5I9JGLȥ3#px@ѪsTZ\aa\Jcԟ8 =Uc CȉEHQrB|=53|l8wA '~MS(6Ŧj?*sK.3n`: \5KRJl#zЗ<_Uek^V[~R&:_øֶ> cCe@va0rG`UaKAJ ÒHƞ R/{'p݊`}p7CT7JqjՇ0>TV n u5UX?*-޼񣸅|)߷H@=T_MkEѿ@C.̊ǕI7.\xJE Ncҩt*VW Q'kEbE¢6\䚖:UgUAL!aj$D˅Qb2T\+fQDcOxAb6#*qsbqX".@l bk8(bK*$q[eE O~y"ׅc nC7"܎OsJ{gYoAA7* }Ԉ˱\iDՈ_;qǻվ=MD[ `d*϶ʧhQ|_Q 2 XPZlrǠ#J#YD ]IU'clZ(y2*Op %3' eߏ{ޟS/?lQvxڷ<ە<K38SM{E!#@LWjEȟ!1!}/);/in%`sZ77o'F4FA?.'܃\yY-,^fFx/r65^{M=:wCmOlNPK@l PK<ai/krr/fol/Substitution.classn0M M@;Ub͉ rpmɱ+:<jbu4wG:9^p "|t̶ce6[fF2Fq.ĩuɩT (Z\C7`Ӊ\0t͛)Bzr!y!A׽JS2-5b׬1L %Fzl,xŚ0'Lζs6k]dzˊ{2p̫bWr 1yzN} A< lݪ˅0C&nYg z HI] tZcUTWDzOPB.#s6RQz|9k#Qv!a]rb=Q0$cH!MF܄?tYBI!96eb4& [1AX"ɠU.NY1g.` fjh9;'ϣ.}㒈yS G-lэ B\HBo;KMú# ^긂O\|,0A!5m2'=cm(8[⫦52՚o186lx`C@'4z5E%2$1biӁ^Z1>Zcu |Y@_&°qEɫuP&n)IeSi!15H|]ɾxwTzL!E$|U!uZta Ӕ~Ƨ\P}0!M:,DHzsx|?/ROi0ٳI09(A  IH*/F+.,PK~ PK<ai/krr/fol/TheoremProver.classMJA_ǘ6#47 p׎evcx7C5{ =%F}uCKQ0^g<,4;Q%$_^ai'9 U[íuy9^ urq=)L֐ͦfg.D*r[)=ϞEX;1ڤ((ld,o0ۢU2PK;PK<ai/krr/fol/TruthValue.classW[wUNi6 BI!\RZR8M@ x, ꫼t),k˓k?GrI2MCrfoϷ8PðMB7 #tMOQ9^'CSMqp$:9:O['FǦ'F.20CÈΚjڔ"4\Jzԩ`+uL ީ`ft+3#ZOAę_<ሖ7 ވS3wyfs2,:4f 4Pt̄F^n=\#~hn.kjfNHGU=J<7GyLȈS](|!ySVu',sR PNU 1 8Κ)""Q"xIa 18Upr㨕WCːݮu0iD^A8]C5)>N%R]:5A D(j<^hXʨF~|Ǡ.,ضI Gv1+ }5hUV5t<Q􌚑vq"6qE  #gih1*b9PЄX{Re&-BˮVHdR-`Ii}XP!4M}dh&N =d'6{*>&#˫7R޲Pe'<ܨ${ mLF"BmQ󴀨K̟F_P-MلX~T!.2.-Ϡ6̻BYOT1>>m,ԃ+ȠnBx!;XLz״vv鬝7$(@Vru{p:1إet=S;WZuTn!N저G;2p#q1\z78TBI>>VC%jkG(9E*beY;HEZyrZb(4#G_~%,! 6N"'q>&9x9'R9 `w .w7!+p`^4ߴҿ6.@ W0yId`?J.SE'1Si-*HF[[=ġ,}IJ_Iy"x^K6Ug,3!+Vՠp}g Ky WweA[R_I7[TqNZn?,G,DwBYp^r e/JSV2{_6*HQfz.NՇJWu *lu?%8ǵ",1+7يaO=H5yu:-⍶&4D iH *;_{]&g8JҐkvBS7%N=4-6@~fm=Avmޮ?l%Ft]LMZ ` M֌'i1@{\zel0yaZKoX0yRf4bu+u޶t ީBOɧPKB_tPK<ai/krr/fol/Variable.classWmsW~^m%I,qI8uH&up.I e-mMdIV&mZ @J{y pgJ(v{a`F8jZ <9<}O>Wz5ciN)'5Ж@gaA7Wbk9W*qZOh@rMd2򔽼^ywrK"m6VZM(F irx0_4J5-N/ Df=$Ŧۙ"ǀ@A^8܀YUJq PG* y.yȈ3qСӟjy|10FU܅.ƾ[E Qщ릙K, (oW FZ+q(gOs%zHo3.jKU˰jxńR3݌Ejxm~G1_Tt:mSC?Izy/x[oPq S\+Zu?޼y:T6&k'ȕkf^?j)>v1/(@> IށAZݎ.릷O#O:z6D~H 숿?B;oBn 0"gAlfܾ5|$-b,:Hhr_ǎ teG{>t*RMaI N t?itHёFF݇,Au 9ӯraګ[N:YnI_ǽ!YJ9a0' oe?مf=T@)ʡmOfyfe>Fy>KAHcMfރdHfw=bhU'aG68O`-fGbz:pQ}xskέ>'_GqLƋ ʴ% P&ÑҬM^)'Щ NcDIPZnq=yZά{!_+ TIQs^1ˈQ'*x[YQsжS].`J$zVE\"Y)B]/U-'Ϫ̔Om-?ӯkb3r(:g'ظfڄW$1GIP'x*Ǣm^_0i\U`Qt ٌ?SWgYkXV組oX mV][tF2B\'T[2nR"!}07I'nٸuXLC+Wi[O4' >mžcƞX6oĵ:aś$⢟5Pq=5ЏmR6f Kw!~Db6z -xFX@_Dx`[b캏4K}+5BVzR&m4*@ >l? ^wb}dQ꿋vwǁOVyzkkiسOj]E kpu4K_?}R3@eV̳2NwK'%:Bu"[E+aG/ 1"! Uâ8K+_M俰\9 <ïڥ2R Q"J /3,=}̉J-!څnC>ePCDI":Q.D%ri1~ڍ=(Ow HcGd5k#LB^۵,+ЋPI)a-+hBfbFV00br3Ia(̥uppVhfK`׃=_[<ZY) (зpKˮ_*6=d\*%$\ I7K]Cts "V.G]Q\o}i"\'H47m>Gɇ^[5U )BXnP^+B1G'v|x1?} m_Pqȭ_6Wћ/i) A7va~ُUPQ PKф^Q PK<$ai/krr/fol/XfolSentenceAdaptor.class\y`T?If2y $ F@BqA6C$ dd&L\j[ZXkŪ:!FUUjVkmպ.}o޼L 7w9ۻS?&kBkꕑE ǃ`][3z4"^Y E,ӠE74-kjnp:SA@u{ ) W2Zd>!l 1ԅh0 @W<^=7ЉЪp  2MI:>]^(=X{ bh< fb2ċ|S[CP&l!gz-B*0 :bz;4g$ئ8pi ؤA4GƯ;kׯ__BU@kUȪPkz=Mʡ\y:$/t gƙ4[xfrl&RJITȫqgi >,SZ>]^m1/ϏF6lӱtcԴ1l5)2v8ֺ98>6tuFEB0@{R 4!XkvQUbm~:N0l#`ԤӨi(Ӵ1v4cEivR_'fDiVԤrZ#a}h2s!<&ͥF:qp@N6ͧF/4,ۼIlvXiy+[b`=fh8ЮcKۢ]UHG`N-ˊ+QVtg9sC'8 x ܓ: Y'}]mH8A|kDi}ήXCNdR>SN:awؙ YO$)OΜ.opLXb;dD楝)ݗڮ
z 1~K1 \Mk4 ͒Eg˫"IE~mmuxhE&4BX(dg4R ?cO&|[iFG1 ۦ#OH?_\i/c?]VfxxyJ|!£}%E9ۣCjًJdEK#19s2D6heA<[N2CF-Yi Jx $1v D/p!R >.zZ(w7y[1ݙaHW XSkqtHOBmq8Ъ'KGb!H O'0 x"Dys&pe΄UeI0O6>٭L_|L-4뢫4ИҔ9H4yʹeB񔁤_p ;΀d!H09S}Q0ߤ[h;|6y@uI#BH='^>|6oRs5Ö&xXܸ`ԑgY4y,ϙUW4i69k[V3}K&dXiR56HaMdG@1jГ)}H$L/Cx: (u@5l7&~~{W*t^㋐$G"=WjGwdm8fmpD> 6m ~|% SAbk| &- +NJsV7Lb/J'afolikMyf-@IJ_~zY[S*mU|jF+,~IׯFߝR`zB^vW%Z40 _D!r nhc53Fbѓ2pKl)zM~vt`` I8 w?;Jz)yEcYfQV';VI޴OZXy'?eODcz9ִ/ m?0p;&h+Fm 0~{WɎ&VH_}b~@R@ #(R,?/;=itPW5/INz`"u| &*Q{m|;7 -G^3ntEtHx,z0Wd1>}@̩Oc2VA6_ڧ)_r?_^FM>5&c%.j-ٲc+T$.dJAha._1קr X_yUWlT~]=D㱳CBַՋ S s524TCUq]+,Kv6^jtc@~>mRjBjtvdO$!HJ2_{ x1ՑF&7x^*+uƪq@]ӹ퉇ZNghSMPqggL52Y2S @-hzɘVo)TJUCtiơYIMuBIy>)rTΘu&JٕZ;AżȆ~Nϑ{&1l]:ţDcnl;3wUfM# V.EՇb0Lu<ݧ g^͵` Ecq:, L=ipYBCkVN~nsRizU[?U:]9lW/ ӯBD`=^t|r]?+]?7շl"gm +mKX)VR_m1r.AzmxA}d u ]_嗭-I(0B}K3߈ 42Zr#k]uvWHߟCHj͖ Xp>3L;1#fNB?ݼkIsGhØ 'Ц W2(7*a0w@^Fށ8~_.ǂ槉qBdb"3 (,¨1Zwʼ83ї#%"@TהXSҘLΘjTMI ei1΄Q*j=r-lk <2ҬnC|Kbg%Aה Ȫ0Vƶ ˂LG@T2\PЇplA_@+u! { x/!"`C$"s~ \sg!Q$I( X@&Y!Y~R%2Md'ldQki׈❎"y/“_~AO%l~6e ŷKYS *1##>K%-;n&S0)AU[wfy&o}d:9Sk 0s`NITF÷|1kb $;DJc//ISivMMPā"3iTƆҌvD/qK7ͮ(Lм4:bspe- v w׆nxz h!,ODF\=t IƴszE֭P;ZW)xV f>(RĮzVW Zm;,tS")؈}r/ųh؃xԠjrҨ2nSYIЕ=t5X%_ga+t}1Φz6g{l)uo)MLϕWLLЖm‰c[{ {i"my2s>jJh7;Ws :{n۵Xq9qƝtv,NOW{lZv})[zMKcy(mLAnۆH7FzdyDF$G`279#?g#`zi$#ߦ~E<5l1x4^46]ûû;y];ֈp#p͝rY[_Ub (p#ŞnzzE46ޖHJ9Fj5x&[pMӄoRRKZATq ܚHz'13G;zMʂ%6 `oKwה\c6;oQα6IpQNQU\E{}E>9>rVVVo& ̇OГᡚ73KB.&B'xE<ƷkטFr礤vI.y-Qb6=T9t>WzR֥K=>Jq-ph$ԑX>|V*R]/u`eq ]C h|VpK~UMUMULTTU%PJu(bKtEIEvV͔WnB>^Vh,);)S-*4Hwg\xR Wx4c t:IK:KI~åM6<[siåvKK0gI~ï.2U%_-~.y+\IR`O<\)W œPUP%W &|Ǹ8r#,nYpȌ,YpYz. G4Ght#8"07%u+6<*E2AS@ $]kiO:R ' eCt鼖5O0I2&s3WNz;6 ܑ,ǒ1jJt%x;jF^NCy&Y4Ϡ2hqྐSb-&i ) 7e  ޲ْveS.}RQg| & 8n@kF>%fff h[ѧ2D)JewYY]jSVȗ+vUHuI!GXCzF׍;{.2,A 2e a9rNV:\$9$9$`)$o0u{$i|[*7!nͷ'0vk#c;\c;|tLvЈhXNo^ͻ?iѧdB9L%;9u0hv.pqÍ xshΈŒNS3xEq&+!'H2W)p%bbb.q K,3ȕ TViFtQO^M K'Q_";?izKǟo?:ixws.BeW᫯;k](sP4_5J,(y(B;-m(}(pP^?A`(B/Gf(o(KyvΚ޵}=.6ųUyzv+FQS$Tf:>$~H(3ɝT+-d5=jAgo%؛ɗxynKEMћpU 205P*I* ^t}?r)EX֌4PoC +^QAy|SA~/6D4|~Cnk/0ҫy]ϻf~?A{y/`_ZDCGtC>;$C(jT-pImj:,zu:l48\:ߤ/ST;w hN®\T 5M^;1ܧ97ԣNg^}#͎JأF$3Pjd.Q%-Źnun KV:[^[Q˕QzTP|-_*"ZBkj|S QkX F}*Jfib!}&i*,E/[ZƿU{Ѕ* u"Mu>GlN{zmuZ7;Oh4nU xڨ6y=-U MT.}Kt§k5_EП-LA4`KBu1*m\;RSrj2FB]M|59Z'r@rJSsZ!j|Џo2ޜB8gk0^.U o#?>.ҞnmSk֖^uSK[RP/T[ uVw?ҫAeCsx*ұu4}:w$eo#3~4~߃: #":O@?PL)E?Uo\rE*+9Y `WN^%uII^gP9TΤY\v<'|zUeJоr-H.NCu #Y)Ǥ=XKN6@Lctgz,H .s?a N,/тΕ}_ +7a J#4\tk$EE2L}Ʃ+T}NPW"_EմF]+vp]NWozHmPEcU8Vu-at1(}ͯ/ c.. cdKxP"#>NN m ܁,SmN/9-nqBBB]:}tZWp;m!ot.} dPxO%f5Xhiu]qt%屺 ~7=KRF bbumfAzCmD-&w Ƥ42" s Z&v!: y] S ONemi(4.-V:Nn[<*qQV';qVOSWdB:g]T5:T5'T5{Inn=P%GFyv/X0>YBcjq# ϝ-);SAҐq c:Ip=YPT@,൞HJϐ7 \&[NNH3sxtrAcks|D@RE3OSe]vF"tI5E+iwi4#zCDi z h-tҤWl^ڗݦz od>=?Qp9TJ *sXsX0_=ƕUV#r @#9jR4Vu.T3)SRKRPN c g ҤA䂂\5')Um%&#gK[Y'(p^yDw=_qǑd6bK+5lF"ֽXX'xI$ ?{wbDU!KBt.2$^/^& 2Ȗѣz7nDf1?Qڴx !W}RKC,KbyJKR" |`mԤhNm& wk[x_䛎U%%]{؎2;=Zޘ#h6|?U^PKۼPK< ai/krr/ontologies/Instance.class}TmSe=IXl! 4X$MUjjIIa鲋|+3V?'nL"Isݿ71ˮ>熞2Ahm!-=Tw[G ]X #hmn aMXOB Y@X-GvľF۱];'*oHӸ!+0t@3 l_v6C+duەqK8@-gmGZiTWӑB űm|(2ի4L6_;bx.]*/Էam춆JDfCىCuPdP 'iry~m_d侎xhln+K2MknR}p{G),`iHF OrW -<аMa G f=Ybw0p0 !UF oz]-<˗,S\)yhs~v0(zSJNaZ{S?cG:C~U8^Q'#x@'n ?a3 ,~K/+3+kϰPI+I"*b +{A'PL$aUU2F(_W dRx%( ؍^L.񵨔*] ? }L ~7G #U܊Mfc iոg҈禡VPKj|xPK< ai/krr/ontologies/Taxonomy.classU]OQ= eBU**-TP( h ݶ׺6[ĿOsV~9+1d|eYIpL,hN>oMRIKsڹ/FN!v=J'Wy1Ж wJ`:g6Jf eF34g)[gh^0&T Y'Y "#@*NE V $-6s\_&aBK 4TM I kd6YY;0!/*, t_l1f HA Q0 ©kKT\%0A1\j$(C~ cDYܗU"IqO6/5 JcKm[XΊ}a*z1&Yŷr:`]ӊ3wDͫ2b cTEn Q@zqҌ|IjM]Ljwsӊ19[JNǼ!*^, #puyKW["y'?*%*24VZb! QIإ;)dĒ&4PQsMMNNB;ZiGv:'/FsHet}Ơ BZit(Gs6:ÇTv!*n\ "BvF{`oZZ**5yG2r<?S="{Fx.nwqwXOF=a1A_kl]=4=rQPKkwLPK <ai/krr/productions/PK<"ai/krr/productions/WmElement.class}NMO@}p6&.O0xޖ.f8pj8:7&~oH"WRsU{mVB!Y˝4%[©6ۻ%!x+: T\r2+a\Kt[u !^IGf\  N~1 :_sB6]ޯk94 PKRs["PK<&ai/krr/productions/WorkingMemory.classNNA}ǝ(/P+pc1:`wlp5˝eeBQƹʙͼ7up~\z[Eգ[9 "7ER۵ST-Wwp$DneRqE15zyi\j F >nվ0^5q&HRl&T@g7iZH0p"H= gAPK.PK <ai/krr/propositions/PK<ai/krr/propositions/Atom.classV]WUݗ$)4PhZ4$-X@k4Դ$W:I}oPW}֮Ǔk?7so.&m<̚{眽~< ;.a^wcoخf<Ea4k[*o\\aa21쟧 OnyC[ś xxViu_0\l*0TL2 d!oFuI;D |B?%p ɇ;-M%Km%(JcڛnK5jΩR#pu)w$~-`\Ļ#G+5mDCt~;=YDnᔂIg@$P? _0iFN5E͗Bm.2BiNJfJ5HOT:H#4ڼeh Ap`X|7?PK4i# PK<1ai/krr/propositions/BinaryConnectedSentence.classWipS%[X1,6xL IX 0f1b dH2K[RHB@ J:!$]:tʹt~[&0{w}s+.d@ŮH;G@8 p(dxcŌp)(N``|}] w @Z7yjWmoi/EWjhL`MglFUzP V%pn8k>ÍG0օ1;=zEPuV EC &h bZcz'jْ ֐,o #Ҧ r^=QlOfU v4L܁i+J7@IiB`NAgjdkqH0%D#pč٘IW`r\NA?W?67%_& (U>Ԟ*)j,E=K{[x܅0OfK5Q ӈ1ED'.FO}Pc2ihPrzS޼EA|JrTV $[]>)U鰷k=,nQ[54c=YAU@̳ל%kܷ'rU٭3BJ(Tƣդw]**cčU(56po-sm{`!qByyޚp8h!ۖ"ӫ \V=11+ʧг ].ҙB~7T7+/Qζ .Ĩ$~ChW(7^QaS 2LF*=k δ:)SpW1ڈ,}s =&POPEy`Wtgՙ߈> BWw 24pmSiWT Ndt);q?T8`&4| ,m F yf]S}MëJw/M2vPZ?\8ELI= 'pZ01# ױzo'qVxIwD~BzJG:4/2撆GU <>LMnFgV OpOk4TG`Y,yz81( ;fw)N丕+w6ͻ@˕hr^qŘ,S%P^~ NͿ){ y.cj/|8у~ 7w?k>bœó~.ܳځ3%&e(團#i&e9gɜF^0i/ Ǣ<%8p 1-T>ޚe[qg[?MmsV2{+zQhVb5M:GGp*ً[ї4UQ&fzق*jda0MѪNOD<= iglZo-0".f:IsdND%r"O5]~Ӌ>zpGPsik?G_c?l J4GJs/Psn\lD"fxyZs\::T`,dZbb+)s et'SgYՓ)OYԙ7<L7U}Qzs3A3,{5u%&j|W4i9øM!wxx^y<6.M5|nCWMZu;m򴗑E>L$Pdv1ŒZb4?w&.+zůSeH9li o߲.iSvIU|{VDf~[~ rjXf_AG٪6UM*+);?XOdowa}7 'B/^jdVSn*C/))O=?/aw` 8nX;oIl0W爽jwNM$5p۵m^Pq}sgH]z!4fTL&Gd7 ̏l >'%0?u}* ,BON<9vg$4|OTiKd[^쳏-c/y2붻pKCa6ìύv̚2+ʎsRsoɲZ$מ?o"٬]3՘ /I5׫.+0[cNIYA|nYl-N:E3j؁=ҌSWxBe뀄C ,+@Ѧ[s ;MDRd}:Ks-荥戬řۮ{ #<Ϙ4w5ъb;GR6l6olF^{>\(,{\~=_#&1o? جz(h- J K :JO]տ 9{8W=wSn!O:x~XPg9^b3]XJ8Z/V0'-'S'Og'Q'N Т*p~Wڂ H8l.I]öc% b`ijUJ[s0ۈHbIK-C&q5mr<ˡnTz3+7Zd/gh wMwd".>wQpH\fB-1VJY8fDǜԳ yS~{avL+6sҘU,Tg=jWr/T ȇPq!#%P3`r#8_R_8 ϸFv!ԇsLm7T ؼP8Ŝs\o=CD_yvQki4 ǀaIJ6LA7v$¾yKe̐d>`$Mq? .EVe&xB}s԰QYn@K->ArU$+E1K{ }fL?YOU30!Y~I*[9AD{Iżͭ8o}mmXqnmaR^^(5w7ҞwqV8 *1(?!ݝb7>Cψ, o'AxEܟ3[dOɄ>=iAn 5T*oXg.p#d7e W$?zfBB.0v 1.07Ldk-Ldo*#-`JX+3 rΖ%ɝp.6K2d~r+jɒ0X<+=JkS9,5>ucaTLxdk*UA8.Lu8Tu ,FέGrաFur4tRgmeAjyNJz2x\y|@Hx ^k9|ƏܨduUqoʏUH DYffI߾q:#1=?TϏHPK-.7 <PK<6ai/krr/propositions/ConnectedSentence$Connective.classT[SVVuSh)vR !bF CGQ*$F#ؙ>Q3S&yCT{Nĥv W_D]BÄaܖmymc{n;W\2;VS܎嚖xmKBsc9&Ch:p|lySI,NRUk˅'.=.UV)z:_)pX]sj2$cӦcvg3 ״b`}3D#IoYٛ " qpKA8s82Q~w[;plVnƺCJe4U÷9N!\'gv4 a#}d.[3 rD"YӸcR=L=i#Ix0r3q&e.~oZ[xĻ``&u|p{@/p3`HNcm* qaȞjm9%k4`V`( f PjO,8F??_<_<>Mg\"C`ӻ泒m9͢{>aVN񠪂; ^7W-pA|? nrDuH>q\'):3JcPɓFT |*j*5D8acu3 ر85q#,{+K**J𥼘%q?\ :a"=)#0J 4P%i м0Ԋ:E(GKd጑O#$rVq_B%|-Sbqx2VgPKɧPK<+ai/krr/propositions/ConnectedSentence.class[ \T00<QfEEQ#nh3 3835ٛ})d1&*f-&5m/M/iM4[4Mڄ޼yXЦs=s㉯>`*;l0+ 4/  6zoBaohtCBs 3H*,/+_^Q}5 :pr[2Admm5V"RX9(~sf3$nZ|캸ilw8 2_]6{kJkWWXx *˳ݾlm8aH,}_A]Š, 6xmQVdɽ]w6,*` BކQj#HKXYҼaH,$X1aT1< l *p2JϰJ_[T "3U=n*wǟΥ9oJHKq~? fsj}$J(o({6Ș'p1L9݅ULJ_]ƩLQ1?K5˹ HiECz<.U9a0d0[E 0X#{;CNκʘ!k7ٹqbH<)ƒfo.?loDљa|^%>YcـkJ|A.$E{-7'wƱ5**f G12os;JD'٘m!w+9kUԁҠnhXf⏀!dZoD( Oajw>7b^XOkp|z3(j$w+ wYPsK)`':hA0:-ATl]WahڳC Y؀I؂!G 8?+VTB 9[BD̊/%i_a  4WɇZPʬ*}Nm6TK0laƆ,R6K^H3\[q Ҙ69*KgvT6&A:5 *d+M ep%X}v|ed <+Wlpʦ %Rx@_LW y[*K&{x h"8os:3> Vrol,Rxpu ¬Le)ESrFV<8J})ÑLvk*KTUZ4QB5W>$KUVÖg Be+*0}L|`QNeo6vX ׀ p<L _sp "R Ns?6p *3J:}F>XS&Q yaFJ0{XD!ͩDž%  }Zb-V\ŵMe^S.yYT󡪀KTv) ug!&_+~6H `I-a/?3MQk~)#'r)rU\9[uj6dgu*ʯ>t 7%a rc Pٝ *JU.Ak;v3iM'iW;n.k5(ǵ>&F '^cV&! Y)8b]zܠRKa9&A,:T܈ę<8?A'a ձbz. 5|**|+.Z.YG7n:EX2<2Z q'" xŁSB>Vx=&5ĘLil /,! mC!NF܁%bTKBQZ Y8H(>j!ٸZ ݅ta҅HƃmH59Q?hEֵtv㑘LEn eAEl7IPVy’S'`Q ῠy&Sai(i@ ?JQK:n vXl&dÇ: N{Q?McRrzGÉ_b${6"a쏤J5[2W._ _WZozuC9E Ha6Q4+u~T7mShCJ,v"kA4̡"7GMZ|nzFsy끅J$c%%+\R"J$̣jRJngi8crTg6c@Kb9{4vSMxa/ƥ(QH.e`d-߮<:lvP܁bas]s]"3Q6S{eZ$&ؓ9њ vFn1N<k\H|rvD+t@uX0(ڕ{{Tޕ߫o'@4#Ȑf!s(J0CJ+y8_ L*ǕbJKqT;j'!<<.-! /K?1o_Kz]r_R=6TRFAMlYex (%PeZ/Ji*mTF5R&1HT:sJSP ѳxXP_$QPw%Vi9ElՋɍnȮq3&_@o$éNՎDn!ܽV.܆|Vlh;&s&X7KkGZwD mƈP&9|ͷrf㸋hInJq{5 kY&d\\r'ݎ-T7Jm].ڤv짹qTڅn!=w=E0)Dk!-/k>`D)5v4 &S5.<43Gl>;ba/׷ 55&1TwIc\-bSؿURXOh&Tq4umjU$#81M0X* n34JGX,/\/}WQ/ /^oSR};~L-&KؽKt N*X21Fq outݢۭTӮv{.3[X?@*aW.D&1%y)_p+?=2lDエ=bEEo>elVdJn3 (`>8Hsrƺ9PK1r]@PK<9ai/krr/propositions/DPSolverIE$ClauseCountHeuristic.classRKkQ$4h]m5ڱ $560ɢirm wf OnRǸpNR)" ];dQ[~$])o"ͰBwU򕯆|`wdD-!E͐z ?9C?\t=Pv\%9qC0o iن2@a(ܙm*#%W`@ 1a3,v2m32~20=I'io3?a G_yq9BM O(z\0A3*m-f-$IGFj_ccjg5Wgo(`m|AQs')[KTK)VqLQMpPKrBFPK<-ai/krr/propositions/DPSolverIE$DPAssign.classUWUI„0H)BI( B[h h* ~uLp_9J7]T-#XnpOxeHK3'fwͣ9*1|8cWl r3 yNv1:Ʀ"ҷ[/z*:NuXd-ov٢ajBe`YжnV9Co;g&׭g 9 71=O`z%r)exWCp.q IRv$G,1/qpxiuӽ+mtᴆnOXk_͖jIU7t–632we-HtUf[Ç(oW"_2ā(YAZwdsb>L*߭ӀB.xżѨ88ht J䇂Ab8qj+ߢk*{PQ~sRzĐo$Hhz|^w39X;H50{*_R~BW~> !bg$Q"DH8$0%y`$DDj:>:Ëx.H݋gB'{Dq t\UUw[,zh 1#Q+2$`d)17b˻X%Ij7vN+? cI[dwh @T@cKw X wSq =/;Lw7嗤[xy554q1 &SPKƎ3UPK<@ai/krr/propositions/DPSolverIE$DPState$NoSuccessorIterator.classTOAR-?Q@- d AH4Jan?σ=gsg_Cxch"C9X:aS+ AmpWr6byTY^ ZO/r3tͥ9)3,X)QvG-qL50XB,^i{:t\Œo8@Zu5zACgXm 3g1d;8Z?rEW`9ᡰ10wgAwTbw$DtZC'wgh,Wu9 C^k,łfg<>VhF( Z0L=n^0~0CJ7 XzbD#,jc\H1H}Yj$Za>Roz)nY7ɰDIcޗmOi)=iǿ;ϯ{ ~6`? `Oz=ܳ_ܻ`1jdiFҦ6,V ݊kIZb4e[ &ҚjmŔmf('wMF)I[!H3E2 9ɝ0t]gY^=J .f}ȉL ʖ:Ւ5%E!1xkv ogp)EYmޏRLQ0}F$c:CYJTSId,Q OHtIՕ͙vC#䚌mMBOm>qg<).̑0 %\6W~#,"0o|%T񈋕δ}X6aQ9~rTA)4<%Rx}3ǡlZY9`D<0E-1K2wYk CSd=qТ>İFij SGۗPǍn@N0L{rwEVy$By~-m)uް:Dm$A0jz4S]tɼr2XVp Æg E9Ve6JN6KhvpokJ4xa0x6 [tZ; =8 ;x/=BMßH t"-7x(ag]"2t 7vWqNP<&a9[ئTȝF9c3vNNfVp@bU߻6j)2$4J?{ k;HSH"ec;<wOot鴢SY8|Q/ <+C1nK( S֕F21MY 'qr pi[y2o| ?i枤C #B5:1+p3&TU&2dwQp}Jcutz;ALB}HB%e_xc,\cy'9ߝҞ|1Ɂ@S@tw7UH@Y?$\*zT-8@uFq[{Am2 i 'cpsS' lblZ:ʫz|zV_FW>`@Z>]Շ4F^lQ1roSn-\{|bK/i9ppRZ2WLc!@ZOۇ6s׃ai^tޛ?/yy/worb,R8Wc=0S=9RO]XRqW{K(ER1vsu3yzC,/p5v/ͯgY|Udq4M:3 i! I% T 7R6=!AiOȿpwR5wD~  8 psf.\A2,$M/@L,=-_4rЋxchUm\̮I׍>&I2ƫNPK0 PK<,ai/krr/propositions/DPSolverIE$DPState.classX |ToL.$$ aHd aMby :L.ap23a[ݶ[eGu֊EE]]mmwuG֮v[>V|߽`27{9;9ygNXN+\%pMDk<ǒa#&[nEꉞuuj ;lOpo5ܣ ,!ݭ6%zƚXX%M I;&L%uP2SF8Go҇ITB'tO+0t]4ևM,̕5ַMu'~]Rƍ `4vuӊ˹wWI=fֆ}]٨n?@a.#,pG Uuqɤ,`pB^Q+#TfP2Ͼ{S;Vi< #DX~[.к? ,0PRxXRɷ& .]h!̙^=hF\\ x\XAhޚmX)ug-@Ly{&}CG(+1ӞuCz\wJvTޘџc C.Y#:$2^ѡYE]\YfJb̻dppru< +h]٣\'*殦"gXt>'4,}^ SE_2|Ǎ?## Zik8_.AjZ܌1y h8{hl/ϑ[-2pg _:#)顇49q_YD;pn|mݕ(Ƃ#fb*;ze> IR3mL1Oi8!\'+zRl4&82UJ"F..R!YiqR4ZO6}ZT '.EDJE:˵u{<8%N):in:$.|pY"s־?ƫQ}_U¶ ߔXnwoUh<&27+ :$[ZZ$r;**EuZڒ(RG o9j~y dͮLJg "s+Y{Yzu9H qzL?d~Tmឨ"iH*d3 w&cX-s?8T0]tԺKfZ#V+M_=n\:ݍhŴܭZ,J 2;KgґG<$K _]&L29s3U_t?ƕw9&sHgZ(&MKs&wڪiЇM,XNR:=pH)(o8XN9x Urb[}ϼ=mN-F)Рƿ)aL3R=!9>GMk֊_f>I=/֤)+/w|W0ggr46\++,5I<ȲS7X'Ƹ^]}[8Zhgm4*]$r? 59'٧0".З*cNGIGf~ncJ?A|ƒa.m*8У.=ƥԓ\QJ_\3h5dU-[^GQ`cE-vM\:A1yjYT7ע"S,Cȿ a@_S%/vAp5~@ec&ys=gwo3C}ݑ"uH߃FӾ4[:zG~OnUei[F}EaA51<3zGϞɚV32UAq9kN$1pS4+ހJ~s-*FT^,}Alf7m/p؁;uS\Ϙ#FL ;[bDJmk5^2~_ڰKI6lfBޜUwmm V['WlwwUAsf@-y䫠jJD(|FxZ"K֓# ?w{Q!u4)=frYS BˁʫLe"ZHTUCWTg^AhiA!>z~Qfڬ/RTX|?~xڳ*+& ;_嶐+lprMF5ϼýEZyO/s9?8A?PK hPK<$ai/krr/propositions/DPSolverIE.classY |T2M&D! 6ABHHbj2d&kԪmZj|T-B0b{nvm׵V?ޙcH~~9y?n^zg,!S vݮX/miw[&>ku`nk\=V4fnE.([XW.+Zֵ9HGc͑Dc4Xiݑ`"@Y2\& a'b.-G.;Z9K&}ZhȎtSȜy{Bx܊9GxpG Vv툝X%ȫ!ˏnT0=022v IU qHgsML PV]jvfJ ?Pnbf)LUF=6/)@8+iU-}]Vg D[/KX (v#9i" j4p\@V7mJQe* N.4Kx3-q'xQ&Nm%6a>YE';ijG(]+נJ[,u-u$X^9tR,ֵI{w0 Ĝخ͂\@kH0DiYa#6h k |c連Zռ~`YNC6rukߋRUWW\=1vFFڼ8z7Z`NU Ι:ԶWʱҚu~tjUxP17{4zOc4okG{b1OFdt]ޔÜ UYeJ 7@069A }jk+: PaܬłR1c`7eɫj_g9eُz0,(Ěb|7(S77Dl_>&81qB.dVd0p Tn q3> ]6 0'VաZĝ X:K*ǖN&>-RjϛG_yiZВp1%y7%nbw~!xp+&O|ڜ00Zr8 UeXEBTl㱧"%#\9no&~WVDs1NА+Mr4١ҎdWl<ͪK Ο+zc4Il1dw~9Wt9~ N?E ~k?}rƂ}=}x÷ombC)F,kZj-D!,7EcE/_GhoRT\CL&Ӽ)bftX_< \7kmS٦&%tKsKn.:8--u)2.3d`HK) U(#BmJý$CQIe /k/sVwjJi8'v$vExAjMY f\Ѥ癲5-m'opѬsn ;AfC~$2.[u$Â΋5nQQŦ+ƒ} acHȔF﷭pP41v.kK,aKM }1v&Q+m9QF&pl͆Dž0e\N?seN:nx~Lژ{\]aJlaϊW8 )q Qp=JS c~ J!;k3%$W._}mU_6' ys)רu;vyJwLa|"S{1Lg=Ӏs-|EĪ:@Di|?Y6fؘI+ ;yqwʺ0Ʊɓ~Ȃ_{p& 2`CUҔ248 * ̘?(z@1u+㥢w 7c_!>kA|>=3T/>½/ċt}1| csYG|E-?` _Opqg `vBjC"}̧;*7^TZ[|2ZO9S3/|<.7q^^޿^g<A8.șˍ"~VE  aY<`pu.>donk댇_0f_g]%W8fz؀7}C/~=[xoI~'j<}oo'/ \,ryـgh e9M PSG P1?`֫!Sڼ:RkQD{7[֥d}6iR CLe*f4BS.Y:y՚)!,PsTZe JS| %WG)Cg>ʥ{xsSRsfXj\ EK^{%$1 <7w8TV/W|rs̗򂒂\ݏ- pPU*-^{_ϖ(}uoP>[ ="Kƌ93cMW*^J>֤Suܭ,#i 娔l7Jtp.JY]{esw3nOZl3=!mGh}Ki˞Ci2|W+q<ӂaeAhJWh2sTyge2O6I_SVdx#N[NOP/rj S<}ŃhJgv .@P'; p& u a#A^FkΙ<)3 9~ՓiQZ% {S гF\gם߇D@=dsxuȓb>b>Oy.G 1=邢PKa&PK<Iai/krr/propositions/IntEncodedClause$CnfIntEncodedClauseListAdaptor.classX{`Sܴ7I/PB P`Cl+XJhr$&ssmn27uscNAv6q^mn>^!4M۔Uswc=xRUaӃ=7D#^_ج"Fg]H%u40nvQ3Saݭս!=mڹ* .o  X۲/lc+Z.7 :B7٦z  2|-͵uN(L mN'noslӶMV#6ַ}6([YY)ӇNYPjC'*+xklGMk g@M)~H R ui۷VҏVp$ eJ }XIkdn5( x&O՞`7γl:x@ ˂#,=z`L$#f8mU" YvҘBBBp\Eҕ XȫT LXJ^@q Kd4Y;"@q NuŸtgd6X* QCȁFJM=s"ec9Wi(<.%EY5 _'pIǺ^C^OZ!`O|&]N.6hX& 53Lج;Rw襨I:1[zH4:S[0ta#1C:E B9&Fr4OQ3fgjW \9Pk$jI3ASL3Z-&LJaJ%X|IV_,hsVB`bem* ,јaRQn_Sޣx93]oS9g謠T>TH!Qߛjp5vm":DG5܂qf nI|n+6 D IbXfL H TM8gT<;'tJaOs+X>3ì,[܍/G`Xp-Ϥ h8fQkq 8A;F9p>fƌ$X2/YYnF05o0ᔆUM=ݤ| Pujxt>o12UZ]ToʩEp㍄NBp <!)!$DzgÏitUtk vu%|߁'s.6!OW*hIXGï49R`5=AF**2=2ܽ

;Su~#i $nƺ ;9YȘ4;VbǏ^dgo)N2}UE)(9v ,@Thn`9RiΥ3m=iٴvA'i.r$x#=sܹnu.IY2[и@!ð*ǰ!\t 8W:q2K~;%ٹI{{m1\zʄ`ܤXȵ4 -පBfXڰҎ +t@@;Gʔt1|{a)'V ?t=GIa1atiBG "Je]˹wc-K*6 =tˁ4N$'>Ӯ}r~ɧBO Pcqc %m&yѣo֌G)Ȧ:KF}=C~TCav=cqbg#ޏ$7R'2I++$(408(&l*x Qyݓx%=.f'68n8$fxN#g?uyS~dm$z* 0P;euʟI6(|w*l:op*s0% n M@r6"')rO+5)Y@\0':(YʲªUه,R27pdr\W#.2g:\ ls@n4Yөćuia]52YaƁ| i܇*ʞwb ˥Xy!Q\aw ˀPyԕ= O>(|@hU3%|W69[4Gdc짬 er J,Rȧj\YujlT.:)kq7(qw*>ܥqҀ! +8lcJ VZ҈W6aQVM%iTl2E@T|1C䒱s<1S{p 'ͬ)fY4B%ȷ1 .c~bhsh}.sa,DqdnO|{n-nEdv{q)tIqVg&Hup{yG&q~MT I@yFeR2=M?@(JPKk>. PK<?ai/krr/propositions/IntEncodedClause$IntEncodedClauseList.classVWEf$,b jlKQ(Rд`iAї!`nZxW9}AϩV| r9޹sLcg)URxWdz?+%Y-'  ]Ɒk*3+v…Àr*K׳w_lϔDeIW -mvu}+\M?Kđ )(!gVh%n)i `8oD+ùrֺtНJsdǐ+zKfEUU>.R{U[\9Sjn(o30]uҡk`p+_/2 d10~==]\c60{Bmm\` 91]Jw\ SKgwՄ1)I ޱ!Plb .&J%LDeִ 31#a/oʢOILC7ODS eZI| G m dbh^P q%e+'Kzh+役/d8'gx ͗۾$\O֕̐\Vk.YOOEk ϔV肉yn9F mc9|T ):^h]ߠSjRsr^i c/ׅ#q cKcGy~("16gI[8R뫂vz8-VstX_K~(x x3RDzBw\@opm- K#>Z'[\ R 䨕P S:@3 BI\XȐ7/{ eY 7@B:J vi<45Vg>/mQhm>„}3|"^z?;n? ԇ^ǺHhC◑89PzjØ$9rZ L> L?DE%;l A׌QBh}};DDV%&rC%X4`[Akt&%PK( PK<5ai/krr/propositions/IntEncodedClause$LiteralSet.classOUǿggvA~v)bn.ʏm+&@h/ :uv 6$Oȃ Oj[?5F4Fc5_IܻBx}=ι9?·O0K"__Z.N蔼 I/_*؅ Z )'}˝C *uJw-}y麝 g_cK+/e(Gh鵂eN`-v{Xu<' ьV -=4~L vv.Lh+ P Bu|~ @BT)osue36VUr9 ^H3PZa=m z h{QgGhѺ[Ί),._B2˂f Ռ'}Qq3',.*"v!}kY 3[#ݎԘ*ﺄ&.nkmO a3vV!w5''w 7ڷϔV}6J پ41{ESCVDZ㵁zJ^L457G:4u%vwL;lr&E*-t{NŇ= PK>A>me<(LF{mmYGK*~7P[H8Wg7QVO2JfVNc"*'OřvFU0;]㩄,)e;?.wZ{$p~KVC'<^|lՁ<`ns"QOd8EuhjI#CM`ORw.P)%X F;2MXTG(^(0>k!&@AU/0RhjM0ңKD<֓y(R D0.%FdRO(I8Dk) Gé5&z;0Q(-h 'ТT0ՓTJ֎d %p c0ցi3ʬKX‰ S-=zb Ws#YL9ynO*ad#f"Q('k*jȹBBq†1 Ԥ=D:\'÷*~4az+0 SzSPUo׏<,p`>5|UC=h&oMIZCI`+Fɉq LC3 CU_b_ᛒc`0cץ J(n#\-7U2 + WG, Ix$LIRC+XQդ*k4I0 =sDR뽞).!jfRsYnZ#ahxI*b[<]W|- \s"X7rYUEȿ r`d 7nbfy6ZCiQ\ [s"5$dޚC+Xdƻu`ť ??rw|쉐7phN=lju@Bpީ.5nGCVc8a?ڊ,4N&KvjSگbmK[nnI:t,fJ;qup?)ǟnib:ш4m0쭫j/Z vf,X3.),\I"mհp4֪]i8G8$06CT2`;MD o V9pL`kz‘,it1$4eF6ΪGKNe1(^T)O&׎aS&zY'5<-yМ+wUk0=̻GU]i8{CY5[}`Jſ];sZȊXvs=D%oCn-TkO<γVYґ_ɶU-&Zc=}iXQCp-CCnФua} \VFOM)q\s8Z ս3 ̿(K|sM;@Ei5y4&ʆ<0 2uy5F&EPqe^vAG>8`=wqigs*f/h/h+( 9J< K<ڊ99Oyx{?ϙG0%>oA3 Rgc)~ጔUUj SL"WY7m8|2^OE̶-~s<%\)X 0{rM* L.)֎)G'q2⢹Y6_jMsp=XI쭸 Xv| avS^Ⱃ+7Zz/G^E7B~\d~7-iI)unSQ0t&3s ls%w4aG>Z FBdp CQM/M Y7]҉8n͸wL[nh;;!14 ]8WMʗh,:9Z}%uj̴jEn#ړ {}YkcUME[ewoG< 6,9Ջ{>]D2wY:x1"?R[Q[ijשXI_0VIϐIJ 警,RO:3.ep?dk9- 41e6&&:R1Ρq>AGR>f)/2QRȓ4sR2EڢA ?F^l aZM/,&+qςh$, ߤعxz +A,˰#G6}&VE|N)̗r,曪SRssrof.v*]G4o ܱ>PJf9Vv/gև̬xObrbc~ L>0YǭPCacU +^ "F!SVXGY-ά 0~x/)!yvUM *)JQ*0SL@ W 7X)H Hd2aZlՋqI`NL,.F,%SlB3!Z7!KL^ԣU+L]TM yTd6>x鏑HlfE7{TCqQJXOF X~KmE'vbujnJ- {H {j]Ȟ(6?v۶h3gX7m:C'eP3swkZ7b2N "Syay`(~ bP'l w<AM&5ʭ+bEO8*#Ps,8@ڼvh{Zx;G ҆/YP ݋񱌏`|S4xղh"I#80L i$%%E@G;v_teyj..JBE+_PY" -W*|R\a,a$mgp"awPqnk 6C- ']żI,sw¸wcX!`bAIXF@CTg-XGт CS+J@ojjC#^5yFa,$Bf}m98N,HrGW)(O%[FW7_oE[A![z^ga*cb-Ñ`(>"LA㉺U흂 "xp"rTq2m FP^[i|ʡQP#Nl8p, H<2liGKq;]e$H|NM"9M㺖kc{}]q&OhiNCyoф75-(Tr7fLl 'N7|ѝxWžDn80"aLzd e0*`bdײŔO~keRe4j]..yBj}rntչ<]x!5'gujWY DĹOmhZh !197TI!zntCRJ:/$ϥArd:+'BJdk/dTsA =# IݢQv! /  c ߐϷV:9t*M*jwQ@Giy(.!dĕYDJi'yA4-ZqgRg,뻐G1C P3qW#.v?]s]!PK_=( PK<?ai/krr/propositions/Interpretation$InterpretationIterator.classT[WUN20"HKZ6)B)ؔ(mHtjɚgEWoK* ʲW ` e_^-Ì8cmLr)N! vT( MOu#^0xf y*j䙅5+9<&j)$Y!n mGg7V ttϓ#d`Z7N"2e繊׳ ohghp4}"b{ >kZeA2B}.)0 *"pII(DR*FY|pE^zrt[$bUThu bwTknXPn -Lj6  x ro((h5mCI Q8ILagJdȡţcÝ4 %h<%TJkxYRiX*Ū$DMjf&iYOĴNsSVQpNJ;x`bv<x#Nj)]୔ Q5?א ]rr|*T2*<ggyd%R`p=" h(WC#th"f3_s8֧P-(t/%o@KxvGP Y}>K{ADzA_1~;;k-6"c۸䷁gꊴ Dze^hd,+L9V'I^.S]Lܲ==NL&Э&ӎ}\5.@q5J5X Th1$>DA+}0<'{(rŃّmd~@ap~jL "lJˌh!d]$F+U,jUXc*jQGΤAG~h8[Y) reӹ+jSnUC'St되PlDLt\dR%0qqp=Y0m)`cƕFBآ`bZS`вVb ֫9)*)X W)XǑ,#y_T9QT2R(T b5m3!~]7:SL齱Q*KA~`3až>`T$uf4-VUрQq }t藶kq-cB9QR? 3eUqX$^HjN-Hsi~*&0IUiN5+:62!5U͞CnMĐ|NSdhHOkD< +pcM@vH˼ X #'NLZ_xa!\Rd`LxAmvom^c)='>^JX|( gd>Z.nWс;歔r1u4uK>tZH}wD{ph/uaTAP8 Q}r2ԣ*WnOjOsD)` BSayurKn3hyy\X6O/t6NۘDQ=ĵ+_7!Jx'%mnQ|ۋL=KC qn yml>6x"6-@9]sE+0X`Ǡ.cθ '<) 5kb vK'wI0wsҙ!. u`+A$$W,`e+Z Z*VYSvy6ltH-M,ډw,~ l~TGT45z7"_ᢩY= 8LvhfV^ed#7 jb>` M&I _х7[)ȩTp dg$s׎˘>u+q:l]ėN.p0~//RP-d p A?NV߃;}˥Mp嶉 ,9y؇ x߯`AznӞ8řEs_\;~{Uq\qלlv/I`=[in~xHJ-RlZ 2xyzzتJET%M-: CGF7 JtF`r8%XV\R&j' 53W–}PKknPK<2ai/krr/propositions/InterpretationEnumerator.classV]oU~Nc JqPRvmWtkk)-TR~ ΔYPõjp^cxkⅉ79e43gyy}_gP#ԍ۶Y1\2ԈJ{֖Cf mݵl A5z*3c2j lglY8n[-5LAkJF@}jV YiټX;jnj GkI4ÙƫڎI9NLjX'1-F>5nK9&֢>&1/ϧ["&lQ"nToEۨ)/m JGЊ6 ;-;h1mHGMDю|Nw2^hy8ɖ59sTC`cs5`\K""Gӣ47PRC.D956WZt23ǰCmo<=Ft3= \V,h]戼P4.y_rݠ*?1@^^Kz2Kͺ叻Y7V>oC-ai3 Z3fL-ڄwi.m( 4V(R'ï;]Xc88OWUdӊ3LNk9XM(^SCAXdXGާU8f6Tm^lR#)81ua+?[,̑Wu8 |ǗDM@#3ZڀUX͑|o43wx#9L.6gnaM;x&/L禍hv2T-C_@'1*P> l8<[:> \~r{} m a0ڑ;T^ Ƃ%XN _N{;"|e/9bB $☦9.,.O7[i2~$Yfҋ|&qo$A득>N ¦XP uBKzoTFw"%]s%2a]!Wy\!LJ2+&k)" 5x$C${$UdkX)r~ml 􄘰X2IMW_n>Ra_ TV6 Bda%{   )vpL:ܠP7)g笎/0 }EIoP_{B,, yͯ6\ id| ihd< Y]B.MNΣL+H7%OP,Y-.KN6B Aр 0tT +^fo[6j!ϥ5h<ԣvw QeA?N[g(-J&(MSIURn>Ci3ىJhxFg+eP;zq@ʠؤ[苈6'WiF AOӜ:Z|FZj:;@4XWkV@q@ЃnNb^`ۜi; GVQd:ABCr_Oz'uLaʍq뻻|~dV+DQ`*! EjBA$y9vf 17Pa旙i;ӤmRL:BpAt"LnJKJT݆<Ņa,+ief)opbCDf cQ.]Jqr(9J\ITj;![!"F S0س\f UՔrFi,*"^ؔPAjdi+ @]AC4ʭ=JۑPRUd%#J=Y2gbQVcb15d*>KcO@#h&9}ip:j]j$9Lr=#<)̓VFl~*[3k=>iSa==AGυf.`:+]6#;UuP(ܔM"8ViJМ3|LYR3T7 Yv{P-\vWO)l5|?˸8t/ZXIRmP*(&[i'nnwG /BqnD*^ '-(&P(X kQx,}Vw`/t/sB]+dބ,;Fk{č7*`D/7&sڒj7xͩ+˥h*Qq*|>^cCX9YF-FJhgw* @ Zh oL3ڠj-PL(R2]9yQM!B<ʗ C=c8fcMMR ͛y ?M])m}V* GI +VVJUoE/k|<;B36;;]/s 6 ݷ7….bBӥv ]Az"u}m@'[mĝ2qE1GtweLV(i5*g: kJ$moڅ2H[) veUi٧ #>!!u+]|{ÝM')B'|ud_29q[*³Ľ[= v=Ò?sUz+?R>wwk #L3\bS @0\d+OG)邏jԣ,&]ZeeVlO*ZO#Ku{[#d`#lpG>rG rz.Y"wiqgg~,= j*Z%(]_쭭qM^YmP\a{ѡnb⬮1 [T!z8`JnFߤo'3`Kxk]V [~z cp@|IA@hzGOh'Vj}ݮ ܺU t.}[zdG0PM/?W֪ozZkJa3ySL6"3Y0O% 1EcNuzz"ߵ0W?B1'c1kn1I\#J;G*]lp]HP.3Qx;z)ɴff&{i|/--RR5VjոܶB F5Vc25르e}~ڛ}p7jZK.,h; #`,>FACN=ISN%6c|XP hNYsSMeS>oB}IͿ3v]d~F9߭% Iyކߡ.Q" :}CL7)^f M`#TRD &fv}_S cmҏ uEw "Gr`I+4ahuI;b$D0C; rvݫX> 2Y*M]1E!2Ɠ)!+OSd C[#d^r& 5el#-XH3k@1>9y}t`54VƤhP dn)2/΋(S/"gM͎08+XZ fl4f_L_Fq"51t4B*~Lϴ"23 2NnViH!c1N/ݝO>NGCtQ~K3@oHo{bJб^Ct&triOo_EfJj/\ԊZBuTS=@-|cpkwIb5YY $wco*] ;8Br: gQ7$r9BrtT gCəq w/P1E%1|+LӅ|;i!E˸Vt9Cn/&6"5 F#Lm'.|3cpqRa[X+|ӚKSJ6BeLIO^gbi;I䝧9 p4.AO8>z9LeS*_Ap"b Z4 Calg7sNi#3 *03-M6mLƿm7`/E4qwы Cz`4K9)EiVlJZ"M5fN7[vz(Nh@oSC.QQ) NP@' +CTDekĴ[X¦1.PD}ΔL@Y*.nO`'Kbi%Ɛ2A ~nziöBM:lj]&hgns~8A#DHfN%`hT%LT-I xpTVٜFʀV30Xlڤ"b2 ;M (}"̌HN% :0`\'F#| >Xy[)-(U(C̦|1.T*ʨĻ q ՊrjJ!">Rj|çR Dlh;jݎ$Kt^>K#U4N-t@ yb7/b DxV(zc[!nᵊ5B z*I*x*׃ (Q9F;Ad`N|o){haoNޚ!lɅFTt7q6JWR.lZno7~nW4.ư$5h CKMMQǛkzSB؝'?ؼ"n-fR|Z6wfjWmq~)u?+mIVMyf&szɿ/kŠ5_(6fC(*;6@.hr?6S{8)(ԭԦQIQ<oOy%X̢6H6&蠗-otqMwQ@Mw,q2R]tK7;n1@QzP)=Dx_$aE Y(DY,RX))Z0ĵ 29x>3kYMnFgn|1B>6^JB3X-P1NYh/1Gp*ݽZ تih_B;_~?BP܅WzSNJBq[^ ;_ԯB4MgSi"MTq)ii՚rh捦1 vUXtCetJZ"rz_OxbR QgE77C }2diF ې}fIq;<5޸`PWq{PҮ}G ?%&R?9؋EJxq{]di0*XH3ht -jh9XfTN9?D,83$L;LQPKoJ m2PK<!ai/krr/propositions/Literal.classV[SGe`eY4 Y`uDD@ JbtatYgghMR^HU.rJ*UyLB.T~C*{a U`wON| a%Ιf"c#Yg=JZBa߅UT=2;yHwSݽ3ntRtkPI#O6!5L0q{155016lV+٬j WZVN)dZ5!k$#j *J"#4XJʔL5u`rR\V a}a<]2D{TL'!FzK{a5<2J-2 Sj֨F!V,Q"*ωd)% !Pec\I=yGD4j|P;\ .QJfe؍(xa&H>&# O#K3?LdʳeYqqҦbIK̗n1U ]j #*FHxaAd|vgP9bZAE] Ű=揱4i2_tyr1(%(zLfR/~JXF1գC?såҀm}ZF?Hvs2͎E;%V+TRJΆw1U#B@e<:F`GumOB@.穞a)qt'Kj^uJurLM!]QNO%P sZ[4ӛJ@maqH}@#_mQj[~0t\C녂9|VK2^+T%QuJn۲Н$Iiz>\p˘i1|? Q%;j?DI%2\"-WFIxFL]_#=x!No)J^ ZY0/J͈xOE͢4PYGŕ rO@;zsNۨUP em}۸65o>WIq(ݴC`{QK`؊ETu"&V1ʢĈ|?ao{`'o Bز}ӿ[QpDzȱv!M+NMMA&]*1A@y3ƈRi#av#KSy>d>'؄ mnRm8!3N*!NYa6y 2z'} 5xǘ9ۄ )@}7NX$]Vႝi,_+Go0iY)BL__=]PhD%:2l(b W03 3N|cc7wZA8ZJ[ݸZj^Daaxѹa~\0:GqV Ȓ?+aʊu='lrJiXqgj:,6>#uMM߃{5D#Bl$ +nT,ֹYxSd1L:xPQq^v!mm')C{,hiaچmtҳxE|OPK)WǢ:PK<)ai/krr/propositions/NegatedSentence.classVkS[U]@U(l jhgPKłzpozsS[U i?399$k>;O?8A41ҍUNl` ǰb"͗tp3˃3ԻyuԅTTzrK1잠Kn:z}Dce- zgvBM2t"Q3yZFy43 <0""ж_y\JL DC'0txѰynlvѝRQ,W.h?Cӥ / Z茕m (}sÇEk1 mBSfβA xjEΪМ[&)<l(0LB^7ĝI^p/)!4~#y8?(Dy)#O8IQМdRlR\ԝWIՌOQN$NH(08z,ll!r_%FW7ES:Y5zܲ\788&`wSrӢGۆŒ7".Sj¢m9n!_jAEvO~0󲲍`.hxQtZа9+j6jd9Y6u@.a6JDLO+.ǚsl\"+ 4N%#ORa`I<:z1{b[1D Ulfg o@ FzM{Ԗ-%%) ZI=B*TIJl\o4}VfE-"1,^{A\нqfY%;˧ z;=,G2!/UVMhOCh':Eio7ZFd?(+.{C}~<"w@+*5{=C]w]]Xǁ_?_Rq]4qBvU0pRL g"}tR: ѷ7MShLmq\b-"5O+jl ٱuܳGVʾ~/~$[(0b"r(C0LXw82IB~ ^j:yP 6:'Ä]i-4Q~pn<}e^iHb:#Ҏi]*~ 0Zif# ?i9-ǿ2MwsħW|l<-0U3cg7ҦaN۔t%KH!]$-MHMiLf›I@`AP"HJUZTpG("*2Ii~d{ytJ8Rrix"c+ YT#Ә%pl]I|LSӡ֯7ѶŒ)hkOn^ w$ YPbɥxbZ 7uI1V#0!x:3,i<#imX8 Qxo GS~ABȞN$ SZIFoFbB&w^~g18xP"S&B#1E}$dGBYALuʢ44c$v P41yT7:ihY)in",SZ:h 7%:ֶEIim0pKKSsʼnо9!o#bM+F%< Z #Bi4ͪ#1ma֋VǛцj3@n*uN:e.rFIHr}$qHnaMFBh\ Ɠuq;OLZ$F2SJRgĒ01/FL-}ZDKKG@!ytID'$p6|LHVpp:-Lz2nE粸gՎd$ZR D:Q=ӨuFrځL1iy#T42-9W 4,4ӄ~: 4fV/ 2'`{bg0P%ʓyq<C;=.F2?މl_R3Lղeș w5!tG{X#:-p-? Zh|#|ꏡ{>Z@F]dB P?K%lDzNdfU -EN )MAb]w 0ep еUbzt< }Q4L3YDʤ/M}^(N7-o"Wjީ Uo6zq̌*{^&m;4MeNwR8ČMNbx|dG{`U|p5iMVm̓i~1~ҧb9<AA߄A0g1E:=$>Gt%6͈vJܣE7]JiMp'LO4A@E^zLIss֘5y؂ҭ=1}{@܌B'wuzRCج7@o>Li1?Kb0:}[ S.}~L@$Bm0:~_@غmkQ+mB6Tg?Ot{A_n2(5O2/IoѮNGAMohw5C,bV L#gfyd`B`Wq2=atG/ϯ@DZ NGcd5;샳:7:aKϿ"?npD:7x^8b]*BxS[j5(c}W5z7m 6au*٭"{t+/Z*EZ}үs@z-[Zę:< t1 DT44-iQ%c=Wa7Wu=V҆܁"&OL|L8H0Fb)|yȅbr ; U@~ }xr9St>savUYwĂRl|q3t)<3w$4~0jeGD҉>.>Bkt.撾P1|wl?Tr!_>Mv#֢Pl٢+g\syɸu8!¦o] Ux13;4Ą4jOWIiOC\s,ho0DrYL$Spsi#wyEcV yiJ#Ȉ$VKa?,0]Z8oH3Hp帆WH]tkzSߟ60.P\ǸQƐ}w3G꽁SAV;b\MK]Wu< VR6pgs4XOɇI uLyeaSz6kZ||#.1d[4+ğԘbj0\:trsPm7Me7'4Nw)RjgjӁSy ߪ_ 7_nzw[bߦyPwG3$r/Hl |!Pg@1x/[5IM /c᛬duojIoC|A6Jh*W2g5G"r#"\Ѳoe g.3zyWƕҏ~# {u:=,Q&{@$dNKNɉ)CTAi~to!$H$8:xO%ܞ).&icܼ)N6iD`ɁFYq"Q#${0[bt?^kU 2-|@^)?WX |PrSR.ZXƠ ?%n ~y,uF)g#*U/U5?tJ|BM(4ǂɱa pw\3Ai 9I ú<ne >;t wL}0祝F*2BO}k  +2,m+{b[ )d([ϵ}SeaA6bFpc-mJXqqlw)Ӷc굵:iZHs| 6O,?^EL 1o4Pާ<By̴]t{ѧُ( [2^Ew@,z4bY*C/<}<'L>g|*Wru5\<[/b\Kz'[;Y?|4s\y+]صZ^溈uŹJ2{̾yiu7r!̓VΟG*u _i0{W|V|?O&ǠSy]e = iI"5t-jlUG9#+ b vUʸ77xW&J6KbHp?! sDZ8ŦPK-jaeEr uN roлApw^-˷8 j{p jqPA/mOG㹢AW+ޮ*;uCY!pD4o)*h6y|Z;!{m8O+[t=?]Gx܅vO8G]:]5*D$m*f r-UNOjÇ)X~NgS4;-ŘAƀKE*MXUE9ܽ =TX=Xq#_ ysXmTVzywc/m ay0s8D!s~/s~ @}\_{9ZQ/1DYf̞l9vЬ:F|fQ:iZTSnqsNsϱհ&GmעPI~~&1P~.!Xߣt+s!8uC *Jۮ)zbkrX**n~YW POX0?P.Z3[ɐ A7_T zHy%翝BR@/!#~~Ǘ?PK+/@90PK<"ai/krr/propositions/Sentence.classWmpTW~lv|@$QR%) ! f&MРJ~ۤTď@1HQuqFQX3rsonn6K"# ܻso؂(ͺU7de96\]LCX|L?ץL]G1#iQ$lzuO:14ŋ6CD֘$̴aɌ4![z=3,a)#PܘL)dSFK,`h$ i)n甑VP̌>E W\ ffHٟaf,hЮΓtNVlúM8[  wgiCϸ֘X3dgèXYȐ[J{Um&33fҩcB\50YBa{amoq#"bH0R9etl"_C)秐55XB,[==40-ytQ.qİoeF-#7%]Τɡ)zo0:;Ez}h4홗hCjh'猖5(OA`7Zl,155\q#%8[`;[KS[g3i{V@BW&HAs.B%H/ ~cd ݎM0bd3ʰdn0aPu)GLR Gasr8zGa^5EY۵HSy\.b0co$cc僦6m9[N#̤DG l=ΐXc\ٺrjh塕6s )a|5<˙' l:C髵(0s Q'{!? X<izC yD@)6%T ۨ}Lp"=f29fot𘷳ANs2K:Eln1m]w[W^ڍ~N×b2֪ KHMNC2tn0o]FקnV/0x[M}\5{/̒TU|/ ϻigᡡzYN wFn ά찕4ZLy/±Ij <:[-;.F:O~u}JyCJcrwz,X<6-J/q1@aH\U.sk!YdNWO޶(Q٨*$3]gܑV\F&~Q\ǦJ>pTAX@9Ln.h.FtMnP&+hr[:p8A])eWEHcJԑq=ة➓&e(ߤM\{hȥ2O`Fȝ|ɲw^ou;+R.yKtovSNb}ywޟJAUEpJ+#DV­qncU޽ښyx;}l!5kՖƭ`MlK܄^;U{ڡi7T}h2-Vy:4|]Y,|:ҒcQ_֞. ӎ4pUpi32X*MUK4XIq,+ģe6:|x(^t~2#{UBX_k78ߢ #ϛl?^S#şH?x ?_cBb!?D-OьDH~b)ZIaa؋\ Fp5d8. )𝹜p$=/Q|F &ԛg9>| -vh_fɛqUaHb[y](V% \yM<#4]M'=4_hS] qgFE:pR9JHsWpINt(Q \ZV׶*ӚOQ>6mL~=5(#!"R%pH##`8'E&_xI;(67[r7ϑzo^ƹAkoRp翂nBLWQV1%MCʕm42Tehw]-nT^ wW"jšSkPKZnw PK<'ai/krr/propositions/TheoremProver.classN1 B{ `!bb( C 9\BRn <p"bٲ??t*ɥK)5^qho^Q+-kx;qTjC9[s䅭]礹"'@[vُ 6݄-ru%oPK9e# 9PK<$ai/krr/propositions/TruthValue.classTmSU~.IHHB%5ؼЦ*TJP łuId52Mu;u*_SivƗOAܛe;dw(1ZzcC ±U?v_$8b디Ųjie*kT\@[^[)& vXr /9n>A\U+Un'fFWe,4 Ujr*ZCj= eg[f"73z(닺`&36y񌨰 Ҹ0uQރW\$]xZ!9HI#AثBT83Mev$ k |1/6/<2t{E~[/SczvЛ ٖJI 6_԰{+r^Ppyj&.TO)K3nƘWt2h }$AG y:"LDa;{7G#Mo-ķ8Nσҹ"8LDh.7h%HnBɟqN.l#C"N=ϣЏ%jw ge( ʕ4Lo&V3-1کZ(F$M[kד:D JrXtIru%C)v^q;cSEN#ѕIsE^k̄nC&>h4lϏlY#OJ%T*wE8̗u:a7%1~B)g]A8A5du-%e۝Z_b;qD7I-ֲ5~uF1+;$9 6ט.Kt42׿M nu'ioKcשiRq?Ox/Syn4MЉj!kqJڀ/NC:tLP6̐S/[XjP__PK` PK<,ai/krr/propositions/XplSentenceAdaptor.class[y`T?e7L ’=Y )I [!yd&L tZֶj-"V*U4!֭v~;Y2d˹w{~֖1wF"pG8¡hƎ`VsY#bmn wfڃ(qM}cUk/eʯڿ_W7"l5G=fs`44jFQ֠ě܋ZP )t=6fzh$)idr OLch b-mcQEd0b*4hy4xG,᫮޳gO?TmU֪Ν@k#(KeS&[IuMuH *)L9l K2QC4]iLy0hf,4&coUS)G7 U[ wPҩjVt"'fvֺsmD?>2;۷d\dT LS"˫fWmETLSq}fF ZD3Fcf{ wFRE5@Nl<.."[]]qXSKGՀh/^ &@$=w{uz"YA׈BРNÜpּ}kaZzD-}nB\%-K7 '7!\-|Ġ[Vk%.^ӦI3ibtVm JrlLs\?l32mk&- Mm:5툧de}18vXg 0'] t'v2*ˠtwɀCa_^{ W+' tUe{0{Aqf1ߖkAO3/2 b1byAzCjBanAӷ2614oJ7C(Ӓ tZ2ZGcaK"P $9`3Gcp"JJ#À%^"NƏ%Ϟ?W 9ʔ0Cm;Ad5 .OՅ#kGZy#|"ڐ700|~gpqvlKֲEXN 9S;C(}l2nh #wɪ@tpI2҉ֿpFMKg`Y#U:Apnf5΂A:SRI|68uVEWBn0dt,]\V96jv!qH͞y4L Q&~I84y,{u'r7xXTtaD'ڦu+8S *ӳW.o^ 3`)V+ [T2Wn~.f؊vCvB3\!bCV"+Deje%Ē -&v.y:υc|^`yzۡ dB/bTiaC>y].bH>{B7/ڃõBX.:W0hE7#+MBw9Ażt;F\ ^uuG\c;UJt^;ܮ$7@:1 '.edKAUH+,cD,x[4eKU1B6 5a;:2վ +@pŌK!mde˨BĆERnE$x88bmp ,Lo@DrT1+`ZK?\0*YfS))QiN\cvS v.KzHD&\7SBf?h D1@nt5-VɘQHKŽͲ"2j1OI+g$E@V-n{SF‡?g~.cUS`X|eAkW՚A#>3,T2u.QvQC trr2e6c~P=$ֻi0dWv?",c(y ^ YtڋgFW75.F/pG ,s)M]Ú5=~֭\)]0ѵZGu&LPxOwkYChb-r%i@1"Ly5ɤk\C3b6lEȅ2K/ s ]+ŘkQ{-WoKKZ؞V),FJײ|-|#bn t1]q:Ԩ: DCGcu6KI)mU< %.谉[(ގ }En B5=,* C"xVzni]nlJUa4V¢BuX_fz1 tm6Ӵԯ!1kG㨔N] |o}4>Wߏk I t9mfʀYGey8QQ_XHI,B0u"Hhyc$qEx%dFA0cq柳-4.8NSMKz0WPͦyTE #Q\*D.RZE4|%|ro>Xr9Z*‘,qZKƓEك_z iHPet ~]b6)sҊcti:E_Kˏ&hP \AckM $kBJ&5kN_$:R̲1m6ɥ-KYWYxݢ,rwxYy?mڶ2 ޒlMPZZqIt"| m1Ɗ#d_aw1k}J4 d+*{G9jl=ES L.(<54R>x_Js?N'SӶ(sno} Ks}4,Q|>s=_8ZAσF199/$* 8IʇMR9=N kt1}.'h5=I)%26'ٖN(9[=%ПT pS},򞀷y] +Y=>~U'Y r$0g/*+f#d|~ߐÅ93x]IS%з4 zJ4-ijʜ<"k`.Pɣ_AَR8J;HJ aZkNR:{IH X?Wh}{5Ř+** ReR ) 2~zȟQDyQ#w);J2gW*Jo{?"$kIv0kI֜ XKݙأ`a uTPE` 784|i >Rb2Rcj,]I^OZbWa@w <r ϣUM HAnw+ x(΀}w g}>BYnraj.${NgY?y=dϓTO%{Az{}́WQw|9Y ôț]iV-+ɭ7ߓNB&v̉J~/ysJoN/7 -^9uN-ޜ>3WO*u7MxBh&o9B&ZΗ*L |Gtͼntwad7_MN !'9wqGx4^~gq'σW@pnEjㆃdZ,{Y) &Z$Z7طZHO E q{]gureneT544=?jV?R4hoHs.VX٣)ʖ*i.K_hvhzx`c LO|];kJ8_涝I!J0Ku&U/_6eK’poh}bWh{'q OR`Z h0 gwX }2P~|3oF-v [jvZ͟HGfi!UWK~qE*ؗ7ʅ '}.T('[S6ϕ;XP.N4)9mzڴB(~U6SXJ'S-fp48T%*F$IBБmsy?$v'M* 9 EtY0z#t'~~w2Jq SIUrNU2UjU,穋&ڪUjz 05,ojNmz9-؃S-ڼ -ףn hFrBVJTm)K)kvcnmRPKWje9PK <rsc/PK <rsc/xml/PKĀ8rsc/xml/fol.sentence.xsdXn0}J(@ڂDi XԱKkB}*3336B߳=ۛۛQ솁{Y7@#秡gs:B1#vD>'BNa{!'~;=`7p=]gGcS 1 C REQe2#O4d8-m؞`JfY'6'}2~˪[[H Uo:NNi$cg,O$><XvaGփVY=:"\!d U|- tJWJI%Zm4\[E F8GAT<>(qjn_1qzHaKP*'qQ !& Lub2S`&ݩWuEГ"y+4Y:#GBU-gDSMK8d2k 3=+Rs`<`s0$Ȗ YFN=[rʚ R[/F\>uҡ3.s`D:'j6f?#OukH`_ʠ4zR*Cfz%9&;_:"o/rxxZߺ3Wn ,ӔUg)93='[%lCDWzHRJ4V"zn JmAfL4PNQʨזSZTS ܖW!' zZ6S3T8ױtg^G$[#>3<՚W5[uNZe(?,ӵ3 @+zbԠ;\{G^1D cT).RQ8L銻̤V2{?4?JJU4WVݜY07=&E1u_PKaPK.g8!rsc/xml/propositions.sentence.xsdUn0|^$!ĴB+-Юj!Xk;/:w,s<3'cʙwh,f]0ƣ(L~8#,P:"t> Lj@1`>L1 ``?% +[Opi0 tg4PF\rSfeGnPtYJڞg43$T' ޾([B ʊ :MvMD\ a8HN@;|Ab69|PPJ᷵u}O[ia)4\uF&dK&"PiEO 2!r$ko! qQrZ0"ǘ:NUP[NzHkZ+=~v2['ׇ[.hݛf|Z>o1`u u)FTb}'id.6boÞWScrŞHOQ~ PKfYS8PKM[<META-INF/MANIFEST.MFPK <aai/PK <ai/krr/PKai/krr/NameSpace.classPK. ImGai/krr/propositions/IntEncodedClause$CnfIntEncodedClauseListAdaptor.classPK<( ?Tai/krr/propositions/IntEncodedClause$IntEncodedClauseList.classPK<5( 5Xai/krr/propositions/IntEncodedClause$LiteralSet.classPK