SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  ,tT ] IOA:threads=6elapsed=7.108cpu=31.388gc=1.228factor=4.427zXZִF! D]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;Ku \?eqQ'`Жr268=DjQZ>L'Ш $4>Ӓ$pyEdՀtP%74r9¥#S5¡d߆WDx^cNoVHF08q :9 %@ے>qG$D0P(β/C/F+)e +!Oia5IwMpSrM笎|LSK @\藔ͽ NC$+XAk~j87; Z p2iZP)NjY-k{&z^`qMJӶ*z n}p"?C^k}F2ӁB>I ML(9,>.C?? hka5] `C c,kh^D˜t DP} yF:/Ex gfEd"OJ9/LP8%d@6|X EgYZ7zXZִF! '$]ŗXi%EZ/><Op+.K saT8VxYp?Wާh.]C{.FP/\ĸH-g/RG/ tbnSC);mkNscǧ>;¬AEۚQMk)Z8;bQ'@2!(<=y:&>͛$-Ep-qM*ͼ¨Yט)mp. u;YwMPV43h#'Ӷ R4W90[+oFh~ڙlNp4oT6Ğz$IF&L0yjMډ^ $e0 qp}f TKX],[pTF{?)D[E&'J&ǽbTY&^(!7N ˑ?e"bX̽#>zV9Ȃ<(Jn ($ &H.iQL}F>%QTUV x!ՌnӬj_aS46AI9f[^Ci52+ԕOXtI=WJ:x`] 83\EfyJ4͌c/%&N5gYZ77bce6dbcee947ff9b0cd458ba0904d20b6c8216902b177fe6aa9d4842e92c5ac7c28e0170601731 68844b2ed9f5f6d0cef127c9a9b5cea0e1bfed33 640b1e8c74b558bd3307d0af4ed944cacd261d05  IOA