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 ! t  ]/ NormByEval:threads=2elapsed=27.525cpu=46.444gc=1.456factor=1.697zXZִF! ys]ŗXf[&zv׷K3?Oձ2?aE4V"1܈θCˢiK SꃋT`*-^]7,ţߔ"`]y`Ϛ"C \M*+!xJk*_ɎdSH=cq[u188f\.Vc[2D"8F ƶ,o(efE& a`C٦da83ir+=]Y&K>_8xg+vɥ¥ƜٴI<CvI+80r!y!f2ЬJ@K"g4Us]hj@fpy-罅̴ C|t#gi6%RKuI{-J0l͛eu o6Mlp4fֆ'5"1jSd wSk(`z ":m7g;F`J `oӚSVIWHbXRgSgc]p/oHk"t 0n%U\#sMi=fb9˒F/oӈR,ma'&/iDV '$´?"hZ>fA5ǷrEĨ-ܽBU}6L2z I 2E|w<)TKd\/ԧ<:ϥӫ{_Igz5RݑJ.ww6! ޓJvKЙ-w%9@D|%4os r8|9/%C{QFwZ#@1::9JCTc)e☈W76:#pRI!EŸGPfIqn=< 3TfٚSVNsּ\F!y[D({\'|yJ¦0žd`88 wet!TP?΍u!VfP;p0*oez5Qicc# =c+4HZ!׫d=OTSL,#.DhuBe밥^c?- H$Q[ m9p@̦8s HDs3:WмK]Q1^!w;uI!$ Ņ3vg. F%{ZqUv J=ş?iS? d 6)'`Pla/q;/}^ޅ_wNB .>Nn?eݗC`03gG+/9<`wJV X^M%Jխy?u(VvڞT髌h>xڗY9j{{g@>$}~!4ೂo S;vJZ`AR#X%%H A3Wj׎4ikK`lNQ3v=ik24|cM YǩI$JB?tX>mmƃEӔ!BIX݃{`@[u1'6*=zӍ3PAVgIi+k (66e)+\fS)084l8m`ْI"Ϗ¨vϻ"d{J q~~k~&aOW];/!&W!k?'~ SzT. XGTel7@HJ}gYZfd6b0dbc42dd1c167fab4e1c3ffb77c9c95fe91d0779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f  ! NormByEval