SQLite format 3@ .  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 q1 t | ] HOL-Imperative_HOL:threads=6elapsed=33.612cpu=66.388gc=2.076factor=1.987zXZִF! ,q]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑvix!tPi r?f>rׄH"-, \= Ѹ!'yO7&J|耯qOu8^_%F-i'濇lP=V]orҾ[hЊA@b<&SYܒ]oMaU{H톾Y<-rg&ХTJ&EkymJia58p&;G1[Ri*u}s۾f'1G$0wb%#;c5[J=ImҀr+d]Pha ߏI _ZmR/*̹bVhu~"X_vD-/Ww񲙛)D^au7%<ϓV o&E&O17XL])pgZQR'ЍhE%Ufdz Q W?zUd+?tՂnT{n͝iڍDƗsޱ5mojyMŅ:"Y#3DqpNy05%疱V8j|Ajy7/‹@:|cHdðZQPƟ,,k;,u\AKF<7Kcͩ){*IV#gPlz1W*sK"sxJ.%4n<9`vRS EqN?}|ezB礯2XKXP&E  w Mh]},6Xhzgȥ>tdDւ 41/oz|[-E-h(\34KJ"TCz󟲷:.'F#[EWu9C5%FG@RvR(\8N lC?5g$N3 lB$t`DD3d`Ge*KoGc@Qaw6SV% D+ս:{K,@}<%%@[m(P?HV0MAzǹ Y)߱gYZ7zXZִF! >]ŗXiɟ1nhЦx"n_8N]( eOtd4roȘi5 pZhh"XjVj]Q-GTKogjߌ]뇏 HՔ4Q*C W={nlڏӑU"I8*I6jz_~jC;o SyMߵhIѓ(mhD[Q)a\k(bmP5=00o35K r{2%RW bgYZ7zXZִF! ྮ v]ŗXi%BAVH dq(_m9_[O_m<p0 9C=f>I}rd.p aCGɷ3L֠Q[餖0gPt4}49Έ8qYo9gULZpEߕɤ(P7|l7e7"7 i_ *:$0y[-}z-1P/dhnᯐ% Jec0-9FRY)w  qpF;MM3]${:(n h$?*|ךZV!dUyr[^ &I}=4k#1Kz L=<9HؖJAhn/[yթpO .\wg)%*XၮPِ.$&Q3TN Y4wUN}Y0sQ$0 Hwװ,ܽu.!!%hm~յ=2;r,z !bq;=\y?X%]8\8ΐΰ&m}" m7@咳1,%⨱R埦-0 R !o32i -'NixyBڪj481T`Mf)>Heމ'N4&cFCE9Ozse-F55hu1 Ĩa >FI8fGu꺕/Vlx۽彛\. `Gf,є_ [`Zw~f"Ne|W2mlgeLSXk 3uF<6ZPTYa,gO@cG5 ^f.|*0^}B뉯iAzH0o]16GƝ0R]~;G-Ĭ(*^AF7*wb%at!|Q:6,t`IFfD}ž ^Ont2M96"qI0eRu8%#.-+Pr9wjaΑE;TSfbD ЁOCc?olm{`l.vg}4CLX΀j msKVp`hu %4 㸊7rBO{rUۓe޺įɊ!=99҄< X0wg794Bž휔]sc5(KV}3t:]诌/vBls"F#[;PMMV`-.ZL9$^A/.>K I۵P-slҧ"QU f;k+|U7W2þ sKd[~@4]?YN/҄gleG"P,ä*!,%9- )O̟ n(H*a~u[ȧ$\EGT)!졹ȍw1 4!ջ˃筏4mj q-;'ψ ҍF89rG5d忙o3L y`bё}T0_ڶi\ $1ig),s |U2gXhُ#؋0,