SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  z-D|?$q!A#O5L.<lUJ$ywoaI9)8p. /b^)\Rh(l?k q ƩCv$w4u?Ӳq٧/B,UOzv6F f Ӎh9 /ͧ=/JmǍVH G^D^'bX_92шX~٭I : ,CGwdȚB,ً2>؆9u3HK#{T q_Η]l%w|N~)sIfj'Y=};:Csԭx?k boOѯ5IaGCq#TG)@YY/m}q{3Q^JYW8hpɊ筗r.i>fH! נ - Density_Compilerڌ<$ NyGCU8-F#ߝH$+dX<e+*ٮ͛%ȅ 4$vOY}5 +b.[OVx eq uy }y73C,KNswleG.Pf/hn ,fZInT]Њ T:*C6=(igY%=eW@|O6ϫ.2 e\H+J֒٬hXyF/!xD^"m̃K^2E&]ur=? 4~ʉ.7c \XHNݒ()5JVbUFiZ~ ;_qYFDuMtܑa~cG. N[L깏"8Ӈ֙/-Sd)شMZHn&h XD=b#(PX+RM/ ƚtJ?B[.FH^#^d_0w;;N6+2,vx6 3w"'U;r Obؿ^ G%Р{;?X#Rwx,=M)VGؐ3<;Km(nм,WU@giGrÙ çOs1@=_l2Zesmb@$}֛E'(0@ǸQΩIKNHV[#6(;:. ?W•{  z=d[,h᳹42vn(oCDn@`ʤb DL(G%:g>K`Z(˝e0N"e[MI*yO&⅞F77=j+'vy-| .RF #UB]ax|X`-}UCNUiޒk-gYZ7zXZִF!  ]ŗXi%6y2;Z@=WlӶvJI8 ܚ|~q%~QNtt_Vݿ8% ؤ ah$#796ťt8Ц Z c21T,A kk3/eMe8T8h <(-Xò:"VZ)Q#gHU+[2vh"j1w_?1d 3j ^o4iLWRwk3RWg~|vlNMpp;Njҷ3bԋdl׮? M aS,j H *^AOwe_2Rj̓2I#IϤJfiCY88?%B%s}# ƴźt (aIӱ<:#j&xctRhxt7=}&0YtPS`vZGX<T;)+O.? :pnՂӜgVzTۤj[Cˬ5ԳBC-*_OJCQTڏMu^* ͞3B? Nȕbxvٟ =@WjquK~x(P iП`R.B(^SP OY6Pt{@򭖰QMP\9-OaBJ]oJ4e:9[2 п^ܫZ>BEwgz{N1ܜ^9`) `Ê/bVaPeؙ+,òI&" 0y9ǤFVrO|q)W 8̜Z g5bY =,om*S`񑵙}->*# ~QVCpgZXr\ 'x3$ YB))ID,hReoYS"9<`]{qU{xFX'VM,|V=D x a`un{177RzRa+:JN<#n72vT -8m y!J݆pqxPs4sޝKlu0hb]D X7dK0޵Ȱ{(g8WY:zL\-lޫ#r -x ;Q _u |X}9 ZaAi(2Ƙ%`ZoL#SЇWI>^h!nB8Cw10w7&e _Ћ_z1:-3fX; Z m `G\5gvYH_llUtWZ F/ϵ [66[s[7eO XKy $Z1 jk8& 5:dJ֏Lmlb-f$ќs J*H y,bm aڥ7nTɋ\Yr{xd z#tfI"iDub $J9D.[#&'/dzN-(VFhՋKbjws۳@i7_}|AoQ>El|Ku2218*_~NdVFJ9?.@>Mm'lqQr):Ia:"ѪkPGX *foN&Oۺ\dPiVW.ɷ󽧗mlxo?{G>HE>2nY՚( AӍ"FRnv(@}~@I# V`06f=~1& +02 L+ Ї8F˚$ s=X~L\! ,PKό7sI}ޯ1wte.@d>n.@XWvif+{XAlɁ kuaѣ) q?{:+ i/p}$V/ѭge]?0`$kTR8ZG\,<#'apPASus2)_H!{`eNpߣ0ØQӜ:uN"_dY-"H=FԄU+> lnjk[(epT듻lcj٠L yނՙ5MWRsߪ @#IGͬc2R"_C]acC_JEm-(uIV=;as'ۂ$rq[SW9ŝm_P%$IqMn5-F^t%/'8:j3JƠxKoS"8ycf0VݙŢH+a r>T 'feelѿ B_¢3/~DžbK!6܇ƝQ60QqV 2QKCbHǥrN6֋HJ(Qs`/r/h)׌hA0qϢIptb1*`(x<> }pif\wk"My0Ύ9fุBx&G"#>sr:o`oE^{IC$,PHXܝvdZ BXHr+Q1p]:[Yy9#+>[ϬzW<³{ p1Ym|Ѫf|{^s]VƷGw @AAF4 8Nї~䇁-'`R`lmy!qNQOxo>E>o|,q$œJ V68l+@ɴё7KԜK-%B*:z*0i6F |:Yϟcq#ɎZ  [$u2DIM1UBܤHnx ,Ԅ@KC[,{OGx߮ƊÀ7ׅXiO4^4})﬉-c9>~,[ =!-d'$CwSkϤGF ;7wG4%Mx4ֱO:ow&̖Ɉuo氠3v?Bom~ e,ʼnJfH1crZD+@ i]=Zp7}Qj=@(q~r`$Ȅ}_K^fS7 φW.>*9^.֥͈/gY;Zc&Oꍢ5eI f8UW^qdnu`FE*K aP׫ROEXU w}c$rهf˰V'OӤ!ˬHH48r,Ym-501te3zN9 k^Z=MWQW"'盪cF5a܍08JHlVO[?SSo1STAjZnyʠX Xֲ~H;b*̪[M h,9x{EL