SQLite format 3@ . BBh77otableisabelle_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 Y/6I|9՝,Nte(VܳNޅlm%xBI:8%:d !@a8eCo7d DWW3<-d5?^~I]:nĝ/XJ@u{qUˤN!.3GoB5~(S3k򛛵A^ qO]d6 CǑ#ze|"Lcq/:"˯i˲9l*6DSŞ˚q3W_:HٛJ~2R4xY%X>(fLm.kA^4[oT}ZY iK7$ ^g6oϣREr!`E̶|;{c͕]#Ju *j'YTةqyvnu~3yUgYZ7zXZִF! jW]ŗXiɟ11bu)]>_ws[Ɋ brWi`1cً-8HG`z`{KsSNґdMm_826C vkfC/OCmX9JyQ x$h6 w2heDx(qgW#y99%ׁ+=*Y/E I:t,1 e]D%\ qeQ'=3e-Rr' q!^ ,tju̜cr5W8/+|M,@E<{%gYZ7zXZִF! \]ŗXi%;sJ1nLT{Sq57E gdR\E[؎B*x|WC-}T͹f+ul(C&E1ǔ{w:*V< ::H"U5b/`nm{x{PA\ٿưD $^L YБBo'}4&Af41L@ZGbXxDt*˛C^c_ pCmwQԬṅ rd1BM1gkZ:{f%^sZ3O$ ҥH2ͯk_3'r՚{{{Y %l>8TC*v2F2Zs 0]3y4IY<[jm[ǪZHʂ=y*+c.WfdSnB7W0-a `Rm'f2>gAT֊$\;/C?9B.[ C?Bp&ڒnH*R M$MHM; ~M)_[TƶE4%őPBq[MۋҎ9xV_#ciЗcet/WKe{-6Sj!Z i$9̆ZOL@=ZM9=DNJbHw2 yW5oC Z#]+nxgY3 fS :j{kd+\ÃT7 "E;G sBq1R~R^Yoˉq|d!rhʷ0+X H!bn2]ع2D/Ұ{)[d_!ERVsd xHZ- xŽjZ+!ij&ꉿnDwb".6=Oy<PV>_̸{:E~ja.8qٵmL=XEōLD:6OtiܗLTVUd,WĨ2J~%[dSC 7fPQ5~ ^b3nW,=aQepدD:'/Y'|  ?y{ / HOL-Proofs-Lambda\o@<"bs FxIlUf*z̚S]\FgZ?'sRw*鴹QwՅnq!4<8 fI ${j wdpTCAgmBy;L ~d(/[sw5v>/QŮeLX lQ~J3\ZI:ᚍ̘Jp^]jaڭEeĥs:8d_&]]XR[]0^=Ls ŹESm+:h'LeB{vZ2KN0+%]s)^bElAR74@A!{C2 #a*[Ȩ͂`V1VM0ԘVr{dr|xeLFd.TB>f9poa$}XN jDOm?1K-U-dY4+}NUӭßm ~7NAA >k^, `,1w$Y1e-`)({j/4;6|1eOGn\躳NNƋ|qϜcIeJ?Ѝf ~fT?֕s~X1xH3t{` \绨W V\&Y)Wݕ*Cp*v:GJv&+ sK-ͷvQwege*"){%h sQI tI>'QU|F5JKO{'sXg `sG'С}PcTjG?[Etm}Q*3^@srg3?dC%x*4HNLK- dXɓɢ8x⋋S:(fӉ:"y0:ʌVk{0TӜw?\cBU w b4)_p>mU 'tIJRr#{rɾ`88˺F^pa|c,w|P<6bUam+bbSsI9jSyDC+LJ[j ni_D; o̦Í_5a 8 U B^+STy\tb>Yvml>m|l%P"oʼ[g/B5]$9D8;ck:vz˖nv-5O|/$ZzCi25uЮ˯*9+ص`%Kl|BF=l([2x겿pqMq*\ɖ[Er`0S3!+|`'mﺬ}C_}ۗRONݙM2hQ쾺Fc?.FJ;>J$ X,\N7 0+oa~F2R ɰw]'2|ƹ j"#R+x!{rqd!ͩ ;g7A` H  uYYPHJpWm%">Sk8*ᤘ G|b_{Iz:*el<[(<:el }%sؿv<ϟxtR=w:y,JtƴHx(.5EzM܁u溎1_*Sh HofZk@6RY \Gۘғ/sỼ\dLJJ hg{|^ @KxW|tRRc] ݓZ-L)uG~!NqG4q)Adv =A Le R Fǃ"s{5o[Á, 䓮agYZ330de08e108e8ce058a950e978d2931759d8fe43c5cea5b34ac37b6e0c76fe924dd8af1ace07cbbb 37dd76c5ba98a4c8eecf87605a8fedea98ac3bed