SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info   [# $ ]S]KAT_and_DRA:threads=2elapsed=42.003cpu=79.036gc=3.868factor=1.887zXZִF! 2]ŗXf1-/6vRZGq3۸,+|]-ۢ! 94Td# NB 7¡lRF%;qVit8J0}VkZ u>X5-@=|2P)u6g`>[3#}0(@/J)61}qk a)Oc`F'cixИwc4S\…Ac}[|UjE;b8]nD]/u*D?T_! lFsμ(qD8=eLqa!f@YWT.k͗{X>i;os,Sjoȳo7LS{q#қYsӴA᫱,Jm2@ ^B})JD^NpQEn6 |dcr8;7S޿ ,w'kk]Vx%߱R1PέCQIV1&c"PȞQ9 .Jif\ xeL 8f~,G+ Zm # KAT_and_DRAU#9% LKAT_and_DRAKAT_and_DRA.Test_Dioiddocument.tex7zXZִF! 41^]A-MՋhvG"uIBm5k)LyrOW6| _Dycmrp?Bg fc>P:C'sQ^SO%Y$UΎ-5@)kڍVWELѥ0:LlC2u:>= VG]'$y$@ &tAs9K#!r40d?$#DPZr2]?f#-N6XyaV2`bKcY*oU(<Ӕ~r bg"\Ӛ:fԱ^P?%E1fomTGN{EMO|r^Α zwZТ!x6 2\"d:}e]<n0 l(>Ƀ-#3% KAT_and_DRAKAT_and_DRA.PHL_KATdocument.tex7zXZִF! ]A-MՋhvG"uIBm58'*q-1>Ixst*&;H/Lz(U8 ;:S M+nE,j)O:2Zo7k`E9[j)T{OMotYjie/?:V3Gt;©kQn(Wg3&x>ĈvNO]ӭ[m,hC<2[D;4.=BcHLN|q9m*k3x\W۩!:`f09ۜ,5K4`)?YeupdmJ6-aJپ\'pb!|L# = Ar j6jSD1ipEՐKC[H11U KqO?iwrs*/=q-b$#~t 3{GTtP [؛z}moH--C[Fve`\+]s^7}*${~@jW=+$[~U _`ΜI> wXd~2qB뭀0^#e!nfP6 kc@FZ޲*ϝeG r |n_7*.ƴJU5n|-u5r5w=`_4M(){_߳iZ*9K_/;֮tC;0.0|lM7(Y@%*XW2Y/?V    E{9  n1#5%KAT_and_DRAKAT_and_DRA.PHL_DRATdocument.tex 3#9%KAT_and_DRAKAT_and_DRA.KAT_Modelsdocument.tex 5#=%KAT_and_DRAKAT_and_DRA.Conway_Testsdocument.tex .#/%KAT_and_DRAKAT_and_DRA.DRAT2document.tex3#9%KAT_and_DRAKAT_and_DRA.DRA_Modelsdocument.tex,#+%KAT_and_DRAKAT_and_DRA.KATdocument.tex-#-%KAT_and_DRAKAT_and_DRA.KAT2document.tex4#;%KAT_and_DRAKAT_and_DRA.FolkTheoremdocument.tex3#9%KAT_and_DRAKAT_and_DRA.Test_Dioiddocument.tex0#3%KAT_and_DRAKAT_and_DRA.PHL_KATdocument.tex,#-% KAT_and_DRAKAT_and_DRA.DRATdocument.tex!@CC-+hQB̈́Ucj<>~|G#lq2Fr'@Huqn=F`,"!m;B?|▻]umn/?hj\_NCߢH{T\<VL _[#Q6]2ǀs0HaO^˟7~%TmWPCu#o1!4,<(ڽb ƹ$pn-pH'Nk:M{KRI׻nnҳKXp P,eO#(*i{288RqX ]ӅI=37ܔD#%EgڥOY0ͦ1TfQJf^"˯qk|+$/l'?m.C _^7@u: DO7@[u{LH}2+O1/y(xO i82w఩<&׀FNHKj]CXcbᇅ*]oJUA(3TX֌*h8MwYU 8(7ޠ]i̇O Ti,݋16(r1NQReX&,EU웲2*lwA`{7DS~ 0CũM78I=^_bϔa3_V}(iiZV 0) :ϫ*ϑ]Z^*,%@SGƟNj|ӏ6/')2(~'5}*-_t nZݦu/X#N2ݫmI-܀d{;QL&i.vơt^i lol2"P lav&x\9k=͐ō9*RfRruS#% %ME ѵ ߚO. 4Q݊}(+;!oxp!r0"W %8^c&c$8؎3!EI o%g96f|\ĘRݣ=5wJuL( $(!ա^v%!W/f5n0B1AB?&m ׮y}2CKfӖnK_.q 0h3.e= o]'I3PyB.p率8Vcv ^}g 泎VmmK0L8Ո2 bFzD,r MwO*v\c.e+G]WcP_R&`g@"4`L~ U?isT|]WeԍB[->DwXP@?k{f >B~J gז' 4jvgn18L[{%+竹򉍣H:|5"uSF->5Ja,@j]]Lӻ {ǽ; YA˗8wC' L3]r=shW5W,zd+ ? >m63.M}PS]j eڼZ]:VY=k/ȌD`29ROC"o>[Ҧy[( e Ћ,ҭ =;J_`7zsi,V7cm".bF {V8[$GDCWt1ARU>E7XI{e,|l(1SBLuO3< 0iL,qcZ&2̴kPδJ>+^Q%{r>N7Xu/ FOJdvQ5%Z/AހV}zG*7DLʻ#FX?e?iH"u,6VJLqXFf)?Ou~?_ k,d0Ԧ,'(j,Ì^$hK0gz(#Y ~ؼnC`E5J58O""{u?ԥR] ]XGflƈjTzKVHxd>}ϒvWVް22Ƅ1JӃq8@lgNu-@<>8WæYr%롇٣7%am$'7,ǫͬZӦpU X4uunOz@Si|vxZJ{].9!;/ht(i FNԓ$xU!O/h }rN.fcNtj o{ )BjU6y,Z'WȖIڱNZd]lowȽU@$0]"~HAT^:g߮./x>) i<)EmU CF;$2$1jѼd5m¡R?KX}` s(y{pa+C{wHz,:jF bb6w &6^{k5ŭqtƃ+tv0'YQ=9;>d W \E [#bhVH4]/@1= WMOd㤳8bL,*y Ɉܾ9y87llc dE">?Q *V{bS=H~M>Q`(G'Qǜ+,kb8M֑:tbVU")AdCK@ld$o 9OVeq qp i'êBfib$wDLf?d ­bAKݟ0\ OiG})?GЇ*e+߅k[Xe6̈-dSVG9mCY> !-TeVy=44]{]i0ݺ/\Y>қk7 p ς1Pk"+ _X<zpfO!iS%OfAG+=9\:zoie]4@yZ-W=RarmYt%ۏAgW+. <KrlR;# S˜kkXӆ$1Ap 䤶&pNuWι{1a:}.DE̘烤 wһ-\nv2L$QdA6Z05xrv1=|UW=, v2֙ ]"w Wx%VL|y0Pe*ҙI>룓~3H is44.+om@WB $f#^h>&5{p <.!^CLy^"V-BQ$ȇ~KIC=2HV(v19:f<2)JQRc;呻lK'-zfgYZ ᚌtLU<6t_=x1Q&r7c)S֫z Pxtq~P6#H58r;t $TC'T%YIvӫY=c􋻳D"Ljt@N[ YgXjl=Z0/b@ZspLqا@L$mL/hYd9<7QOu׳1.P?YiפUO{в> )R`N2 9y 9*=@Ujo>J3iKe|ߤ=l[D5#ew'~#Z33,j쫪,{ZGB䵷^Zٷx'v2 5!VRʖHGN țfl;P7IQ0V"Yuצ4F= 'su0H7c3=&_8oͼo xC~qmRU-m/.s &-du;GYB+ԚXr>##2Y2?ܶ3n j._(Dy[,3B-W4̀ λS1TENXW<±@-OK fjuvOЭAflP"OZp*9MaToI[c<4)4/k۵C=bݬ!ٞ/?KW\B! p 55;=">.5@RKfjJIuCW8%0"Y$=&RwS'Oo.w89qL3lw)ْYMrOaMKD YtoצVG=. 58Wsh#F{g~eldWoLџ%|WU籄&}y嘓)X5MmG z6jkwCC h%fp0]E)z *HBy½gϖYw;G_0nJ2c\+wz[0` %}x'0!Yލʙ~إKzc+@ZTJ/\j ےYcѝXӻa )t]ukVxMeYP6$8&Q.>x@*#2P`QΑZQZD:U  }m+&a7͠hgX\  s"ߢ6c)i9lx7 [_L}*+zn؉]D(Aw>cqry3*7m$n=Y傔tv |s4 [IQBc'E[^tYa,]+0 i܎6V`_\0 ް UJ)Ul!R~>b rK;Р|-cU7=(̲*Hμ0yb3i0@xq)M e}J9&c?~f%HI9'ymhVG) s.˙=cu5/.e}dia5Hdy*Qd\օ1i:UǶltgwٿ\p登|E1/pߍxyt?YgDǯϚrBw:+[(,Z6Hk5TO󚃠g\(vpbe\&rk>;LNʰ'7!1=տs{jڮVk:gvv#muMYs$VO F##(j1&CR+[Н<;'v}ԛP30<\-/ۋ1"_AũCķm"}NJM .(x?t ;xUg*-ݲIOG:j03wf{ `ܚz%ljc)Zqk3\_{ Yө(޹66ARÂArA`;Ɵ~?Kl7g`SMHn*ueP'0 Upn]:128ȷMqYѷw.U5pat B!7#Rq_Ǘ].ig:"qi5 lI1!cR\<=p顼}=xД 2x$B*R;R}rI4Y[R ǰ 0M$[vQTbF ys3ēcx3G 5V\-|ISAuGrv)k@L))vX}(%vg/CۯSBucKl\4ym@= [DEp^~"WC͹] 㢕9=f;9CyR 7NֶZxqULw bn8}b̡̅뿦]CkiςK{hsz/6*xkU)-Xʔwɻ]ފ&,$g `#EG;LsY8~@hWoؿ_j>=/ 4 uulFҩLZ,ޏ&pb+lӝFϥ\FӈR8宬~9S xY 0'T^η't]ZB;XƪQi*ͬ\ɓI6K FTksfYc䭗uP[h(%F6Ʋ# e@Upg"p,4. oBtV#!TRN{/4n XLSiC+oӋ}&njh?Jq!kd;JNŕ-A(W/T0`dh;ȲQ} z,K-]<ŁQwPn`Ps2;+LՙË, |ޮ'-3SIjHRc\-Zj#<6m_ݑ <N#ъ 9:8 5HRCI,OCϚU$uZ/6Ecm>rR/{cݢAvd ͏ؿ|~Hە_w0Ϙ:(@!QE˱gYZ gW l &'_1-쩭X//wgj&E.ܣDp֓t9l7 S"XKNڇ8 DřϧHh"3ˍ?lmFnAm}O7T\*r6j`9f]1xMMD`_ȹ&┠x '~L=abqzM0n4-ͿQ4Xq2:$.ɖbd$ ҰhU+)!g. x-B2A }TcX e!¼)Ѧ#\QG_f+mʜH;߾qWι!%ס9la`ܓL_Õ{mEBmbS;f;ȖU/&Tʉ,m9ωlq ]]ܦcb}oa!(7lW4~Xn^qWk^oAc|GHimXR!܊u.cEuxotlJ& 4>dɵ2/#aHs!y+hCE.ė/>loFؽi*}sPv4q+Q$WڍЃ1y_j2FRYgyv."igvn@-&#miۉ}3&սq$VoFy"3>pkD8{p:18V`k$CwqvlZゞ*79  yUhLb́b~3|%m!ŦJˆ٫E.Hx1fs ft||챼!~RdNMU9 4˱YxJn5sF*gm^ݐnl)LWUP _^:Ҍ] zR Dde52ٌ@V`=Ҋ)pce1ٕRg!d09fF@ ǽBE2zX&y\25:$O-G>hB~RjdRl_uU1QT@{4l;Dž72kLGi3w9*n<rJj]*O>Vt;L srI!]`0;B/(x]bf_H{=H6U6bVԃP†♩YoAY IFx{ȷFuɓ<#)xbW'FC(7Sk XWO B.@?%F!Fܰv|sF [kο c< ӭCRx_8`PM!ѾX؎K"(>Z:s(~\e@$8'u]d[4Pg"!f7hV?mq*]!bb$}m(WϐLS*A6a<˶õL[g_AUZnm$tsb\ߔ% iOǽ/k<11 [reCYx~情 (yj_MbFn6q6,fC܀Q" aha)U[5BVNjgd?Gkhil2R%{ݿ~d{`Dx:4Z˜gM̩WFU@=z?bbɑ%a0rP$ן|NM?XrsN6#<@ۓ-k!t0bkj>QSs;WI ̠Tag&{եH$ቃk#)vѝb?)n 3FOI=(;_h 6J{59$PӃӆ/<{ 5wDiA 4:gIg$wnt&GE:nmˮѣ < Κw8^([XCp(`aݵ鈑HdPH@9|'Mq@~K@h8Yg!TAI\7b̄/ nyrUϨJ#=Ɗ9"|H)\a3[x=C"]G#Tx3"5C|CϳCҌj2]C5S_t̕m$/s> f8:&T!qjYL <"6ţu{XV@jk+o-I:e{ ʓ0=`>p q γ/ !HF㷜.LSh=B.0Х:4;x^ikcx DiBi)Ek/ SBA` `noV20RfũtxV^X+xs`P L'qd"wz^=G/ C~EXT`^!CR1gqeA5t:LT-a~.uPe?Tb*quvRu<Dz:̑* rWK3ؚ/YJʳv=q(u6>uJ\DM^FI#w7CI@"<<F'%-o1ycE|/eEuҦh`ruD4H>;d,+ D6ҏ,۬=ɁP8$A=Dg]ȝ6;^ c}[_C3(S\SPm)^?SY.}{:lQ(!ѻ*`j}=dYuЗ)GL&9_n+)v @fo۾E>jR6UgdA$o̹!(={uiir2G)ǜ4Dsdp, F;c2YeZ |#ԗތ#ng[xu/$u-p՜+HLe̫qY/~4%[7u7 oJ|v ._ֱ?wv@ ?(Ri1{XkWJָ REZ,h S*Eh+@ͩѕ~c'JyhNKJH^JɒjE,%ZhOSq@.EKxti4*|½df p}Fݗs@ ߶Tz7 V R& )o':DzÙX0v+5%Y-M[x9`H 7$KSŧb0 ^¬.rMO ]P`8ɒS o@I [=D²ci7t|9:a+oQEv(*Q T4$%l7BZh*BGf@ J[Xu=X+MxutU3Pwm^˓pFԹxZߞl_εIIR,`> w 1ӽs$#eKL+4շe'~ #^ w襪IsUnMbcWtsOVjm,Un$m:g 3$ڽOĬ_@I~=ΓaX|YX6qgqUEϺoĠh򗼎 /}J;?#3uU~Tl"A}Tv$n~u`w8b yYI]@OMB)@1E yIe)]W`ވ'y!wߟ .v&O%yq*;X_ }m(gUVKI Цnc~/C[LSyĽq6ikqOs2" $qil (u]kyM3Q5ֽ1b0hG[ΰG Z#e&=1|9EWf+}<53:H[v`o O$j?1a(`up{փ0 +|a.K..M%M.TDT#צ^$JiBĕ>{G+;3*ΖCSDi*[6rit/\ڞ4'9086PFoe i,+,^59x_7]d7C""]Zu K YkQZnٌwW9)K?t,E=4n(`}Vy|`K0/0cԇ`=z4z ֛Jh!) 8qQ*RA|EY@bx]Yw[/Lmxl}Y_gtq}{<[ЊSaո|*HF#z0_ j]R3d@ww1-xg`{,x mKvF (UIF 5ST"c>6 ;=r %Fn:2\+Q/W@X_=IlV9dfQen_.`S>_ ITi^ e{Cq DYU LzB\ Oo>n7 0W$  B+qo[ Vs4iuPX!KgK $ T;=<DzTg qݔЃ<%Gױf~GU4oՓY#*ovu#nЪ=LI]@PGa"a$-3@@Ppн/4GE4,^jO|bp<^0%Dۙ\Sx];GgpolP䛶~if !6`48^qWԃ<_:Ux/9rɶ˫*h+'j!Y"ju5r(-J&L(mT' `'N ^Kwj5vr  @qo_`V+4V7x}][9oĠZEUΠ[+iGT"rA{#(H5'sz >%ݱl^'`Z3E~_ %i'GSny\2󾅄OB\ߋw|E+äK1< C`6\q` `wQE#`#—kٮGqde/O9^g rBg9% JO?/i70T2ۗ3yv"B( `>vY@p_=73BsI1G ~kvjJQ 9;*ei+/y2''ƹ _`-v/ސpOU" /M Ao |-kݴiҘʌzll!S9l(LãNBEkCycOh!ZWmqx"*c̯`0$0[68wlL+wvp4[a/2xgM%Tj;6Sխ"giOH@Hh݅2d;;VmMgXeu"BK)cx NMjHJ&ĭubiCVۼ?AOu96d@!^r<9o; pN";pP|3+&|Y(_oHp8h'!PˠF#*W4F! 6G\VWd U:?Ϭ~q$ar| rW[=`b{$Mzjo#n1+A hJ3)t>}yCt^ڊsD|pm^KɉيOiNPyN=~֏bᏵjMϽ m\2aǻ[A6*(1 kW[f_eU;I#3Q-xwOu^'|&TיTi[%EI'nbU+HlW(٭Ғw +gvٝ6ghC}Dwφ+8SB.b4/.bp`h$ \b wГ3S g8&u̜\`c$`W?G$c\ dӨ"y"͒EAY=1pW =ش1պ y =cӛ[ ʘq)F/9& j*5>۹<[R/鵻^sUƟ2@;sQ *xQFKW !"=Çr{ϗ֨O1Vkkɝʰ1@f+ɺe_^;FUBWi%%^aW~whƶp*d|e gL6ŷe1}>x]ؒ>  )h`*4Wh#+lnA!,E.ª, e'ESw.?(B\T3p MvQ0cN!ܺX1;w J᭸;IkTYrsJ2J ڊw"^1;QK6` @x@2w>EZ٪sI=WTj)G| lfVE{.mAwp@!3\L2G_jwmUgŸV э?-)\!]~L@?jYRzmkU ח*:f2="aLgqO<БFYYrs"sCZhdxOمoqjC^P\Bn6ã>ștE">^Ò :O z DYp'Z[52i*qd8Q+ZM Vy90MPo2GVG=I7K`vq-hs5{`UuOC@# |zl@ذ@\U.2%"u֐X88{~Ь ·n?C~(jBɊ{SiFKb" %~*gӧy)ð+n\Xn˽;l--@dnU{3U|!=paDKnm+>h^ge/"%`ItiL&4 !L@_hÛ̪TNgTG ;x1-#ꯌ @kZ'™A6a@ ߅D7=M흡#&H]2L(NqԝKYxi)yMe!w&  hgΧk @/$ Ƅ`v><=W΃ levMڝ }LżUvhNj{LL(>2Cg&ML凰9@ hM[q*ZT.sנ3L[q}ϕ 4 nW {%斌Y{(TQRe|j6~(6!358D CH4=?3/0EW[c#58fq&[NICLz W>d`N g nVBbpۿm'rqG2lzQT(IT{Sω; 8;b1d;W#dR<&AH%U6k}%~6.p{"zFC50v%}kk!È"֫Un(fhJ`tU+(?_Y-7|7謡mKP迥aБ|#D^Oqx+ @d%GwW!ۣtC9Eo;)}2g9^SzYFZQnj"[B=ЪܥfW׊6sI3֪ٽȎ/cv-r߇pBnU:/*J2tUgh-h)lb PݱgYZ  U#9% LKAT_and_DRAKAT_and_DRA.Test_Dioiddocument.tex7zXZִF! 41^]A-MՋhvG"uIBm5k)LyrOW6| _Dycmrp?Bg fc>P:C'sQ^SO%Y$UΎ-5@)kڍVWELѥ0:LlC2u:>= VG]'$y$@ &tAs9K#!r40d?$#DPZr2]?f#-N6XyaV2`bKcY*oU(<Ӕ~r bg"\Ӛ:fԱ^P?%E1fomTGN{EMO|r^Α zwZТ!x6 2\"d:}e]<n0 l(>Ƀ-#3% KAT_and_DRAKAT_and_DRA.PHL_KATdocument.tex7zXZִF! ]A-MՋhvG"uIBm58'*q-1>Ixst*&;H/Lz(U8 ;:S M+nE,j)O:2Zo7k`E9[j)T{OMotYjie/?:V3Gt;©kQn(Wg3&x>ĈvNO]ӭ[m,hC<2[D;4.=BcHLN|q9m*k3x\W۩!:`f09ۜ,5K4`)?YeupdmJ6-aJپ\'pb!|L# = Ar j6jSD1ipEՐKC[H11U KqO?iwrs*/=q-b$#~t 3{GTtP [؛z}moH--C[Fve`\+]s^7}*${~@jW=+$[~U _`ΜI> wXd~2qB뭀0^#e!nfP6 kc@FZ޲*ϝeG r |n_7*.ƴJU5n|-u5r5w=`_4M(){_߳iZ*9K_/;֮tC;0.0|lM7(Y@%*XW2Y/?Vޡ;ՉV( C .P7m j#-% KAT_and_DRAKAT_and_DRA.KAT2document.tex7zXZִF! zz]A-MՋhvG"uIBm5F8)%{Zn4 "5/M3jnu\RsܘJXژ-g!k(9W", m"ڸ%]D hw^Qk-R :<}1KTN3/gU'_毼)!NNh8؈IKsy'cxFĽ~޽O:m{A0Gs 8ɏ|4 4ybU_D @G;I&} vwS*W3`iY }ⷆGWѾB{SRmyB_O:YGh>w,?S/VmWYPPDw&F^&YH]“z I#;% 4KAT_and_DRAKAT_and_DRA.FolkTheoremdocument.tex7zXZִF! ? ]A-MՋhvG"uIBm5nGE_|#9>i'EǺpb-,< Vf9(8)A-o~V_e`jw8rZ*?@ d>)`}x4G  *}TV@I )ۏoQ̛u#A[ln CUvX{YJr`m(WYK7[A"]Uka$GvTK>iNm*]uBX u!9,wL~B7~Xz9TޚTeYxΣ@{nCi 9tcD/(5UF>qcspCb8qh|Ap6 Uy{Qvh ݵ7l Cb>0-TUYxTx>pv|'ymR94(wm=,Rim#CbMa x5"?k] %HRԫz?g ].Nu_ D 2|s  LIRBME]3h}}< `ևkbmtc*,i+ Yl[6zE89K:GPjKbFt{peQ:b"2@DZG+}Ev -Ԗ&@ɏ{o1T! c$5kDBnSZ:j&!iZWukJT#<>ʹLWߞ2$ӝ~uT NPG@LN;_5 6|x!^MFz41euR<1ߎ~=WUk'yΕOo_!^Hv*,ЇnZ&a #9ϨӷΎ܆)_M^kcڗ(U,~sXsu ՓgXj m=1픚C4{[vDAyOdOnj0SPCjj6ho $YrPz=BGbv*o+0&bla_0fۘja?:fSs]e8-z.b_zL{G9Xc멱#}aKg܅]-ТJנ6Ikrڈ>/o SJoh=fԀP5pR46E$qISUsR.ҼL/g|y[&W \eG}>ApQ@mRԅz^j;^uDw%mhlL1ޏP ;TCe9 LJ+rjufx fdI _;3|%jL6y/TJ D(wfgxB;R2:Ll( \Jc K)OnZJ& K sC햲R<kh:I^`j \9/RIbFf cT{c$s ])ê/2 E(M]nAbχAgYZK;_!]at̋ k5:&F5IWw<v(#7{Oe-|f@Ly(w4o!W!-3b2UHvB3AH5CHH Jc׃g|6cSkCqO:4/.HuN8!C*=9*g$ciHZk<; ) |mj}E?t[;o `MXH5;R$+ <[g *L5F6S^C rm7;jgDЊT^a}qpc#%˳7+Ӟi;mO|Æ =uX{~L<f)UAj^$=MaG=ʠ<ߍ9|vȥq操LWKƦ=W|Aed& ƗS!TZv1^MrUo$7|)A&_!pI!#ѷcF7?{t؜ EZ5VʖߓpB嵦!==dx PW8A׋YV_!P' >h ψ[YVnTHLD_R@t`g1'1qnGN;IMC԰ݨlz8aJ85$Vxo:Dv%sޤB;؞.bFjMV@A"A.ᚊvмnRL<)7 {R_lAl# Q B:ԄI̅6\ %9DN_8`VL~C-~b{),\0?6d+42lsǒx"sSQ̲; y\QnzLA']"lz~7b*N< #9> 嵌 woQ!%!] zT|P$#H7$'G?fFhUbr$j!JGeW&yΪa+NkyVJOl-=}RCSZMUES\Z YЕS?XJ[H7qݎ3| ;դ!32z^GSRŧ 8UFKaXypڳ4܉;znIY5 j^p+.׺)G}kt}h _KNA;cS[DR ,o:% Cykall#ҕv.XWB) ' O"|A˛ė]> _.iށiF Q]o44d_5ys906efd80ykD=Dg.QзG*.sģt,P֛CncW:9W u;Q 4~ķ4WL7FPGAur[qNo$HŽ,f# b{-WxjɌp8860uIЅuCn_zU(ݎZ~Ct c9W-x7~/L[C*L/Nc'oQW2 v_;1Rwu3潽1 E߅%#< 3KH-'v*Ʉ8 n:cUmtz)Biע V{>jC8l QrsyUpunm+ڹ*msyJsW֚Ik8߼9ˉg\&̝uWd^058E3%u.(3r _Ƴ~ySӭ^(Ȭ>vWqZaa\|X"wBj{m y9!h f4 Sr?A@͏D{:@pvGMd@7i9UJ 2'Aw ,Z 8J5iHy*_M¡Qt0D42UFRm1S USm Edbi3ҷӣ}JMj}=3Y6%W [Av?g"o9d͍E,e8uk[Hs{4o?x @󗗅 ZZb6M)^aBP;%p\37WJxd;~1gqVm-pďb/ AR{a%:( :>~W lH~MvG?%F}Wu]ѡp@[oX~УOpF۲*vhi/J`$q#`_LCYZom+\/Ռg=#Ŋk ~P;" cblqD\_ȗt#iAuJu_['7ɷv!տ%Z8jI )8 5յ.Hmro <ﮚI6C t*Np,F>k"O[@V"e1N~èBJ R<~yNL(Y{da:Y.{W.$ofsj*>>EMƑg]si_iPߣBI~&z~^7Jaݜx­݉qˊ$dآKiER= hBN$y@ݷUy%fyo)zͼ5I^UjUa%0\%Bf ZJȗ-d;Q!}$9+K#[.=Q&!NIl{h@r.FtTbXBpжn~_kϾ΢PvS?-wd 9N]` eAaW^)" ' wvT*g#z&NgYZ A#+% 4KAT_and_DRAKAT_and_DRA.KATdocument.tex7zXZִF! c]A-MՋhvG"uIBm5F8?ʯFg+%oZOzw" @Ê9-,z9nmRԤ;~* EԢ'(zM^N98q=/\l)I 6}IQ$ &+{0,"94QA)'Z%^̗IJ+R>t+\)PCgL=[diENX25~&ǐx w&`Pr*)t'F\uDs¬/i02`|zvwLA~" ƮHHu05gQS UH9"F07LjJ]#zPV>YFr$\̻'&WuPE pu)khu7I&dxtJ+u@5!+:fanPwvH[[s:/%$؆N_-]xxb1M;z *]r]#!ījiu-A'}k]&I_AQ㡮ey/;.n ev~UA2!y=Bؤ+H,Gislh03dPo7ٚݍf5= "0/< 4x RCXO y6:~xݐ%J(2n?̨b}6 `e֠p ;|!buh+alD[hTp!k{2~Ag~b9&m>?J8SJG\;fY7M`mՅeq$kt%rOߙx"u$x|ߏ(HÚ"c ‘ K=)i?M6Lt 0.)93𬠃x2t&>,ocK1Ռ@e\)gOJU#$#}˜vtkdq^hܸGX '=aɱCUOQI:PJ/N"K.mE3 PƗR]1N!n p&XHuM&y cbkF s`oD @YxTjH>m:h%f&"a#}8D#TmĔ 'I3l0$n6 ~oc쳊撒Zߡ5- QϥanAťr_X\@{yUtWPD(kL-]4h+7'M5-.B?uYQsӐ5S1\L`.r]-"wᢤGoo]UU4l_]]֍44ZcY\-9Hn8=nZdh#ٍfrt:̄`e@-*NߌFC3pƄ HC @38LAKmw?[~:U?=@Tޕ=XPgj Gt0}Xx'6uncAtי{3ՋYs]~e:V)<T5BfHTs޳T7V vr94r<ڹ s›1~l9wvTZq5g0Xspӆ m/ɶ&1|qCu[G2C[[B2-ԑdJ ʌNOJ'=Sᣞ]qs(=^= S czsz[.:y##~2?@넼(f5 qQ8i1D~ {\Bk3qޢcC +GX$TQPEjϞA7~ur:<#Ez? ^QAEui’GpP iDfȦ V*qU11_eePAn>dP^3ENrrRu FǂWMKDZ{|ΠгTbLvcAK>7vD1rЖ r!ҵݱ(Ej'RI luՂp^/ݡ\B%(1~G Y|`t@| iĒyL(@B}L^_Ƃ:Ofˬ!e3ọɼ@7J&ygGf͠KUףE!{3~$!~ضEv)JM'Qb)' lZYEk%x RIo<ފ.y{cmRch]nuf Ta첿n ev dlA˟fMAr-r}g?!NGy ʵ~s<}wX   lr |>Y/!dFF3/7c#8fl ' 5@7Bӣ6iW+;K3FUW(,ttYñ/yc9Kk'(YnhUWjsisK 4\$ -gX ^Q M31g ! .0Ö*)w_F>a8z!N댇nY@^>?[2C><:Rn7yt :Rz̀C1#l_0,=ˮw~[;f^{Ԙ~R29@4?OXz;[ox) qΛy+.E!3UAKbJ}*D!WM짧dPg&E:G;lN܉BS60CLq W j$ kt~q;2e-o"rm`#z7S rll7N+-bOB5L \Iܾe$JlUHr$ecH}eH r7^{nkRފJXl-On?23IUspɏfgU$_X".''#J~櫦qXO_duL_rD5EZƫq4sqSVY/9ӞL&¸3|dvRߡY)xhڄ>aƾ $Tte!\} `w><̷;1O]dj%M)iU>oUa +pÏ}T#&L{A/izgl!и9;KJO/V=ua|작Un"#$O{g-0U Rzyܲ'tl}=vG5:g.&Hf%m_␽vSg$ @DUW2,&5aVq`elZ z6,=31uMoJ&ss97xug Ce*:p#]",Ț.4Ѐzw^GNEߢU̳} U lsAy}+w=$yO1`DJdiF}&o2 dPZ|ֈ&YLجB8[`5rvt|OfKKl]I*zE 35*yy4#u@ۆ h75 .d]%xZkU|=}Q)_4S T L!vrͧ|rVͫk8ws Ri5lnHd)R8]gYZ JJ3#/% KAT_and_DRAKAT_and_DRA.DRAT2document.tex7zXZִF! q B]A-MՋhvG"uIBm5a\Ia^6>"!daAv,)ND3p뽖)1dhtⴎ1rHױJȨg2KЛR_+%1K6G"PO,ܐ5qUQ1%VHH3 L16ς/5:p$4)J5lG`\n@FbN*4o  Ii?5\0$>'Lv{KꁧYPyo=/RW@ʷ 92o3)uo@0)cs?B#3L&<ʼnbVqxĎmߠ+7#+ 椩oH(3+1@oTVɀ^PP6U)H,ah{8=S 7]ɫ { eѥs);i7XkQ&[.Pzg&#dBhb^=CIf ӟ*Z<{4Cn*I{͞w`/;g|Rz@_nqO&߂.e|{?HH}ObJ?\<^0Ζ&-'FТy"5JB% jS $_6 ij \thR.& #?d}yQvCuI5Cm~T^ TEB]BWY*8_(J4{V4T !*a,[p$ m7{ '"%]|O8roACt7d=٬©Pg4 '64?zhw1y{=LJaB4DŽڄQŦ'0PYDWA+OC?n J8pzD5GS84ɰA( Pm/byMhOU*r0j_ٽea&0mWPvﲇu׻U :q~xuW-p7tlWp11%; ":5c|c797#NhXm>֡˽v#ͪsXT4s7wcPVr88HDU7dvxr u1:FLOجNM@?+10>H_7nMl7FƝ)rۗB96I1k ADFT'kzѬ>6zo gz.TFqB *_qTIzy|7P{5␮+% (lϏ5-~0hm]"$ unpKmk-H_ ߫!JWUL`YpZ!PmL 뇡;v9[UXlCu²'DUHgmdkbq:9ٵWY|>*np]O_ԆW@ ݭ^/R\/Kl!2٨~T=JC\Y6hA8 *xu Fv @EdG5X@|:bΥ6WWj`iO>%ÓJ*]+I(CCeNRW[C 8]U(¾}Ly51q{Jl~Q^oR1_l!?t.R 4j㕕D蟵Tn|Iw;fJBwB ;tW RVCP',-)JUh*VjgE]D q_ j9F*멓y;0d!bKdN\=3u|)Kw[#nS/poR}Gpu=PM+$=䌔>,Ѹ]4ϩo4ƽ!@/wjU 7%DHcG-|%B7Ej,ie p`C+ +TR{DCk~;veeic6$7, t>sΝ Q~ݯ7#I& 0A?~`BTKD;ϊO+ocNR 2}-&uZtnHc@E!]ܿ `k)Brm6(b &{Of #ʈ׶9rDFnRfdY"h7kӆ){fudI"mk۷ vyMbP'O&5"?t tc앥bxoM)|mFoC:Dݮ`9Q2!0gUFƤ9jj؆`.ѽG% 0^Ӭctw]<{g#$rBxgQNneNRnNTH'qpc刍XyBڀAs0̫G+T51UMYN;ρg|h d\߉u &nX jQgYZ #=% LKAT_and_DRAKAT_and_DRA.Conway_Testsdocument.tex7zXZִF! 5J ]A-MՋhvG"uIBm5T#f/bfMe=MN!ȿ~8,|wK7XL6:X{ҫxTl쫽~@Y4 9^=׷^6(EUz9Ny VK题 u? E死)L{S )C?w0'84Nśr( ?48r\pg+ni}]E Y)pg)oё6ԋz)4^u0ܺV=ٮ_Zx, [5|GTė.9j,SSEkyULyO(b]0]{/xi8e~(|{Lr|֎E e;ɍ%ň9nc7@7w8~ڀX}I{$TX괠KYuSm(@` q~Ei,腷w'&%tFik : ϐVĵ@`N r{ܶjlT7VcJjPuk{[QzK[Oݫst*N9?t ,)kñ!x^Dw &mˋV[ VS2ǿil[qr CRǬ&(qfsYsGʊ,`ސSQx7dQ*a[(ʍ#T%.:c ) ]ts>RAC Rl9bՈ :){O%[ r}ҙ8PƲOܨe"p @a0Sj{!?>-GzH4%ϐPƻJr >JDŽը UyP:E:0A DӖKƅΟ< 6b<;_o~aA%b) e,U J6\^[YEBϔE5.YȃoBŜ03v);M\ j)ܷ aBxy8^&6{ R>Ztt`MO-H|<GZKI4bVҌŨd8/8ӤeYfnpUɄ$KLjeU_ʖK I$c6PƔߣ~]}nh2|+sIxssҽJKb,)3.-RIgE4;0ITSVz&w6J#/ 6 HHbY±O$ WĠy!]ȴ"[M[ w*7>yn:_!u V EP"GQ^(1 WQPT6Zqu̇+@ǔf4OOXZ)pE2G{o {~kEY3g>#beY_TULƙP3(DWo`ڗj9 (Uk[!?\4):Y#rkXp/ !2r~wajls&AV<xwp/5p>WrLYI K{=aMm%Wb6gzF[ov|&oL#z/I۵n1j:"B|DBG[K3 nhi\5Xr^zcʕ+X6l4)tY:ß) >Pqgh^o- bSiOf"OV\ps 8Y}"4Z/}WOP:}uhr3..@߅ d'}\r~F Plfߙ~-\ϣ7ZSksY{ bc-hu:#Yd$m^7^4{Ez9Qp=Άʡd33_-&jmӉHӊpӾ yi,:Bt86vN<ۉ/G{ew Gz}pQU~ :2e2f$gYZ`Ԫ#oYD 3O$*-N,4qVD =qAzRx+6Yhck>׊-|ENM@ea*26 U̳A@ -݆y 5_v;m /&C^6)8!@v`- Q-(`S:q 'ʌX7ùz"@?^cg/a)@mgPwӞ eVɉSEW@2WuKgWt 5V$mL(jA-U/ oqшZ*"KX~RJ6tVdrfkmp|5| zלۅEjV0wϼ'Li+)}r*?F8Hoh9aIk7sn 7pf@=Bk~ْ,l,gMkl $)~,3sukxeORXmK8ذ`#"0Kg]e_Bs٤c9^{!x5v墎+0XÆk FsRMkaȡ|ekid;Mw|8ZkqNq\VLbᗎAv(#? 7IP+KX!1LSDlPȷ pⲜpR6f!}hϨ 3L)kABSԽAnVkT Jz:??8/b7K'ކ[Gc(@_iԨ,gcbp^ r+0:h"$3'}b"ⷨ8mqЎvuD 0[ &By(\6NT'p%l*Űk7RZ^zYNzDcx 5`B]!јbte=RvۤNy`:O"N)߽L c}e QJxʹH>GVA̒aw@6(?5p)!sIdYҀS?Q -/۬40g@}YP{KLY$? 6S.^>>֤WHcr~ؒKUQƞؘ2;…u U%eVb-d2ϊvޮj j,FcM3XlD?|*>x>BaTԕ7&XbuM-uƓjW&O52(Ѣ%k#2TxO,VA_#rhtߜ*Pm<#C>.-XppC½qv:(4Ym7ۑb&66a>>I Jԭ]{iOP9B",*