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   m/ /!a^9YclM1~'V b %yߘ$}YVv”W@zcћ"^`U6Oq$`0 m5.L$g?L|( û-hC(6*u$=Wڼ >+DV@%Hfʽj5*XD.q+̆jD cv)o4TjKmB\ђP<$zK&|z:)uƬa"|}&}߰^[3vjj̱gYZ7zXZִF! iW]ŗXiɟ11bu)]>_ws[Ɋ brg)Y$QM'`)HqWZvi[=m7-9_4NY:A85-e(vI,xw@&/H&i`ͣVr)\oy=6=-M"\ $DPin퀬*=vht.3eÔ1ZL`JqŽBgYZ7zXZִF! [-]ŗXi%6`CͦARwU]yL#(HG'${(;=|U474fE#joNnf- %KԏAFOZkH5Μ_vfZ CܝJD;dе6.qc1@.#w{Pה+_l;3D38Ǖ:ݤԠy=0-/zҨei剕Vzfǖ5蜛82~A ޏJ 7m%}i^ʐLҥz`%|(,[BQ  / HOL-Proofs-Lambda}Ej5\2ije]:[K|9AQYpX0+J~UlS^ݽ4x I,H^'n~q4H}ad}?T,ͷb oAxNDl!|;?M(<$c5MvqbsNxu@e}هǻ؆t,_ZhKwR Z}@A4 ps߮g%LSUR*Cp-{q$>yiA% epe,0xuT-:S^#:x7 tU|T3s vM)Y Zu9ChG ht"#}M`gYU2Brt/BD{gQ^YLni&T| 0;x2 JغLfv 8B~8* ^ HzS9I)xYEiD#uM,uINq%|<XzPuB_,| ԋDCK[ɟ;}sa\*qvK<ݘRGZUץ؞4F7'HIl"cL.c(IȻץށVHIIfذYDSMيY@]}W2܌4-[{t;Hʾu_oɴb)Ӿǣ+Xʦ$hSNEgbLn d[Q3nQ3I]$ Io:> M&k`oAG¦eO!nHq4I-Xq;˗Q(Ur*RnRpC\B=҆#Ae@@7LL{[~dChPX[KjU,SuIspKHǰ%M͊gW9b_"DFu_$W ~YNH-.f|AŹ(KhUlv4X\NVrLÇF[>a&] A}a pP9Tl&$.*B|SKQ$fzÆZp6mӡƨkgQQ LI4rIX+D s(C0/7BEu˦w_tf RZWiXzGҩbN$R]$l%U{Qt;u53ϒ[R@Em,S7̝%B+6DJrm(;=ڝ3 9V\Pɮ&kQ/ U'}ۭG6Sy`my#Qwۭ5L(Eg0.9Dś ~M3u]V^|*?g{p|7U15 ɪyJ<*s`qG-?IQr| V" OQ1ZȞŋtg l4Z.9'SƁLMZxK4!tiVP"\!_aqk1QmYa"$M˂{:/OFQ[Աtؔ2w)dI+LgWlFrN)N @%zJː !}"=67H?s$uJx}%fSj_k3[:<㈟ Mk!m݌,VNA7A0eq)ʬ*R~.\n+..򨉜Sv4sב gfs {V9nlrThP U4ףtd\9dEbo}`VH2r"f85л{26z(U~4j+7aρwBam`U)#k\8)6P;I' n2w)%Xu ծQO,٬3jk2]>"f:AG5)!5XLn1pnu4xOKlZ\ҿlA=7 `ULqiidfq>O:B@L ";M%fLĵYCîrlu!dG?I,rEC:i'v4䥂RTX%G8=@/J'Y4!z_aL X b]y9[H;zB2QS?Mk5EǐSj}VNd41e(sW6'=뺏` ]XW93ۜoFq[Pf;Er'Q ݭڨ3Dwx_E(T M{׈㷪8&vѭtd%̼6-/ 3r"hi `ikvBCT5i|Y QGǮ7qAp8FFZgd|di+: S@b=&=pvؔ\+ 9-djh2vwRcd.9y nґV@F*^\*vMܡu /)rYT!ʵ\v6US?dףЙ^ BGMPT ++L?s >KITYBA"znu,ڲv)>}=[?2b7= 3o G*6/s'.6K _Z*5uW>|jZ1"g#EujYqZ aCl;e~EG^+nM-Es$#p k䢞Z dgfﱭ^N^Cmɦ3$qm ԻAւ㽋|f-|Lw˫5PKϤEQ5Wh"|weC[!~,aW^3{+E0Uӄ$3M ƭSO>nH[/77i2|E_#Vw]J5vl됚ڛNmbւJgff%PLE Kk>څ";ʱgYZba71f9beb089d72d80513d5bc70efab83ce68a440fd942c2de17ffe6e7e669ea714c0bfd1357b97f c07f7496ac06726da2f81d326dcfbe99d012e9b3