SQLite format 3@ .0:  B --?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 s\ ] Safe_OCL:7zXZִF! 7]ŗXf[&Q ϕaab5209iEaB;hzߡʚ}?dJIN^=E٧]e -㠆&.4NDxR>tⱨ`Ր̙?% d#jl=(Z2Z\Q\榆* +]Q9N:.r"@lXQC.AF|+ m8I !4| pJ`:8z,ݍoz_ >s.(i+,2zeƤ@e*BkGq Lݕ囲^raEy_[n/l]ISs^Rܲd~9N{AC() D;7@@:D|oi=uI#:MX67Y-$hְ ȲA׳ ݾ0+v,uK,&1q74ևp4DĘoYS!;ݙ;{ qdT) v.CHoQj~].jׯ!R3R\'$/G_?T)%}0AGO=±_!aU(QnU 7:!vJSחNFtP3cB+@V'9QySt)kZ"֟> ݶ]y# .pk1,Z}_kjo42Щ&=eKΝH YKՠ&'&-oRFc~BR}IFHeoe9)EZ 8NPc cI`ѓNydR~!*FjF8e. + Q|kʬ3eg Z]ɻ\jn7QppǍѴi4M:*;#s/#1AA3{x֟?#c_bQyJ\mjb 'E \"c3$OFb,=b»*IcQ[jN1n0pQү ")tToUƛ.R k,̼%T2aNY6}Cw~Iz;_1۫_ ~ +CZ;vOe.`|=7Y)2,qh3Ã#@럕$34%dCoaK(5ovj6(eet,K4N#(қHY?oc(Ka?$s)2qm9~'=Xfքva =v:U K"` pdw8`O_|`)bgwY`!wx<|M9?p#8eKuIk̹MPGbyL|/L^lޔ*TZ_@vɗR6|I^2/If9RFYMpsAG~ tVx;3^HmiG者Dw{ : ok gYZ7zXZִF! C]ŗXiɟ״o%..(Jm J!>n;Ol6ndd%Y 8zVLu5#zJ$헚jܢK:}p6+㥀*^(廤xL唠BDM   Safe_OCL  qXsŶ"H|R}|.0ܔzH01428T}Kg$_wgYZ7zXZִF! yS]ŗXi%B`B:߳o3L`&`w赮4'Ԁ YM/r,5 U1*& Ðn742s\pts6`؟9Kw&T:T@ɗ0~=6NаG6_(;aJTAꔶs>[V?8Kע(/ obqdyM9lK_|kG4]%* b-d- vܡLJM== kБ`e$.ǯz߷itdžN! , r7hE GMNfuV>>(Wh2ye5GֳMxX 8c;tUAk6`fuƣ7Ѝ04Y[8qCE|ͩQI+ܖnf?2r &C0qiISYVOny} [8:p6үz$>Wj,?އCY1W\Nڷ4CE-fiȔӦ/P5ۊ2y}'zWJrCAM'v!>KG-huaZ#*(Cx%faW/L-Dg淮L>cUV d~;/ ^>TsvrZP*3chmǸٰ -@JT A{QlQ!B|; _[9|JhRI60ձZX= 8yD;Qm,.7lp B-Ъ"f9o^X3α^l/ ao3SPhPlxa!*<_&:U(`3IW{=RW۵qO&.p,N&n?&tfGzK+DzˆyCH?mQ㺖lY|V eMQK<UOF[R @ t?[N2\Sj'jX vX!mTqfh\V";3|c"f<մ$- R(©t:|qKm`iP+j${_vԏү[ \>/^N 2 c XGK5' g^&i{(\O=2 .ʔ/ӽOmS p\!=]lfER̪44 ~3߳!Б\eIiҢET?.Ca("1< m%y+}7̚z>X'&|'l˺tVYզZ-SPsr$-L|fY- =CX{c:[ɹpY/'s u;^XxP~0g].+%o&y=Dc`(dKL޳c{<'ٸ9;¶C%߱ Pz V3M:e DztR@[Sߔ@ rI}gYE.\\', Ίrjp>'G(U`"pW1B- X Y)[4u#q]6y+p-M脛{h2wPKw9Nd%O{ج^cdN)V0]P= 2ߟ2p Jd Gl|Ɂ y)yROoʗX1U>^~(^v ju->0 89Ls%mцy'PKu\#{SP4iDgkf{VeD$D"f I.w fĘ!0ͬ-D%g0.+RMOExNb(\+YfɥǙf&|=Κ"SGK\e]:`+/JĔ ԫ9,2;1̳5婯5B-3҇n}Fodt; Hwyٷ9lRzKgA' y"· EjJℸ黱 GUyQ&smfNdĘna0B$b A+›1 (1Agt uCkWTϡ @'O`Vgnm(>`b(j,3F k{B]RࠆڂRD4=bt#>=\bd wCPٓs2|$E;E!nd a9񮬍3:EѓlqI-^va#iOđ7'4¢^CDӯ֐!4mc$N@Jd@ 3+vsI{K' L+-LvρկuQ 2UT{%@+@yl;O 7t;E#084m*z|I TgH6`1|YM/MH00q8J'Mڡ/ݴ;G"w~=yzI2!I୎75rz3[ڗcD[4&^a!X%NҞCJ܉9"3c' I*\>*H/EV<ڠv:gY쇪`>iwM0Ruf2k"M+tХ*!e@;[=J3P/{T-؛rs^:+sW1ƃiϴٝ~jFEf?Y2bygKFnQ$S;z=t^wVibkSf~bG]PXM^tjowd5vʚa- mCnѩ+U-YkD/y[t\ Ouǟx6`Nۍ+5QXϣ;.RCj*,PE6An;]K6TLH9J״H){fl*Qt:]V|WAбǶa^_/qϗcn.Ck.Z )o\+KDm˝P[4ۛVV'$KU5(,dm$ ڗR_|-"1mqEC =oWo*AS#Xy'w^(h4݃Ui:Q >/ŠmR̅A${3DmVDan \9 jjEDb-{V¢ڇM5-R+N^>DaGu4512&z@%{?~CdI0PTL2',\JY9.4z%_J!p_H5򖗢HXD΅,R@|"V.{wOY]>r ٠.{5 @ QuP:q0@cBmB(ܬ SPk;l>S|j┿lh:康+ZX%0yW 8!Nm  n'\Mpmx/ze~XsO@_- ͒%SߒaZ"=n;fM%TGR,9TB( aRj8 g<[p#S6sZC"?s }8=0DG."G,!^kX)$Ab8OrVSN2=%Ų\Y+r޹1ƗNR=&,8;AUIvyݙeqlUB 4W.T]Ђ HqFY /U_:M2cXR@f#ve+wG2?|EY0qY%z҉[֭M)E<fNwHqXT].Uًbd0bU 3_YUG>†t[Tf]Y'^w8& zjPIFL]t~۫Fk2J v50ӾR=ꈂf,p$AAه_6%ތ'Ps2{DQ+<2饔"F;k 1ZE7ڀ9`*t=z?voIZGҬ $h*NWCz dD7ğɐؙ6:؛<<Б'O~?`[b]3Եd~_H  ?16(1]=a+R;#!>?/ޗNA88JsVr*Q)-:9gWMC e68e:3}Ix|YK$lu<^h"Id]{I(П'0Uç^[jm5ܬfO(#k+-3l%!}~C YWAAb8rB>%1 cCO!M>yb 5r3%1)%;Ɣm: _m ؙ_2<_&dbh^Qq>E74@3lpyi#Yn>1pEC6Y!<)}T["E|95RG;1JL]}ZȔS\J&#tnCRBHXD5WAsN-J}^ku^-FP"JdHw7< `] $eSiufO>t mU (1nl֕*}`lqZN@탯wb4/WY.v.[^39Q~C`6TngHO kd~>Ian: We}3 !ӠV&^QF&{F6IZ?gRSH1Liq0̀؋>zV<>:6׆y,jk4W]f]9Ak~;))CЎmGC4Wgq3\\jVGog\EΚ,C?(xZ++d¬5A2E񠥞 N-Di z5,W >"EKy4\| RpIQX1{tr?1rjpyd4e3PSn*LcAwgeC.DrB,87!"*t/p6ye ұB^ApkFDrӏp9^C^ʺO[V2AU{+ڻFKa*90֭z9s1k3 E7"׹>)x7Qƹ#]XMMړIα^Oj,$dq|j|akQ0ޭ~u;pXx fO1=.IY.qE82A M![^+'5OPH<ݗzH- eqx+Kƣ1UyǣW>,C)w %vo23٫213VTr8œӺv oԯ{f 3(ٷ8w]W##'K5DpEH'+kP@7~;Z~3ݟR||B}v;`ؤW|ERјk1_cu(UFY(>✶*AFIpq >d&&<ߪLG#JG*ww@)j/)PSL,vq9hRUӑ v'm`SFvɐmaӆZk{5%l:cYW;n1*|&Q*1о`օJazpTU> :(Nrdy9')#D|JtQWdI1]!D,{s}_3gLnx]bp|bT$IJq# D&>4抢ZXSViSfm,Z.