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 *ITD c/ Abortable_Linearizable_Modules:threads=2elapsed=75.745cpu=117.608gc=4.224factor=1 !I Abortable_Linearizable_Modules.557zXZִF! ]ŗXf1-/6vRZ\RZܸvkp {Xjas-\_D>3Y8eV`51?&bGhtV[U{# !n,J t%;#cUmQCcɾUR=+6:!s``c05M~qH-L)I*u JAӃ@ZU#d\Rւx):=:ڄ K+@AA,67r"=MΏnbۺ:/AQp66teTg1s]Gu5[2+.3&чN|ؠ-Do"ٞz\rgH>뽡JR2$}f>U) ڳiK/'0ϽF*Ow<t'5 +SD?'ZyYlPLԖF΅ב~ć,lւا6*?=ZuYH_*KA$_R4`vQxzK!DPoT0r #`{ \bzN+cMF.mV;&ڇj;=nODqn:TqjL}逖t&ٓS<6`9 b%q%>5.e o|-F y 9*^rn@^J~a$I(E^JܲzeB.4 ͨS{1`wc3}S|!#S<ԛ{ҎXMh%#R]rE/CѩP*Fʉu8+J`)-dxF|fBP 4Y bPK5Q0-+0[V!dCkFio8$pwssm+[ Ίx>:e[u,bDWP&!RPHYfBy_k12 ~њQHKŽM~l}K.6JPΙGA L ([=X]Pu̽NwA%^QʬR7,Qxl^9k] |Nml < ՁYZ~b٫k`u ]T",/1xr]_{`wE-;7|hFWdP:Ƀs,Vr $瓍AV0 Ѽu$dK_kn[ylbL6x#^@;`:Bdm*![:nynpsyHfs; jOxEVizH9H܈CPafs`аV_~yA\ev6<8D͌ժ|O1U#'OK}.\@i0:!Qc,2nS;w~SW6+̤z ,M황s"SoQd"ΆS ^&˄p֚<#׿!r9z w@BBh6Sk=ޙ-+|MZ1 fY9Pud(_Gt1՜P85cͮޫ2!$w n l՟Z]ktQ Prrdk5dev#ks %p(& \x`hV"%ܻvp7ǼeeCQjWa-n j8{dv}PDYzӕ;a),@M "ap\e]ʕʽ̃<65`4h ,Ӂ~Qʹ]w4XXFM*m⌠+my'}|Ij[+J?2@Kn]6?t &kXԗy/8vs*G@ԏY0`op(i&1{MCOtk!6đ}IƄVGE.54^y/C+gs+ɭ[3diǃ>x Q{n[v=MBVms7R@ٹcڧ ́t5 @(sd+RqbC§Hc^n`D6ғu X(_#%|:pcKUڟ6hx'wjyHȷ.K17]IF3NcÒҞ|Lc~rx|/Ri= |~᱄>#qod+&Flamy- 2t >62 {{C&r)]0*cNKor s7 '(ٜwK:=:Bc<~qn]ZWW"*h$!>-?s"1'z?m5"*}GOc"꘨n#4M3=*>By{}Pu;*%H0aMx9~S7Vۑsi1qWxf]ăgbbri V &Lh<:(kg $ij2kpmA{9ꡑ)ϴBRk>a%"1 >o uP ^77 9hwK=Ъƒ}obK p}3mg-oN&fgpDlKbd .xFxݗ"T'dCAnWrkTMϻI􉹒F/.QS' *dq}CsF>@z/ӖdCo5!7i6\5ʒT9À^)4WCy֘+ɒ]VhTjNU6bu^:ṧMi[7z蓁DqGYl2؏y= /I9M 'lJ`3{mgYZ7zXZִF! j]ŗXi%m[ȲGawu) p~N!E^>w|< Z+p8ůy+"@eD^!rՖh Ù;M : W"ީ^n+ԶJ-T'Fȕ$6gR]N; soѴKҽF"= )={WfnL(+mEd}  ޑ.ӏAoA!'JV}X)|gvv(u}dt3 *yMc=}X63|՗/$4(Khc0{V6/4,hHxH42 ^Pe([WY魓"6.H"iHN RTZc)i@A?|N9ir[͎gg:7qJ7}m siVm@Bw~o sL8 +݌biG,}4n_tj2='e/rk ,y?kr9f,- 6O!(SvH0愤آv0iւt+Gc_Л,]:+${dv~r0;T]F s20~҃c"V.5۷Ԃy~nM[6pvnϯ^AW%e @9ey0G7]/HDhCS^w1Cu!FXe&VɚCx]-.ԒZ\UT"4| u#(bUvW.tmFUw@KzeNC`FHFqUoз?=`*;>*]u ۿ` ,.ê9oXv! Q"f`qB=dn3Vz+XY;@3-0mjeS`[VZeRG(&gu^G;ֽPmOpR!#P>r<}JAdè; gEXr*೭B`E[|U^J @pZXYp$J/cm52e{Y}oŊzJysBϑ̞QiqQ , / G2,2i+f8{c?zOKWU-wIzz$<ܴݸdؽHpxFI?BX,25lUm@m#[ o)$#M3;3~v!ygJV{zEDl `'D/Bd{B ^{d@ˬ9^&*HG"36`m CZ`H=;+| 4͡U1<lL熿/zi9j,v"]]Guƣwu5~sTQv?Ixp !e,d &<@I؏X)dvok0Gd鲔JH?cUERudh@W1ƛeLYFUrEaǵ$s!rQq]QP5gh^:z$7EMtdQ!fJ&&.o8.'?HmqJ}EIBatbo|RdPN)ͿwW("ߠpxLItKHͷ{{/[GVq ]y]G#4ң6plt ۲By4vmDFmۂhoIha߁d>yEXE6 ?C v"}.M>P:sfۄDM̈́t|p|V %?Q8<`q<# CcBy/M.d[\0 ߥ<콒a L/ ݴ7c 8S Дl ;7+-Zjh0#RDkT/{%J$i׍0k QPE4&%6iЮ, ։u~Z /l.9_O?DR[zK뮔fWyҟ#q"V]J(c]x BhyIA`=/*D&,\HgT̿L Į;ÏPT gx+c(5'b]r 3Ybbz{-!pUiiȋ5=}Z+ {E^㖑p0wKPAYN,]务`|H[HP2cgYZ10487dd2f4d8699df14c3680d64921ab8479dc30 45c4934f1cbbac164f231f0045e1dbb7811a10cb 4f907c7274c85be908794b6aabeade510546fea9 7da98085641a29624f635b6ad31482c7327df3e8 835e1aabfcad258fa9c4868c7dd6a211fa3623e0 878581e4ac3e9ab1f3555353fdc88ec99dc8c2e7 ad8a8afb5e787994c9e363e9c372b7113dfa9425 c9535fed70ccab764c54371a0f9a58d4bbf1b624 d3f54f950f9a08bca0c34f69dbdbf5aa2c89c37f dcb85683ceb493af307b50c9bc5ee30709f1b642 eb7bc95ea88041f2091a9aa1e017cf88e212111b fb7da4d16fa90e303b41eb16859e10ea5ef49271b9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d