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 ##Z T,4 ]/ Tutorial:threads=2elapsed=28.591cpu=52.960gc=6.408factor=1.857zXZִF! ]ŗXf1-"oވ? VòSE{ l› M;CX:T xAaq y ̢|1:{Y(V'Pǂ;Vdpڤ ,]+bcO^LVvgy?*Vl-R0z0^FȦܼޒd%Yѯ @S7ƭ!^m=JtHWCQbϿ"|*'S/(wzΨM2v, X!"MP 5Y^{g #敔m!y4/. #Ie& 057zyLY|d7FQ lZJSa!6ɹpήf͙sOy[bT\ A}ƍ1Ѻh!`.jEw0k|wAXOܖ﮷aČq+#+R8=\=w:\v'cMl\׋DĩOTL}e4[VIG!Ʀ71,yP `"Еh]=ҒVnBj4*+AgNH.uAMӌ8WbBw3V~]>B ?npL9WDҙ{_ݸJah-4ʔF_$A{VIo⢍ ohR-J1ܿ]TM|*%nb|pmyO/9M~[fMzSe 6@ H\Jު7kG%s*'Ħ=[z,`#vLMkOX':1'u(CO cX%~Lps"CXb/,4L5ydÁ)uC%=`Sn]z>76''f.ݨQ5P}VBsb_Nt.{LpȈcTG/<-h! hM/itFVW %FScE-A$];&AA룠:Xgru`݊[h|I:%,}%܃ꭔ=t7f$.>ݘ(S(+}|UyhǢtkR?~gYZ7zXZִF! xQ]ŗXi%;NHj9bRf_ M wu.:=9P ~ LB$G Yt׶x#U p!VWv S h]pZ!Q +ﬓzjXDlt؟>@*d.pv%&\==aHSTMΠ| P nB?[̂- 2}^=MAVa w߷'Yǽ|ZkQ7-,9c֩OXH뼥%[~d ^EMX q%y~z)&wQ >"{"X .+ {ot%\kxJU)I%>vYHi5uϲi`h"HLfWC>:.<)!H3.7]E&r(O7jlEHʻ_+%Rqz3}Ȭ\VΪ_39AEkh -he=TI Zv=NJ@l># a^|q{t`ݖS;CpRî f̷Bp*1b23Xy;.Qcg @f¬sؙu(zi"l,nZLfpbJ@%_BB:ig|- ؈%N{b|`o ?Dr^WSbع0c 2y p%TNF]Fe6p):ƙI_Gc.50yI6o{`“nya,%x0t߻vKbzhC AX>MD$lDgZ}^q; 7 7+?9DZ;)6fUV"fߏ}& 0pT7^rk/Q!GzSl۬f}F?\-P!v!,Ug`zp'ux)xx>XA%ӏ=.R&[h]OQ } #2ʛl$ćI|+S+9.\=ƌB%m;ķ:0 gز5%9VSAš8\-ﰾ-#M>M&[mBAR0l:;lWTI\.إ*,괶TSkrzg_=8",MD^UJZ%8\|0Nb$q0.ɂB\;ϑNQt!PSB-p2XXoVzy?K~'z\"iZqgYZ0d4470ee6baf4fc9cc5b114b131ff036576e078fb1e9d096eff3e2d2097c331d061d199548b5d3ea d6c569c3cb498e2d723179c18cc1cd66ffdd721e   Tutorial