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 6 d\ ]]IOA:threads=2elapsed=16.154cpu=29.864gc=1.328factor=1.857zXZִF! K]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K e8b勳JͤdU/`"e~} JxL78R<%nD&VT8@;ƯqRBJFdӣPAxЋ"S@"$\oQu!v&׌{R7 &gt=mݪ_A=&ce"7Ti$?Va^C,#|| t,#8{[A\@8\Y w_(%fju n ٺ*;j4 |1=aj2G n s?>?2{t:ƍgP,y}izP>m_\{kZ ?aTA_"Lk| Vob}t$VP!vSaliB1k) g0 CjQ}0eCnNYhngYZ7zXZִF! `i]ŗXiɟdN{x{rȉuUU`dD=LyP*Toљp>&4P-T(~8˳=?3y!dExf}viەRqıYnF>@2ՠIφͶ?Uy:@!G:I'^tC.TXW_:ڰD\V8,)h"Y,vm˃N覢|!  ܩgYZ7zXZִF! M']ŗXi%>gW(,+EYi(dH O:k'C^3[`566 DvuJd"o7W=a2B;9`GlF>gƲ'u[v5KVU`C]cS_0.[N}EWxpߌ[ZX-sC//bn>EIHAk~.M3z|(u2n%ۉf'B >BcU+,|MLp[-ݹ+2'N|R5T<].;hNYR.=>CִJ YTOd _>,5ƕOT+V yUwYgyރU3J'zRb]l_ DAinPRu`2TeTƥ, IB>jw[6{v.jn(]phx@ JXRأA<#=<$(ijx98`?uhNfe.‰ҰQf@vT/?S=