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 % L< ]/ Hybrid_Logic:threads=4elapsed=24.217cpu=66.256gc=2.408factor=2.747zXZִF! %9]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVBGn/1gEɕ 'b&P,rŕ+{T5-$y~A Wn* J 2&h`D^YE/v*J/`&28@2%pah$VA_T%ws_GvjOTQ!PVY^$d;ePf? كX5jϥ{K *kO.TdvlǓtQXXTEXSQ_)֣oK2'e?(nVIScvFQYc % Hybrid_Logic  h;(SKAm +VP3gAb 1*A} MMGƲp}Fb~gw~j^Ӭ(mI}l"Էjca?^l,uɮӮR<̪d\ˬr[LZ!‰~Q; fؒQ\wP ;L sɄͺ^PwF*dE¡&e7|M3 M J]cr:Ӄߦ&84" JNQh̉ Oـwt??y )1G04, ߍI+K^\UY-A;`͒aYN.q'Jt$+V~CbR?eWˮ .Ƃ)gs睪o+ls1jm q a uyQvrYTa_Ջ$xB6JKgYZ7zXZִF! 3]ŗXiɟ1˦r~KunύNN{\O)ӎt 12. kxUV(t,~ʏ헎 trtsdRgYZ7zXZִF! < ]ŗXi%L 0Xb1i3Ba^$E=vFh*1l|k҈B1MOr)`6Gu-]aI׎zyb"fp]tA:Oajm7F 'F S/>'kOr4+1--Fح\6 rApgXdTw~fF(r'tz-Wd.klD~{Oև{sˢzcd0惟 L*au.0U܃˳׹?UB4!&n<b"ꯚb:.NKd`q%p8|dgNDW'_89'vR[6dAeY;2@̵ KQʼW=?i',&iFXnT4u+iDž~NTfWc5X4 MA;H"a[&1.gވZ.: a2K2 Ҟ0q\u$=ȷMks+ylcQ[[Gǫ? 56M5 /2`46NsdΏL[PLp:&Wuk\bL6hz#Za%53v'_lthVG;ךĺf:E}i>ɼ<6fI|lbU,We2N\joJ(6E.CB=]^㓙3Jt'm;ZHwxS s-86b|O71sBq]wŬK<=czwxu|̼׸p^X5k 9%Xf/ ~'o0 ML2c,Ź) S(2-ӋlLU,\R!pUǰ1H׹JKEցU+^`[H >#y` 7@^b5q>uŦsvWLa'͌ɗٛ+ q&j= ~ЃDs=_kS *F6H:'E7,AN)$Z= wQ "Q);= nBc+Ǯ6)ӟS~ $(_ȨƝjKţ;(9%