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  TT ]/ SIFPL:threads=2elapsed=51.959cpu=83.908gc=3.732factor=1.617zXZִF! & ]ŗXf1-/6vR[\wAs.xz:?~ZF겲T .WN ԨeI(GG Wk*r6%~爂 솞QŤdӓ􈽂 n4 ( [c|?Ad|^U6#uYìA5SV+I;⺥>ʟbȎ. s7Mr˖6\o23]S!X۔sL=҃, p|6B Rc$&w&V!O}j!B适)WuRNwGmm{Elt&D+$l/|S2i"?B9 Kr`|ah̓V5WG3>rˁ5fUoGǡ6LT;CR%%CO4  }d[z]M "){Vs5=&z7{ G:[XsP^ZJaߒufJĎoew #:y ; ytr\qkd1'~ ev95@rW&z81T"I/KE, @$]Ex%B[Ugi9XEvN\sKƷ#a~MläbtrVl{mB4ԪnwNXlv4gDM_}Lʽ'gYZ7zXZִF! ]ŗXiɟիxWuۖ?oU^MN?'Hr\*?ȜQ!(a@I!~6rlziHeec(3 ##G4v{^M]I͗r:+ЂT4$Wsw~M@z#ŦnT׺^o:ԩrB'`zd5h&6oOmZEAx%wFggYZ7zXZִF! | ]ŗXi%ή++~Z5MtչPhg.gOQ㷤au,FQlM!>lbDhmXd8DJWFPRN⻅0y%\w!/*HB,„QQ޻Oid]niK%30ws5.CU_mǾXUQܝ|L.Sӣ}O1W {`FI | VL7FcQismʦdVU9q"hkZU髩͹c-Ig7PnwѳL4}|xN~ʄ(?E1瑲(V +!yM\ RdrA1mQ8'X\\,21SDf$ZՃu+%!T.Ԏ9gR/coT?]7nXC֮*T+ غ|]u|j.B,jE}cl@ ][ØgaL3"],;ڠ8+> 7siF])J6̢Hﶠxe f5IjPLe ,JBܦV:UPT$w {C@kE*6FCRNV̭ 2|nz5ScpNo{_9 H!,gaXW/?xT^=4^R_!.Hz.* Ei(M>4@o_&gf@\|D 8+e_3NWEq5!v]C [FUصrIRW.E4_֛в@NGA, @U}2ڦ3Q*nwvyR󶾇5:`. K;`w;o h,tW&7_oI+n[sb_l k[aٽG/$>E4Z"/unc{/9OY0ej ws+#lz誈 + iYnƵ8.ΫP[lحv?e}4&X}FkvA$Xنfo .;݋:f|7LJ:o ٹZ9R 𿶖preR'h'_%3P!,hKsI]k$c(O%&U&:s=s2ʷ e V },f4^-^sU#_PK"fa_9[ ;&i 4߮H>'#/Og%cw-O?_otVz[4#> ]C,&[etZnpiLĻ+P>G,-wTN4턁%溌--2~xő{c\-vt01;aTvf"H Eu}()\OSN:_x%:~Gi9U7AT\wli(Me-ذpAW5D*_~T6 JJ oEw Sq\E7=urܢ0qewL<U'Ƿ.z#Rހҋf}[.4' |楫r[U,[FRB("i<7 E#0m%$<z_tÏuG)$øGRg~+IM5 QKoݐӜ@UbxH7S/8>"sbWȧqvp}fωM0( ƹl8`y%L%R!_e8fb {rfUQ0Bw >_Ƴ-ܴ0UM4KSr6 NA>C͝DW{ )M@Ȟ'?}1sS3Vtnsu Sa IZ_W}PTҢ15Rư6E;X4[|p}1v HZ'<Q&jDɪʍ/c 7b,y,[e疏Iq>wR &-d +&Er*۝췧N2s,Y&)#:m8G:U˹YS0_ߘ> ]9YY2krddwmpfy{2\KӯAo,_?rh3Wۡ) R HX x>La'l6f'呿6(^5֊8 tّ-gS\NHҨ`8G^PQI=1B=,КhۉL}ҕ}W7{!LRqd@P"v18 5Yzo빟-a$- Ұ$;eӓ#&iz7` n(B9߄9~wA7YɄޔXGo%}d[q|VI6~nLGȲ<ݴgNUBoI%!Xqc_dI ݟ^HkSk~fɌNؼH#C*rYG12*344ڛX-@*,}k^&іVX&z=~I]>O zŽd>.oKaI}G3LPB}T;bKA&A1&N1JXgYZ98bec8b781b97bd1ee6d2de76b0406c7bccd329200b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02