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 ff7 4D ]/ Weight_Balanced_Trees:threads=4elapsed=15.480cpu=45.620gc=1.492factor=2.957zXZִF! "T]ŗXf1-q恈%kV^M[-dwPt#`Nf #w\ӷSsxȧx6VĭoO"[:Ó7j:_;ȃwt$fxeBC)`Cp$e'_RGa#܉|Rwvb ` >HQQSl05USaSM` =@dr!d,vxXd]8p$p/O<ٽu6`Z"W3'ƞ>Kt|TRN¤8 lPMY9+42x\/ӱ@)~B}gH Mm3w\jL/Q&!0}VG䂈Y.;:huMXȑ@3^RYBWlQSߪrg՝hF# #)|_6c턊FWv䨎Gf._n|as+dm3wnZi!bI`_ )'Dek rwo{<1#u/qo|$\A_΢4=S51Kp ^"C ia} /xc*Ykeou4 Iy ]%NnvDѣR|s.wN|<޳j3U%{/纳1D6_zjl悩@*Jg5X˹/WsJ`AirRu\EIޱgYZ7zXZִF! @]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻ҩ@:t,skTrpBT:NGdTv 4 ~e#{즅$eW;<ɝV#8<Î6 1|cAc{ʠW.MUۣ @[/ŮBbvI0a0(nw#5 /V|jABq'M@2>1PVW+1uMEo!&V`Dc,agYZ7zXZִF! ^%]ŗXi%B4ȀwML0cf׏G zn4 u"Do,̭J]ǏL~ݚ+*Uibw3fIY5Ff(`/+y=A, DӴUt7޷g#BSq 2brr7lzM*! *f^?2c>>D?m 7'"v[g?U$F.zlpmZqb`'|\Uw{2NDLWVcUxkJI{Ɇ﨓=;jγ >UQ݅Y12ڰ~9>^^}O*<]v1֍3sЅW[Ib0Ğ%UIp8qf |r)L-q:,_KIN15X<vɳ G|YʐQ"( ~@L+!!Ɠ:0Q" *,90q%rΗ ?{KGŃ-χ) 鋛E:EQRHO쳴pCIo狴Nc Ń0ai("Ti㤕aʋ3+O>9:D5 )oIV;9;G_`K EXtcyPD I3?LM)c|&;]@[HDu.h3sA,bWpn??VE)q035\F'wD`;5Z9e0dӓ xbtdE O®qI' GusqŐ#t?]-6`pA0˨i!3He3O5k#ӯn,Hy+l!6y8Dy+=+/'aS<&yߜYov ;. q%+6<^~OU5!}N NXl|kMrp[MhZВG,rtP^Pv`43yƧ Tq WBK Z0U~9쾘ۏ v1_O󃬡CEPզWlOy<Ċ:G#kΟM*dWRĽ@KlwFĀ.*|f)!RKunzV+\`|Yx $*|*p_^K<9 ID{Wϵ!:Cb:Ė QY0%Rz쇀V3 8CgYZd5520e67a5c2a66d35420a66bc8ad046ccad9edd9cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 7 Weight_Balanced_Trees