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 OO  s/]HOL-Word:threads=6elapsed=8.817cpu=38.584gc=1.276factor=4.387zXZִF! E]ŗXf1-q恈e*[#M?Hfaw :+   HOL-Word/7̦yW g&VL҃pA S7gc|­_Ȇ3]{qB+iCu/xy5W. (?\i}7m~()k,SG7<hTZg䀻+=#BuJa;£3 1wg<_d[l%f!L41#ucC,cK @j?Mbעߋ)ʰ15M .[X D#bt1CDdkt4cMT UotɍxWp;W bcZSOO Ar1'RBWa' MY%>˾Zl)}}a4y[V.|X8;6vЎC]Rw9^r3sɱlNgXX扒m; g[NQm(Y2w{N$kZ8R䡞W؏ɟ%Em`KFUE& .{ ?\`䮫5P9}Gװ1+tY*t²-1Xk,NT *wqI5qz* r Bl׽ؑjXWs5Z} :q7DyHqǹ#N>~`ϵdcJ91JK8.DEߓ|yܘ ٪O4 3 'BBϰ0_#EHJ$̪dGhvN:ZK83sNvr屏TMJugoֆjp[nv rz*抍v bjvvӴyr*6tJvՆ*&9ݞ8 rCgMqI䋙 P'4N+e%b!ȁQg R/jp= vj/.bMwD q 7a/`6Wgr}~ NBXo%UfV|O* mC'HEfxzXgn`7Gs"&o|CZCT# F*WO?6 W:dܥޱgpϑh+!z0,zwt>"݄-@5ϕ`eDe|.Y{~{qwبJ".6z-8'"Щ ΣGՇ20ȅD+~&h/3Ih^y(pL$n2\w%nL)6ށLdOf4ֽY5ܭ" ܻH^Z֌ ~/G,v|hzF:ܕʘy2FV$di/JX lŒ2z׎҄Bfi"Tդ#-8mu!7+%-R)ηЧm%pe_T~0-ڜ$K(|{1?Yg@lD`k`!=8͜>2֚^F6N? 1r:f }n3YX+dh,R ,ɐ]Ѿp~[ޤ3wqaAB{"^,i6d$4VwS`{2j2a6@sEU6\zr 2 >|:*ڷ ,y1n;ƍJ8ty nxНӣ+`xFX-}lJ3"p e+pN/^1EQ, 99E7:^x$s̱}ND凳c# hK_.IJkv:P5[(HAYXKh3W׬cYvŇB1`b_SohҮԝ4\M_[}7Z.8K[ZS+ʶ<ȑ $EΏΗ[Dwf̘6޺yTPF+z\ִMK*)C.KOiQ%/˰?R͵6򁜸RiMIgxC~ŲIH.4$n Is% VЛDxczHuF AO?z֘Ҙ=[^>tE)ur!v !?/31qJ7kW7.)ިYݻx|" Y FBDZS9>eHK q`h`ǙGlOwEa`jځ.]r؜ @4*1㎍Ϝ=*s_[DLVK$ETSjs} ҭpbānVG)YM՘7r"I0!Ḽ.W}Ĉ'-,ToI\1nu^v4MFdWr8ϲy6ƌhџ=h?j@a'M сb0hWgyV-.fqOH4)[Ma3 h>< ƇrX=Q~象上深] h8nh=ywd }2 cJ! Zm @ݫ.Ta$Tlf3{/_0dNT|$x.p^|IE|__O'_==XƟcGkeog߽28}!{/CA֍?',Ư+ūzς\*[޶=6it6v?9@% ptegYyS 0x='bl+nh mEbZ ;t٩nBxsaǛ+XgL6)}CrtuJlcIDJVCWAw]y3P5.L18^5] y֍I7ӿ._Ku0i79IS`,̊X I-Q}IKًЂ# K#:ڛ3cKG=-Ul9`KEX9nM{F wi5LkF5.[ 8eHKz`x]8hDK*~•n!l:ř3b;tR-?RCSgUHIjͿE]Toʅ\wB=|n-TC iJ6i{*ÅJ|>qI-2'+jNn]RMUF'Y;9 RFŦ> #A%zV9s7%Jtm1ksT;ue6x"i&n& NggoKpYc{h8T8n-o7z*&BWӓJ@8ڟ ZOʩKֳ7Usz@̩ !ȥ3]5v 9] gYZ7zXZִF! *]ŗXi%M%QB-I&9 rJ|e}6"JXNr/-¦o_imІʚqk>m;=LyMȞS|\جF!aJq37K︆` a;}|v cedcO-NJ~ > UTy+1D(SD|eMoÔecy,P㬝_\ [;ZY:_MZ<%,OZ5Fxi!>HQF4T} @lizXe%U6KmmGKLp wgaf⇄@cv!KrR|P\j趵1věх0R.0f0Y+UDZ<:1]"ژ 3{Zyӹ!'vz?7mRhcKb٪U̮{?T#]8vApWH@.3UAdbSPdm$t\MM>sfTҦbl"r7HhI&İGmrE"Ѡ7(j;wLu֙CgX ۃB OOP .pT&I1 K1<c1M̀ۜ}. .wҥ6a" G\+;uĪ.0 6TUO>f+ś;{fN)h8tѷU@ :,F \-x6 3<{Mܜ5m!xxǤ }–MHHdgܨ^Vr#| [-Tr([,4:WIj*Oc07-7pLFO]ֽ