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 n# |L< ] Integration:threads=2elapsed=11.207cpu=20.844gc=0.688factor=1.867zXZִF!  ]ŗXf1-/6vRZ'kw;`z?uExBlWqwd&$zηVOMBDoz7K*h[< 9XS' p=@ ?)(uJgb,7c,RG3gYZ7zXZִF! ]ŗXiɟTʦya͸2w)g4 1ɝzAhap-ؕ>bϊXnpHIHP"U}lՖ먡RedC|s C-IV0žlZ?"iBJ$S>Iw@Acy8V`0QgYZ7zXZִF! J]ŗXi%>gipˎK|$/ sϯN cR<&0{MegEOQUs|S+)(B&ϻոhK΃~%јl?JK F}ZDžƚВT^nߊڏ{1MeG|12Zmyn:J-rY]-9PmYDE` e,p (LƊ1?q,0ijkxElh#\ б>09ihV:,(mI2ٙb,-dH ۅ_}Iku_2>|A!x.rSP.&lܸ #H3KG.b78B Aw6Cl}6KH/RiNiBt5qv}b}H()?wg6G M#>