SQLite format 3@  - llB77#tableisabelle_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, "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[1Q16X\Z'e:#o:kګe+tFgMjV>龅^Z{Qܥ&MWL)'vOF dI/1yOTdn& mtWΊ܀&m>e石yak?o5ʎ(i|>i_tϢ#)Y"ŎU0-aq+մ[ Lt!ue!)vf.J6mtU~oc'mn/JF((hN^z6!*w ?MgݪnT5IjSH2(uрQ܋HOVIQ%:`e:vug~qEA͏C%+!g"C  ; FocusStreamsCaseStudies(,!O*G ޑ `1nQY6*BqBӖ&G/Z H! PZ`5jr/1n2^}R~ tI[,+~Pf *'cDqI@R'-l?M#Bq=tpC4ZY?OA-K [ݱɼ|wpew\xfctilk.?Ii2 $}|,Iܸ%O 2\%b(Zv]zFgy`|Mi|V#82X/-<"tÂM5{'Itò~C7~@&Bd' {%0Vۭi2u B'jC>ChdGYWi";6ZĒPvmVCO|C;҂ilN]wީ,]34'#)f` Da^n֘>d6DƖIr(> .MlµϮZh{:4FgT-fTb#BIg(l,o ըmc/4* )W{M'{%^2ErX ,CWVB?.]tS:*:_-+GtXe42^[C8B.Q>pkTOmE66лGwV,od70A*'v e D?(JDTojoa\-j؅9s7rSew,dv%2q4Mx3LsgH|0à4X|epLw_g}(%V PS}Qƪ%=[ g'GI17**$\*d,,!'d-R316 /-h› ;tQZq`Q6X_9f$(;1Z[ dR6դɪȓ#{ >ai} \V0%=,RCi`\%lґuAɨyA5C6>5 d7.;~l?ۧ퉓1)j@ O$9MTi'yzr^DE%:¾o TH\/^!W0^pRbg>Bț7 $Y1YBPCphG2+;+?FMMM]~C{s)=rC2[ /,>9Ģ+V-bU?Y+Tڨc)8E :|Y( 9|:99`0]dǷ7m9gT]UͿBr#NɭV.?G1f!,E7MF D[CzgJ dQC̻sF */oyP[ߐ2{:I/jmŻd`VVuE:4}:"?8ȱ6kjD4NkUjKy m1]!nM~enZbv֒NibbW&c2걇yg=9B=MPπQ^A2!&ldC!z+ew| 0v-^い,Sm3$:a0/w $Yl0屒C6{Lo 0W;V oK7UÛr*:sOӓ掉3%z|1 qp"jYl{ 7"@f¾m}+Ě%{]mg8>`8_mٚH G`yq8PR-u岮q4ݭ%-y: 0Mp=fl F;i./yРW咲S$`Yf {L[<؂pYdK]$G2A@C#|)ag F x~U&GJ$\A,"a:ҫMm|jQu9i[X/c?zXiР26diR~eV5؇T}jMg =AJTUSv* 5[uV`HOS8:8s;^{$)M/#Lja;KQX{-:F:L ;OP<ΐ4PcD 'uYĉnx3" IG*K{SqKY^xWV㣻+ӤKAwc)M8 vN[õu + Tdc]ok(o:m`geBvk\2f. ƔKNOhQ Q yTi.Q6e=H\Rs:gYZ7zXZִF! ]ŗXi%Voؖ?sIKzih~U+HÜ] ᤜsF)c#`ѵ=Rd kBGUtO( xg *Smj'kb9[g]1 }k!X[Ԟ4wOҾfX0x-Ncn')RH{X#H~>JVs\Q[ewG'A ZM"%e wF5JJdpK"̵Lrsƅ NOaoVaGA%. 35Ẏ#{,` MC;4CG{Jo8%c2Ŝ |Jt{gz.֞# +ƣ)Dt߷LBrtASSzH "'K_ W?y[A-cFy J tEFM0#a*ɟv\*PRIи-u& Ynymf<9@. u]H]1Z4hdžWt*7͘(:m5/ HQsD]CUZrO桉~\BًyZ(˲ $ ܟcƶGR1k&& m."Oܲfq\wKX,)Ѧe,Yl4-lhqN5Q͡4ǩd1 G R>m) aT kY8>W8 \4萏c31` H;Zw֦DQft^U rU'ۄnBWw>5wBeJOd"fQI%6̥r'V ]46ozq|UP KQL)BWUlŁj3o㈈U/o<F?A:guL% s ұ8,frn7~;@,/qρ Ejƺ Ȕ^/eb(AZ(2Z˗,/si/'% @_ b6U U,C;O'(|atf>n gÌ柀(Zz1b@,5^>R,b~I&m5Ha$ ]SOλ8pY5JఐQX:Z&huƺ~ӋTҲ̂uBi.ZMY'?o{b?п~f.]RӞ DC(-E^Ѐ}aAL&+d캡/ zI3⻰& .__a^y|7KNɬ娅΃ ?>ntpx6':vay^tuĀ< q&W6LY08` rkWr֥D70Ot@.sXVOyYSVF