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 ]]]ZF:threads=6elapsed=12.848cpu=45.516gc=3.368factor=3.547zXZִF! L]ŗXf1-) enȈA$jB80l,v8-qFN}YeG_ck|!sPd4 4--KY%G-i?q]s#1H~2@rK.RJ!w -rHx2K!1x>iFWrA؉R8gb;Prid2DZOVj(~|g/^^S-GW'4Dlޫ7S`y=֬eTک$O64`֍R,sLwĕoJuD rw6kLjcNyƛ.8Q2cYJFsICA&,#K L^/YWꑢx痦`bIL pd)U>$i]AaL0]6 uӄM Id(6CX(A}&yjCY`: 떊fnRe{PXX@HAmlkhϨaWTWh:rfcgYZ7zXZִF! >]ŗXiɟ 1FE`穵lQV(Ѭ[58\Z;8 ;^*VYMj}`>df9yh`%kN]a_?q5B,S >wݺ:>#c.%[y]u"+T}q'D-g'Gf}-O5o)9 5n gmџk _ͳ3谾hアfћ~I(^CxQt〫7JҒ1ĝ@J}[3oQƁݩY5{C@@/4(wS᫘,\pl4k"oq+iqt)C"^~JlU4Dnµb*.*I 476~WQ>`{ T66c. 5v!\%z c?sگG*w[:]Zh}k < ! [_*o҉;zyqGP~Q5 ]U^I'gYZ7zXZִF! >!]ŗXi%@^VxԚ\/f7qC 96eq,48.RTuzhAk8w̮])SLP^ʋxwJEc^2\#1S#68ly \t<÷=cDfJGZޚh#wrG٠A[ w/ ja" 7K SFW1VB_JXǪɺQ~gߍ"P9)b>Y6kC؋= *3lƟ67 H}1 %p U{~#K+6ػf%yh 6z]4ōuv @^_q:xh 5~Ft>2l17"w}s;UJ;K6l Ȕ_&%Nc߈y?Nk^"ŸI7߹ϒ)Y뗩"V;o$/mq#ٴJbq" VL!-$쯓ׂg&Ӹh ^gu=/ngAۏS.c+o"h%W b \жvZ%Le(vU(jlY yږi`gsCI1S-]WjI+˾ }~gYZd54903184efa74798bf55a22375ac364ba95f6f5b9edeba120fb42027fe4e7015d7e67e5df110a4fbf8cd0a678f705072c29395da4761705bd308429  ZF