SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  M M(+ ,,$ ]%]Simple_Firewall:threads=4elapsed=26.564cpu=83.064gc=3.412factor=3.137zXZִF! :]ŗXf[&Q̪"AxO!\\=K'됰nDx6({k#r=f <1y!K`#㘡)nAb'UءH3 u܍dmA>M$}f 'j*@B;ovnVPI&rtuk!Aq-q) ոx)ؕل Z=qksDIJtjTuKO. Jؾ’ u]q՟TS@fNDFyn%2lqe=4!XˊqM*Ŀ>GUR x>Ĕ/cJ4> f~>>OMg? ?i W_c4ϟKj~ɪPb9=.j*N L a mXh0^r;'~ILY/|{?沚;v;.?h:лDX2ް8y#2 tI f UXznF + Simple_Firewall  06Lӕ<95?F{P68_DzXk`HM d.z/b4|[Igr!mHbfFzRmhUEòLCJfj,/ :]W%)5YgfIz~KBq5l%-%efMiZʮwLkfyP񨩸PQYB` J[a&tOW ۉ&aNϞIT# .F_טd= RFP(iOsĺcΉ{w%_ FmJ YZhXiISUV&ETCB=L($ĈtP,m8oO:`TL#ilfoKܔ sjx)髂͐ӧLvpE'EWyC<#uм"O+% \2WPm]cq0J`8 t<2gYZ7zXZִF! ]ŗXiɟ1˦r 5IfK",t2x9e!"+.4 ].dj綩4'aO-2CQyv,cwd_kH4ƛ_1>KVȐ 8LEgYZ7zXZִF! ']ŗXi%@b_B>wndO"ܫbEUnOL2泫ɇ2۰q)@8Ju'b7)=]|vw>UwXQ+<XnK0# d1y}%b99%(kb!JS 5&/9/Ԥ?n~7DGZ|ftPGMZ D6lK>>u=PaQ@ @%$ oC~}|/m(<^@L ɽBR8۴4s[οYOk]yx40(+XA_*CmOɺdӓ'хJcZN]F[9>{1ƌ2j9 *|ɡ5]1 ֨"\Rru<^xѧ,3ثC= 'iO[[SHu8^7U&|43 %myѴ xS'GWY}z;kmf|;|`Ĝy}+"Oib)<#;luj<'Vg ZkaտITu?:=e}QLFx䋦AHl>ս*J|e_gQz& |ls Ki{tug+@q8`U RLj"tLAs\JSVq#V-8e /ЌPj tY&`Z$[ Ѳ3.he1䋏d\Cyq =4B}ׇTi0'?ױ7ShhqUn[a$^1*#V@ Qk[5=FQ,1Ua|%!rWө]0~s=V nZhi '9A}*j]Gww{Я6'3#Ţas 6xPgJ~!Y^ä3":XMjYjqV;WǾo?MiZr\ ) /L⃏i$"6,qEuL~fkj,{ SOmhJM[M!su7\AA )l8!{$ѢX&]4IC4wlPeɿ8`5``+w=${. <WI<~;'>Ua1G,Jd]e<3!-埸rFhz"HaQɵ'2b:`:쎚%{ۻb;m{BOdg<1MkVZ1}$ ?[rCDbM_^ #g8_w[\u̔q_>>խӨIaoe9+pWB))>{٩hg nG-sCPJLR6HTQryݤ8;4nFsJ$99 )^K*o*gxs8Y61=+ F}:Hkc>ⴓ8G Dy!&/a*.SHY#q :lbp 6b}k>as:GW6xm{#H7)Cڈ4(.;eW:l4lN$ɍ[>Zuo CԹ*KrD$Lκt'l$BK n"jQ" J;e0V]@7N!Y$MODp95{c*~%%V&0m 1/eE SLN0A=t[Ŷ fj?flAƍp)ǣu%r0y1IV2 +OnzŔKBZ>C͟nخ=(;A.m\iWcau秀\512qD58YT}nlt-K1 >~ʧqW㫢{H".vEWz\Xis*R_~~Pi83}7|}o|(^x`͞fsaFj {igYZa8ad30b0b800364805266a7997383978002ffb3a31f92072f849172c668aadca4c36428f18253840 bb6d91cc82c83410f56f890ddd921ae98427d5a5 934750cc51ae3cb341d3ffd6479ca7a7b3b8ed50 83e2a48c030e50fa9da3920b06e8f5a8ba29ea7a dd5c83b9351e3c4138517f25ca5400399ed2d786c5342ba0f3ceb1c349a6587c523fbeaf8718ad21