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 @@=5 t|, ]%]DynamicArchitectures:threads=2elapsed=14.428cpu=27.032gc=0.972factor=1.877zXZִF! t]ŗXf1-/6vRZaKSt$uxek$x="Ǯ6xPm͌ͮp~K6.{:o{s ;DRRs!C5e= KSf:aKxWYf`@hȤݠHah:@=T`R$oZC[_+J?)&.-,* >G'y"z4>R=8Zh™/g6Nў//؄`mb/=Z.6Rg)]O['q'Q8a4 ]f!i~گ.o޴^AVg5`s3tl;@:=zv '37 sĽ>A{]Z؛RC:r9s(ݰ @+pUjܒC\>& o"gYZ7zXZִF! u]ŗXiɟ:340Ψ_իX+jެDu?.jT yFa7.)D}<,ppvP6a}1c)jvfF%Fj~Ǿ"[?BFL^hgYZ7zXZִF! [O]ŗXi%;*.+ pF-u{;}RHkYRQM&RuLJ\OHR}Nz􏡟)0Oz@.Q1ݝqC sC QH-؍ͼl2%*2y(=_g8Kk[+j0mt#.ss1 !.=PFd=A{~ozUEgT'Rsy!;t E3nxfbq󯱁'JIkx0aO=WEt kdz宰*BdC!&O.nB$cڒ]GZʪ#TrD⃀9QSxrE"6E]ܢ*;.]/ ?{2:~CO٥6xkߠR9W.4yJ^x:埛{q=myNf0-gmᶰq"mL& ȵX?MOC#Rg?s(숨aI(E*!?D ͫuX-3^?m]7#r~h]ŗ-?{!B* !+Q0t@rtԕ(\"w}ɝVg@6ji%9E%{qDlCp}PS W#abO JbMjD+ԯQ}` 0?5B89Tˆ|a,^0ɢ\teFPT^k|nW~%̛o21˪DXI%X7>:~m(5yK%r )l 1Yܿ l3}Ŗr|'*M4^O? * ;˭*\i˿ $3KQfm6b־۰hr7w.ӏp4ـ;mP(UxtբcшX />`P'