SQLite format 3@  .K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  D!p \< ]/ HOL-Prolog:threads=4elapsed=0.280cpu=0.476gc=0.0007zXZִF! h]ŗXiɟ11;vW Qr\ ))˂JEHG2 ~rȼ(mm>%o 8\ ?cvYQx1ňgSQO`^$y4a$kWs0lAwH}ݭ\PZY)R&V15yh&O;a_Ar ƞ 9g.ʑQpM'ɮzJx~i1F9Qތٲ#Y(͢b3LF(7N> g?p mg'/\OA9Da;$"|J+ـWLR0&y~ɟc/J&w$ԼDS 5=)S);,b_nBI:b]y^zMFz_W+vDY!&HinP pO΍.]wH;b w1tg],q[Ǝo6 졖 < ˩ϏZV.Q fF|3է$GRP@Pgg_Ag rm ŧ1"U cXOH+qW^(FK<_d9bMsB#j;WHۤPߺf# Z@pR A} w+џ!vB):IަaEu]$л طg0{qPP @V9uk\K<ᶶv)/N̽L*[4 -:V P@=zFSu&1f Vojl 1%N|n:pD(z9C}R{'fn$f9٧ /3s@:+}Μ cc*>Ȑb*A ޿=,5cfFv4LSnyRTo^?dyiӯ^.jRfBrͬ/Y1J!+6tD3|[aC괎ϥ魅M_G3T ݢ@ XXM!/ 8%\5gAt^Otu uFG13sڊVl)"r  gwgYZ!+/ dHOL-PrologHOL-Prolog.HOHHdocument/HOHH.tex7zXZִF! ]A-MՋhvG"uIBm5-@ۚLD>RkJn "A$xf)=[IDl$46zh02/];;}p 'ad4~Qqm Ǽ)ʏ=KE9-tPb ׋WXGhUWtE`Kw@T&!FqZk@x [ ѮWkv4A7,1?m>׹K$2g=Rm vCSJwpgF{6SƩ5^#*.M9 \P;-<&;ŗOi%(|)21Gm J`l %ɞ J`scܽR~dY_}qδfsZ%MۚZ$MStA96 ђkÚ8zz,K6,;-p]wn\-&M~Ih0Haً#C|N)[DI]gh;+/}T|&)ibj@^r@4^mQFMYKn@U'QSXrrN\+43[XsyܛFg7;O<}i[pOc37G#JRx8;u.M֧ 4 g|    /  _ U= % n*!+#HOL-PrologHOL-Prolog.TypePIDE/markup)!+!HOL-PrologHOL-Prolog.TypePIDE/files/!+-HOL-PrologHOL-Prolog.TypePIDE/document_id*!+#HOL-PrologHOL-Prolog.TestPIDE/markup)!+!HOL-PrologHOL-Prolog.TestPIDE/files/!+-HOL-PrologHOL-Prolog.TestPIDE/document_id *!+#HOL-PrologHOL-Prolog.FuncPIDE/markup )!+!HOL-PrologHOL-Prolog.FuncPIDE/files /!+-HOL-PrologHOL-Prolog.FuncPIDE/document_id ,!+'HOL-PrologHOL-Prolog.HOHHPIDE/messages *!+#HOL-PrologHOL-Prolog.HOHHPIDE/markup+!+%HOL-PrologHOL-Prolog.HOHHPIDE/markup1)!+!HOL-PrologHOL-Prolog.HOHHPIDE/files/!+-HOL-PrologHOL-Prolog.HOHHPIDE/document_id0!+/HOL-PrologHOL-Prolog.Testdocument/Test.tex0!+/HOL-PrologHOL-Prolog.Typedocument/Type.tex0!+/HOL-PrologHOL-Prolog.Funcdocument/Func.tex/!+/ HOL-PrologHOL-Prolog.HOHHdocument/HOHH.tex    v!+/ HOL-PrologHOL-Prolog.Funcdocument/Func.tex7zXZִF! 3]A-MՋhvG"uIBm5q\:zHʞ3{Xj(ü& ρeU^}|{3gJů;Zʘq^=GbkbAlt&;f}ĐcVY ^8"j`#Sw+='2qRcSV[lx1*=1ʨ=m_'L#-M*B r/0S/mpj>)R&V15yh&O;a_Ar ƞ 9g.ʑQpM'ɮzJx~i1F9Qތٲ#Y(͢b3LF(7N> g?p mg'/\OA9Da;$"|J+ـWLR0&y~ɟc/J&w$ԼDS 5=)S);,b_nBI:b]y^zMFz_W+vDY!&HinP pO΍.]wH;b w1tg],q[Ǝo6 졖 < ˩ϏZV.Q fF|3է$GRP@Pgg_Ag rm ŧ1"U cXOH+qW^(FK<_d9bMsB#j;WHۤPߺf# Z@pR A} w+џ!vB):IަaEu]$л طg0{qPP @V9uk\K<ᶶv)/N̽L*[4 -:V P@=zFSu&1f Vojl 1%N|n:pD(z9C}R{'fn$f9٧ /3s@:+}Μ cc*>Ȑb*A ޿=,5cfFv4LSnyRTo^?dyiӯ^.jRfBrͬ/Y1J!+6tD3|[aC괎ϥ魅M_G3T ݢ@ XXM!/ 8%\5gAt^Otu uFG13sڊVl)"r  gwgYZ!+/ dHOL-PrologHOL-Prolog.HOHHdocument/HOHH.tex7zXZִF! ]A-MՋhvG"uIBm5-@ۚLD>RkJn "A$xf)=[IDl$46zh02/];;}p 'ad4~Qqm Ǽ)ʏ=KE9-tPb ׋WXGhUWtE`Kw@T&!FqZk@x [ ѮWkv4A7,1?m>׹K$2g=Rm vCSJwpgF{6SƩ5^#*.M9 \P;-<&;ŗOi%(|)21Gm J`l %ɞ J`scܽR~dY_}qδfsZ%MۚZ$MStA96 ђkÚ8zz,K6,;-p]wn\-&M~Ih0Haً#C|N)[DI]gh;+/}T|&)ibj@^r@4^mQFMYKn@U'QSXrrN\+43[XsyܛFg7;O<}i[pOc37G#JRx8;u.M֧ 4 g|0 .G-هgYZ  f!+/ tHOL-PrologHOL-Prolog.Typedocument/Type.tex7zXZִF! @]A-MՋhvG"uIBm5u2oZ& 70 8t?2Z)/G➋qef3氲Lhd#j%<3T4«n{Ɂ`×;@LhY #)h78uYW3GW$GϏKP'.ڙ)EinxG [ɫ{C9z-=d8SΎI2h~34Lt=&eahsM)$Ð1gҮ`ܱo??Cx W(gv'+c2|{.6O^?<;H fhjSO˞C%y_j+7ZʩXR\(٪qϪDg@Ҧ+ gX#jBT31\Jusafhrd$}n\ uɯa~K OBʗwudd*1dDiKL%t kYvdHC{LNy+*:D1+ѺdlsŵN5 ,g#f0QT{yBiʒbò:\h;xp?q5V(U;6A~Q1L,{;TZ=!uz8ؕSUp G^&<]׈+]U6A+'!D\7T7 N\R\O',M!9lak7?z3tᬦ,4415A%*MNۮBMm_5DDY ":w-yc3^aW/0z૫I( ]otA2zv ԷGɇ\ٖ4H.TzBTNi;XRģ1Nc?ϑNkf9 U,w_蜍M&~q#{=ZជMnu LoX| sk+,@yI1O{Ix*)-{kRrS&TeLkFŞGgNޓf߫M)*L$1>%1&p yLS%$6xg=uMV%nN?A l>lWXãQ=%{ aV@2JEmmI\6% %r[ROS^0+OV:5Yq5k= ܤ)`_}VmAndӕ~/`Dh:.m-3d2ǝƘt9|z cG*s_sV;2_#ke,%Yf"U3=`{c2:bCv2iGw-vzvumC: ɁjgYZ xx`!+!xHOL-PrologHOL-Prolog.HOHHPIDE/files~~/src/HOL/Prolog/HOHH.thy ~~/src/HOL/Prolog/prolog.ML3!+-HOL-PrologHOL-Prolog.HOHHPIDE/document_id230n!+/ HOL-PrologHOL-Prolog.Testdocument/Test.tex7zXZִF! |]A-MՋhvG"uIBm5k aI3tA?k"W;F~ꮕrq&>se_G"OHP!T1p %&bLq=ԏU?cn>)^PgG n0׋E֤bǗ܏ 1[P u^ d}֐0yKh@j٩ X1GЁj()1V>aDѡU 8uG-FdjэGO lUMF> ['G Sƅock'ѯ+Pp*"ſcҥstz}9ZLj~Z;xթ ^VƊLvP?{IP/čІn5ȗ[p\52RI|04e ?Q꺑1)f^1e~1qYs=x4ǓqA9M6 .ⵢ~vV[`9-E-J:n gw<:],"FpPKI^lr R%C=H|90 G]D)aDO|ORW&CR'O BבG&4YL.ƃ@ݩVU :j(J= [3\M 焊=0oξ&/m : o% y9"ײcnFNU0|uՔ-c [yABi _ C/LZ# _/i M,X`V^l@ S QC$%V(HV"lYU aĆɌŚ V@ʘӔu%l@zl8~ϷM Lc-L 7"!W2I7hdZpI-[ x7cg&w,Tʼn]Ċœ4a$һcYL۝tq,ZL53i-d$TH7yI F3~vɝaʴ ՠmmyًXObNKcojMcKs?D'wքY|ˆo?řj..?W/+hc %O,*G!6G:D!dŽεz A5M~޻'|N\x {ă3u_SɕhznV mN P@1 ;c˥}2 giq0JaiOc4  ؙk^lO8J1Mv̥_~PL!wsR%g({q[dG.{3ur}W5\Z.ܳx{<sB(rX9@rrZؤsE. #5)9c[ Uu8|^F$DSj6}f-CHWF< 9s~'*:;?w!kױu9k,CL9#Vlݍ5+AGVz׿<(Js6oqaZ&t:ͳC|Td>s,zܡ]Τ ojן›ayQ BBp\R%V +2m$zK8Y8$dnuDhDX?vEbGUo< Hg$M9TA%q nAr2msjC\Otv.?a;u. doˠXCn՝H@6 MsAx|HϺkb#53h29I}ܘIfF b^atꇈFrvfg+-/87[jCCCxS$WA]a-.ƅ'gI}hABHy'?SsM&A* Jy@e$`f(o~ӏi3UeY<vkۨbOiD' E~h "N  iڻGlzR >^ZcO5{hLCZJ(~(>ڰz"_U!@ j] s+]']„26[\v,4+ұRJ^;kԢbT%;ή%X }o;57Kkۅ kzҡ5]BDo2xqALQ8D;8l̒]rJ`]2]V(O(Wk ;wst.YIhM[X/=MDBֻZJJ[EK|UD1 ys"b 6ӓ5/9Z?0f!ʜۏژ5x J_@[`lD̅Zw$o+ޒ>u>Q*7-?p)iK80-Ä|A.rrŀp`U=d 2%x# oCk'Iui k?,߲1t-0~7 Z;]|ߪ4W²+BSerf&͖; P {x }6/V!'?ԱsٖG5'!Jo|u u q b\l/}DvsrT?D #hV(9[g]7YoykU5o%uU5@yr߃qzHZjɋ%Mz%D4A! ISS@pxZk sD.*>y+G;X+0vg$i<ĥ B7g,CZJ7 NWƲSBvM%%c )\wK'c{DQ)p u%fA۬@cu?N~x[[̏uo=E26G@; P-qn[UGH+UԹX`9.Ypt@>OULvVaw8S5H.AO|R{ꢕoe{] S +Y{ZANA9EÙԯ4d'Ĉ7P9\gʥ#.svmX%%50 +qs&m߃U>/X:[)H#7olzʓ O)m2G5qvp{^UO &pi=pDAcS)>^5Dmj@a\5+|4ҫq/:u*#Yܹ'fQߜxҽ\'l|DFgHu巪xLns)thr: N28:QCQZ@.p 7*^p6r,r'ԥ~)tT"U$7Ě;6ȃT_H.oB#F DLJvj=Ilyzr6o{-ii B\&6 &7N(V=ў]q`gPTD6 (|@y*׫O$B=~n+]bz+N)J@Zynvnk;: i3/T$eMel 5eMx) rtcY=PjX5kZٗeOelv!Ǵc @/̭g_>bU*0xA{BJHn|?GPD=RMM'C0vo[Q8GP݌z 2vq" @܋#CƱ}oH^ rn5S9bt^I:,ʷ+V}֕HMB|$A#ܜ) i3oxc|}g 2+<6:W1ny_Me$n1Ȁ&"3{+WN#ǵI#:Ì/ D4sai4aZ:▾bEmw5O2|(+޸gh5Q]E2A$O1OH؂uaRb,{6!H+3֋?ʗ~Ť{# "kO5uѴ׮*uS\2n_mpƸ#y+!o _|!,t B#IbH?K0e<{UDGЏAxWDF{M05 k3~4 ! b-lH˿PWAy4Y'l~ƂB(o s802v.IX>52 9]i f.VɊ]G 2w|7UXCl#+VtK+5Nڑ[°j-[ dNۭ0FAY뿸c{* ph .ż}2R[,2s9yB0I͸^I`/L&Hsy* {$nr[E~Љ$^^Ҷ7n9q?{2I@Ҭ&yXdTV.m cVd\+M ?J8ޠp̭>hmZ] `I 9$uq@}Z܍m4n"9{ܕQQCsP>{&ˁ셣zV RGݲ~y;xN˽p7q\`!BQSwM"b},`zv̌F 07aQoq C>){ 0 ٍ"Y#V3럧)CAS|2E12 /hJ=hv)dLH&x0q0=/6<9x\3 X]yUJ 5nNR _`h$dq?/2G/Ma)z`R#)\vLޣĐ-$j1^SO2o0Mw5s^~+ᶘ#H+4ά3jAj=\nұsÛS M I|YI}&m$7CWɛV@Da^1 ǔ5EMi*i4Tפ}Q- ܢ6D;Շ1tx4v7m HiD&U-d2#AU# , 9z+f`7U}"!oldVѸ*ZfF[mgv9L@S}fцmIs"d iXh~.*`0<@ʠ91zVD N3rn^=Q ݺN{s)5}vQgQ+l?؛05TU\V1oީ|tH0#z`2*O,Eä}͡΀Ǚpc=LujEFP?Sp:9&${Ukszu\#4&:k֤ܴXc^G7=J`46݂zwz:s$jqr(ߒ!4g/}3 V̭zh`6fKQʥtҋWp1ÛVBukKٔ.3Sk5[}vVR{$4 +[('} ٘4pنʮV٬y#i;}zg0%ݴlqw@o & 6vU.ͯ N(@5ހd])恖 =B9sx2A!qF8_5q&55f~ b]|CeMhQPwlҙ-}\\G%!Wpv#T-yPSc&\}|9퀈xx⩙.0afTceFcW0 uv +Ԃҍ~xCǴ2Mrmf-= QExtxϐ[ϡ? T~Ҍ{#)k d?9_C&31Τ >DZ|&ƅXr& ?[?L =u$q. 1ܿwE~Ț"`&d˦rx޸?Oj ΠLC]vii6.3 78 (#-4l'1S#;K"O=-Uo;ҰEp IDb#~4fYsRqY6 'Zc/ϡԶV?fuУ-t8]uvR2GgLqBMɒR^pbdT;/p?]ڊ`m㰽,Iu9 WMgmJ,wL]m>)n3q 91NJI Q~3#M#F"n.~LaF+BF^1^ʼ34گƦt){Y|$NBOq|A\tknjGJ^QJI pj}A'~$P4zx^1aRRz'6ʫE  Usir&0]ҥLr/8~@|EcJ/'[1O̺0tM_3`SaƗnbl7EJ`Fmߞbƌ9"*qdh߸zсx-Ʀl6< ܡ%{F"LXcsu'=; .fqGFoc Il=]2+ ,[.ER~,q*AVSVM)E#DF+s;ޑX5o/~6#.)k.W4M1e{ͳOkpPE8NMY,JڷYJlZ'Q|v/MR lWZ2}Rɉ_Ѥ<}7ώ؍?iwD bUDh,hCnjoi (h&T/*Ȅ[o#$\ogƨ Rc <Ն/6Ɠ)E<|@{8窞CQLktEUmx~*QJ#@y 3џA8JM^'*=]XaX:yн}A֍ƄYTe8o0N -JDPE|LW4DB/ x,e6ݰrET>_)(ܒV_8U((,]eaULcxq> \B< /h gŖ^FUƅEooNPL]DNA> &KZs]?ޠ pgYZ )HD !+!@HOL-PrologHOL-Prolog.FuncPIDE/files~~/src/HOL/Prolog/Func.thy3 !+-HOL-PrologHOL-Prolog.FuncPIDE/document_id232^ !+' lHOL-PrologHOL-Prolog.HOHHPIDE/messages7zXZִF! ym]Άxʆ5.f-9 rq9m4)DqA:yf'zrww+>n 9TFz3 ě:/Ʉ7$S&]h嶠}fߢFTo5yĥ ׆PQy-,V7Ar/܉mܽݼ+Ց]:40v!(4*UZ.\x7)*?]xws^=gG뒽zKIԈ2x XupoxG!k>+J`T|N<&W{JmY})Ŷ:%Agy2ފ.Gjn#0ưF>.8GLW-`s"-8#W+b޲?^2`M6꬟ٴwpdrSғ !2#t[$8yi0ޙ/(4IvSؖ{7X5V6h`;yʆ8% X(LHԄWkxxjWk wM@0|oyt &;`+T0m.gYZd!+# |HOL-PrologHOL-Prolog.HOHHPIDE/markup7zXZִF! =u] !M젗OEEޫXe&sHZm9L9j-2RUCf<"QՄ[H[NM!NPN;@Dbѿ˖xAY#N* iEAޖ"]5iyU.C&Y)ZS>tMP,+cQ8F| ?k{PvBOmL(ꃖ^)Dext R(_7R,'ȾOAP7ᒞb-5z?CvxݥS,=(F_|*eUzF(9mP9ĸ$#G țqBh?Ϩ7$L#֎jR3eFL[V߰{Ytn>uO5_iav1|)XY>.E lSЯg۳E+j@xu.;rձ^KnB-ܶr,S%S\)HBߞַS$AWl1:^4k jUE ׏hRnJ1b!1i:tZųN<L+*CIjdLVF\OfƼB6ګT3ҒSJ|([([쭡,Ј#8I\q0}0_WEK#^g)Rw8lq!|jhA'H{=y4땦sWeJT롹n;FɐI$QJ2 LdVyX([z!̛ گ3x.1v?1$IH8[ PܭlX\֐Ǡ>V{Wrb; M7t?*8K:9.ǫ΀13?:8DGhxS@`Sn@EA{ER@ySl(BQqPp}lڌTQQUc6|B'.Y~}RBd%7-F"$q pֲ6]Oe9bznٞ.KXx'::l_r#"@wƧ(2s01+j?y71z3J5~FOz@.\Gr%ރBId~p[i)*51"~ ..6P`6Ss`š򏓊⚸Ȕrh,_q\ U'kAQ7Jl5mY9b] {' BgYZB !+% 4HOL-PrologHOL-Prolog.HOHHPIDE/markup17zXZִF! ]]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0KBu9lro 4H/ rݨmgQ )(u6| ydI{mK⇌ӜUn.l`ik/`(G+WLC0mG&X׈S: R-Q"xѬ5I,,zag/$sG۟Zr"]@"?/h X*v>D!+!@HOL-PrologHOL-Prolog.TestPIDE/files~~/src/HOL/Prolog/Test.thy3 !+-HOL-PrologHOL-Prolog.TestPIDE/document_id234D !+# = `h: 7485iDژ&P-S5i9@4AGMK }Nv/<?EL@S'h@b8o TRa0bGg4䷅1&`bԟw4\6xu Ks5F^4\_z߱3*Ǯ$χDϽjeo==tx*]{-i\ űOaF9-nYGOrtZ[dbDU+l'<,"z heU0txC", o{kT5Iy.GvEH]ZTNkz$ݼ׷ெbbR"BcE*#7L=*) d-ߏ*#g7[$X4FsΙ~|mv 25.3mpw.,c3MGk "No+$הv\ܲI(}LSbD!2* ,Մ|#4LT*6ΟVNE&ޚ+P[w]Φq__tPhZeos kx#:oPOJi{҄wV̲#\۬G\*/ l>Ȁk|P9Ĺ7--5j;v1bY%Q&_eo[D׾NkǏmyY)i#E/sY7oȵ$" ĦŎޟU%%].Cff_vF֑x11b@VVP3R".SϓO60d$6|JHo՚{b7q4.haz$&[/ϰ³Z`l\Ξ;Z%]ðgFw_].[X(vG5vaR%@r gQBtRAՌC/:ߋH.jdKrK!&f.OAX#[ABkSd朮 mV!loi} F RzWeaV}!Dw+ !u_nEQX B@Sf^y tl,jQAF1-[hizŘXT@N^MiLV$_0ݹ|2*NL; cZt*xE%^J|5ɖ bl݁mܻ䎞+>4Yn Co/אl'W(zR \»j̳ޮtxw3=Zc7PhgsS'+jɝ1fob"#SZ>hM6oUioQ:a-3"#ݲ8KU(;aQGmr7ؖ&UqCfO{]Ͱ{K' d%dAT9W gYZ}99M Z/3`4`R$r̶DO_a2A$RyT">KT6hl' $/aJ|'`xdH켋OjhvUh0 0-j9B5F~#ZmgV Y.;Rqkl/e{[sENra|OVNG!ntegq Ɵ 5vW|w~!WxɩqgVM:b 54T!;p 7K`ѨM Tĥqڋh`Ֆ(x_n"p}N85ժ$k5iN t&g,52!pOQZ>0׿d6﫩%93hyO0*z6htXhxϐ$bbHлb;qx{Me})0}GJYH)%[r!"*b<=Bl~&Q}8j247umfVH!ƭ[t"tCRE<>i=nZ\ooUAۏZr)P}&;勇Ɗ)j^2t(Tޠ<Œ?ȹQ v*$ -+_ak|kXW֗̚*OB1 ث n]E׎YNëˤzvȲi lSFЉyð`u\j,j6CRrnA%1&d L>&% E!_,w{WVAQo*Jqe*)o;kTaLB}&+=BfbS}z!^➔ήl-xRo&Kwa6IXFфӁn-$c8 5Vh;8{n?SOy E-m%=N ӸQc J (Ԣ-fmylFPR;Ƙ[&!q=Ӹ Lil8(<6ϊȸr.m$cݽz*i{YѺ^>$4ݢ׸#-8=Kua0' 5ѐJաO%WlG8tsU4^KFeNKae 4* \n>W׵g5|Xnٟ_9'|aU7(W{65Ύ-M!^8xxΡ[IN 7WK.^fȕ؆ZDVҙdvGm[x;AQUșJa5PVə.6*5:Th7 7>r0~F!KMv.e^ 7;qz.Ʃ47PeA0ekC&/O!aeоbe!y>鍻!+$3B> !LKt6)^ɸ1&יDgs8۠KaR))Ӓ[uo.;b>}f-3&"p(3ވ ^d)G0v ^ZmP0).ArT2-)M^X"M`QN *xsQ _ E)CN[d@}?i}6`; 3T_˯jϞCKhF/ -DH\/EU.ȹ2HIdtycl^G"ޕd=;YyE]㏨~AٹD| Jǀ,bWKv 0}3A#|%b T>?>9~d_(͝$iUd lo`I7mYXs[]߂J5ܺg˂[xQ@:ZlLN\ Qpf1jS -EM Ta8I{ ?sHjSH3CeaOr's,Bs@1Iо "U| <.EsG& Ovl-=JPw ~gc-0"ZWxt=РWf:l{Tw0=~-U.=R&?S@xM(g Wڝ:hS/5S8V;XUYg 9}~GHi@ cxE|Gڴ\ hOj*R\.7@gm:4jɻA8E|ԣV{6yrsRak){,rN0-_ [$ &6k 5"ףOn$䴳LF&ˊÀ[Ur2ྦྷ+"[`"L׈eA ??Sa+b/(b8t;5"Lpat ]=wFQI.IDŽ ^W`<:^މ$2eLesgG3ٕfqTQ](M`==J09/UP^HB̯mVkDijP-F$TJ%݈ψ>D0>k}9*LEQyHGcBF76j{e!90-$VD #B́J%bϩ'( #ux,r-LY?uUV#r`H^gwhZ@.⼂A_#8b['&^ ֫q!w :W:szR]Pއg<`=קm"S DcI,Um^'"VO ؾW ҩ? eR'DD`>P&V&ۈP]hUTy7n7u W0֫ DAa89X _>6Q1 uw("b$8cGTfܸ9!|PqA  GI,"^nCfۻuR6jU8XTB-b@N gś;z/vr8>Ν<ZC=gYZ &l&D!+!@HOL-PrologHOL-Prolog.TypePIDE/files~~/src/HOL/Prolog/Type.thy3!+-HOL-PrologHOL-Prolog.TypePIDE/document_id236T!+# \HOL-PrologHOL-Prolog.TestPIDE/markup7zXZִF! 䑝] !M젗OEEޫX3AS-ipX|xO|o6}/@ߖZjhӕ}DzN|X H}ȱgZ'V*-nv &?yL( %~iCQXٻ<1)t9tIqD@m!Κ."C Y%lkS8#I+56h0ltW[iELrW ?/sFѠBYlhIXSL~kaig.Nd D7K]ԺU\H *%-tFY>Er]ij WiB+z_`.,bt>3!<2q0^[X2Lqy^6ZS,s`xU5lC'D5(`m7.osR"0^:K%5#?K/=@&%PGtb>)k10lAdg9Ͼ81RuFe~\%`/h;Hb 4D6*Uyq}( }--ٟdMsDYm99,ꓨvd_4 ~1Λ+l[h AW~b U059^R v-@#Is`(GQUPjP=\KaT8"oLI2E|L%."kctP:߯: :j^@k!Ĉ'{ %TSTXCalaIAm)X$fi8TP^l:ވ\0FLg—T;r[p낒*K_%Ahz KxqWm) x}\a==w }!kqJR뙮ُV!=ؖK5􁧇S-D2EvSKw8+oݐ0Pz|37Vxdl\E p(yWaZyPzʣlJF o %gyLZ6mFdU-aۄ-I gw)5(#d7KN['ZxJjOhY|[hpIߌ<) j'Tx=qP(uAm˦ gǚD`BJMaZU}B#A[e#U]}ٔȄPy+?$0(p >kS5Egsv&sEρ{K%$mWm.R(쇕N].) 3F&Hf_:_4)Mp o-Wi-GDKVvl]ØCMDa(p$6yla!dBC?^pJeБJvIw2ǓKdSV؉7GBB\`Q NDKZCا\JJ 'Ƈ6u k<Ͳ^qI8oXK>.L5/o2+C- c;0*X 33e_\%zIe($L T141B L"Ri۟>/fٟW.:EG6{&v #CAGo {DxTldY>q/|;DA%]C~bIq@ p vDؔKok|o *q_?;D->FZ'Uջy]VrwS$ѕ!;3ܭ|D!>u%vܬN_K/0v"DFqNX>qzGшw Bpq9ztL_* Ü![;kAO~.>RUfO@αez^رЌ0Pd;Ӹ ƢPbSWsٙKB22lhpZD5=۱h֐:2Hw-~;л Q `/%&Y4hfn ';T6v#Zp{PE{zڞ 4ڮe X5@izh!$(EErr||4ꄵؐr곒GHvֆvB<ڈ!pU$!~Q2aB 9ΏlɀAhD|[u&t|Rt4 t^@}Сo}qT^^[ڠwU~.RL `S'+~֕ q9o`Et-zyL%m'\s3AHN1Ja§;ޮ:@@aД.yۺ(6 LCIIU$.J퇼]o4fS9Z+ 'r s9)>OJ-i jSWYR^V*}ƛD^i'MqqLV묗O%jIȹ ؞t7PW$IIImDp0#FaTd}Pz:+>iI-Q0} e^lxG0yWX$dީo+Q0c̀*7kqXM+5DoRMaZE{Ibie YMR T4H5nI7f KFCjAZfW]w^EK{'YMj$ԅO+ӽ7Xo?Ȧr4ZX2O :Bk;.Mֱ0SקcN `tVE6+W;f:C[ ,RHZ Hmf 0 \7(ՁMvY+7UHXa R:ia_hkB+~2 z w_9n;7 kxQT]76,^o {m9֌b'JQ45X5p@PٵںCr6,ɴWuZNw!#vU5%-g3rERzf"& FMp,0*e~ Dh+&SK!3ҷ,Sޤ~f>R%9>Jcb.רWe!Yq J8sj;\CH`M6/>y0U*#QYKr5#LuDŽtRx akx:`h ) 4D0CR Wa30(sRpG/S +F9[OVX2#H6uGv<\Z.l+s@xiAPӁ`lt[\iEuXw3[-KWuBu*Dh,S fLE~!ƀPr}І~-hI؁ p[kCρEC/G8jȰ\^?`pP| usJ?ͅRKʓ,-zA¦u!$t>sƉ?>݆Fiג z[dl ާjX" '727ԬY_{?.u֢fmDPݙ@EsU] ҃T ׈- ?Fu&W4~gK偢&{eIo4#J E϶nZ}JWW`H法 ~R?hĮ%bT-2QLW&(1\)3!. Fx?]F6s?f%ĂM?!z;ph)'סuxq[Ky=5bB_Fg:JId-U C`eP|5RV sBb2}o`_AThP܎u~sZ*2p;M"38nEh{q}͂ 9Mzx'PeNrHBN=r8:^Gg@O~͂+-8|5p#{XsQ' 9<)^O =:!!R+{gumcjASYGqNEsK@=,PƪPdG&MzUq"EzQM?*N䝀h*{. $眹 -56oiR:xe3~u 09 rŷB豉Q:[XA Wgm܆nCHw)9[zDjCtüFi7OƕKaM_:kx?_N:;vd/`̝v :2]5O|<1 u@oe:IN2K'Deíg* wN;9qhKx_ۜWq"#e6DT Dʜ".Qcgym7-&˹Xm3Ŋ괿' 2xX{f$@Iz31eӥ~n\A_D6w {?/QICЫ2?VZ 8 :mv>–, }QNMy-1Gytqn:;f~ڨh _T(H~/.ACe2_x6Rׯj[ZVݪOXAfgͨ'Gt$6>洿H+,HÞ$TdOί#Y;*&mlJ̻9>'mvV.V{[p}ԕHqBˢxG80YhIæx$S#"Rp0>id!vɹݴ$]oF@l1(Y6v}Rع ƌL9# @@ LscӤ[^ZļԦ ,gYZ