SQLite format 3 @ $ 4 $ . 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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info p p }#$T$ ] Native_Word:threads=2elapsed=249.996cpu=210.596gc=5.948factor=0.847zXZ ִF ! G^] ŗXf1-q恈͐7ӺV8'r@ʷZxTi>oiTi=78 od &V \SIDKsmԩhkyH`z{LkjGc6XvOmhVhX$8ZlCVB&kѸ\Fu?h."TAvw-iI MF<"1SQ2pQbAC^&yUyO gt+.9eEgyr NNERMlM2O ZGs~`Mb)>L?\RgСSfXVxBlVa}>ơ^V*J|v+6S'8Մcje\[eT8/Vf6շx/<# h[_\eJApQ=VFL`HNʚ(qLC,úe Y#S7G$`eSY){$1"j0RIg#\F&45a)id0eo|(6p.sҹ Z:kT<,Xʡ|dYJ;j!"XW].S cɼXC{Xtaq}:3=n;;3X9(ē{\wem@:U$*QL.⛅,5mGr8X}LN 2 # Native_Word 1 h#?% lNative_WordNative_Word.More_Bits_Intdocument.tex7zXZ ִF ! s0] A-MՋhvG"uIBm5}<͐>Tkٯ;k#kC9ȘlCJnx/\퇪 ভaguh-ϙ~P$y@ҨN X]=#I6v#!\}WɭmTUyGCz?P8t7Nm^S#U8wLF8jr'N҃c?IyFTx9rR*C͉&dm`L#5mj?\Um9? .t/*'+R6ɠ!<`]) 7+ԜuKy vw+/ߴQ#:լYC h [b 4[W[?aVL q#1% Native_WordNative_Word.Uint64document.tex7zXZ ִF ! Q2~] A-MՋhvG"uIBm56-Z`QK@Nᘁ_]nO`#m