SQLite format 3@ . YYQ77Atableisabelle_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, "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 SI,< c/ Abortable_Linearizable_Modules:threads=2elapsed=86.874cpu=125.136gc=4.016factor=1.447zXZִF! ^;]ŗXf1-/6vRZ\RZܸvkp {Xjas-\_D>3L=>xi %`r&5 !$1ۘKHfT'Ž!v4sm㎩ڀ $)ۧFbLpPwyc|xRzppRi[Р.urJ%ǢĶJկ^8ޗ ./Q6rݥl_wVIEq) %Iq8 ׮'O#}nKdYNyT @vem'[kf Ui0KK]aF b=Toeʒɱϸ5܍Jr|:VtR)&_@0kT2av{/.9<۪|  O0:_f Qtð}{lI? 6>g~[%(reQa_{VyŊ<9śwwn 4Y2,эժ=]INXU&Jk2lFZ} OKN<0(l1*]Iӌ@{0}Ihx^Zlv~qp7/?p}FdH1i2a۽Z h5"K-rUho-g WY~zTn>e:MQRQ,?i*T.597S q&\‡ |P0/ުcοU0^Au;r4ܻ+P+:6n~Z.bMP(/Ùl("5A;chs,To단vsƛ +|W1蠒'UqNF`RH^~(-0Xj<0nڂ[V"e bICw9TYb3ݡ)pe$Drᰔ|Zr׋aA{YR%UJn5mriX4tI"w|к/螂_bUVn&?l]A/{.]#IqCN#L}Đ4*[a9C*pzqD?ȸ:pgRu/*dg\]'U&x!Jd~}/TH_՚bHWcꆛߔ7D96oX:'i^#;]L·.dP̢`NX ߤښbLI ̈f#K6MXL=m)n49e;}`fFϨxx}#vH# Rb2M;tqF$/;NHPzUI/7CgފÔ:D@=1U]i.1X/2 %oΠwn`hbvQɉZFƅCȅۇ|[9( ݸT 'wo"+ihR* $e Rԍ3 )M1[谇kmxMrR9ЄK& bpuQcK[ڮ'kk k0l5uR#;(Kd]Q}dWʜ? vY(~M I gYZ7zXZִF! ]ŗXi%6yKwD3^+/OG;bmFX@ufT(͍AG6m,+e>WGPNN$ BݚKLn|cb t?~rȼۊ;4?~6KU/AUW)^ ٦gj}d;pګ`9qy q\я.]\xBLJZ!e(fJۣ5wxBG] p /G*בHDעHʮ뮷MX. 5({PD¥ jEG0ov.뤡;.Zֽkx *T{f6,L#`GΩWah)AW}guU%m㍴, )'sC2(f'ExM,^ui: GX 4 tbpQe@s{yZ+'M)Gb%g@ɱ~KGd˄I*fO@Ďcݨ-V,񩩽6#`VYj=>qHmQ|Xc7,Ҝ{8T31aqz\W-y:;\o gWs!nU1dcz *g2J LP{x9HgmuѦh~vA06"XL`=^ESF8b~ TKA+ZYmvĮY(2}E(CVAN  s?0 u[+Pq|yE G\@+'m] b[xlo?,юhd@zZuNqi{ L ʃn5;>fje" bKhM=! 0ӂGbUE-O od$urYwJJ"f0phAimx42w܉T'˽.J9SV'5m nCH:fi_DUiVtnIn`ZkvpKi9H@ EPPjRdP]hвqs~YWl/1ѴP`6JlT,]!T#2[T)scȜ\(oћ1>SŴ8,_%$BAО^Ҍwk NCu}n$!Z(qrYw=1pST"FCQ*nMX0؜1&=&8 U LaS݇ ;n)#:k*p_ȡoG% % tWKڄAUe@+;xb!Ķ$r!x|Lbӿ7MYHC6%zq> մm@fJJZ鴉Rh[m:z0-1>6?!<YɅ7מL˴;bnr;e{gzD;cӦDe%Y|vf,J m8PR?; uz&_ B )NvRtwDP0̞-x"w AĹi3?W,eg|F9t/XILh) MOj \xr: |*,.Fb-=ڽ2)fjL`Kna(b.dV\rS}w nha ,@NᦌbG"*u}*0<<87 bv4ft!Hf2.awzN]7Tڜl6Zg+JPj}7GXJR>T{N)Cu⻶q8߷yL-̺v<:ס/!cЈhvilve#/MW{y{rMP 4Qv ɉCGZ]NݮW`} g)6SRf0SBF#JSbSiVo3#91d6zZ׼#Pb S.8:C1 L<[kqup E8/$ ap ԔJVSu'k"j422<@4aP3kXknR20ʒ#hHySK[ſ1,ً r% ًļ2Fɩ,ltU'E案΢>M{qmUʌW쵺&1(tv!v^Ej"'-'CRj [r.?"&b'׎-Ύ ɾp 0~ßrYHv} .`_ dSL#ffhCsr2)G)1,n]+, 'kVKsߛ8 Y6-*w+caЭ_v&O˽C nmwE927q\4\_1iUl4D_:_Fqi7'$@Cc\ md-Ԍ[&ύ PΖPjÓU,0^Hp C,u rX* !vDFGRU7f:nQڌc gշ ̠}Ǥ޷mvg4'1Z vHZ?ob!g1xө^4_s$j7b0m1PRKe4-=!(I 9,E 7aGȾU(S2.FTo8s6PQ5o9)u'ױ߽mEhU0dX!m }r 8:T4mط0m8l,c?>fgW)sY (zuMqE?N&b!%?s0ZdSflMGd3J6m| 3#ca "7mTsLn,@d2uENhG' ah&~/V.͖^!Y;Dܱ y# hmz7hdvo*\igfư'#, J> h%"\B+izPgW aʆ| ~2W. I!zƱgYZ10487dd2f4d8699df14c3680d64921ab8479dc30 45c4934f1cbbac164f231f0045e1dbb7811a10cb 4f907c7274c85be908794b6aabeade510546fea9 7da98085641a29624f635b6ad31482c7327df3e8 835e1aabfcad258fa9c4868c7dd6a211fa3623e0 8afe05eea8c05d3353fd9c312859e90cff55cd1a ad8a8afb5e787994c9e363e9c372b7113dfa9425 c9535fed70ccab764c54371a0f9a58d4bbf1b624 d3f54f950f9a08bca0c34f69dbdbf5aa2c89c37f dcb85683ceb493af307b50c9bc5ee30709f1b642 eb7bc95ea88041f2091a9aa1e017cf88e212111b fb7da4d16fa90e303b41eb16859e10ea5ef49271f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24