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  oD ]/ HOL-IOA:threads=4elapsed=2.253cpu=3.672gc=0.000factor=1.637zXZִF! |]ŗXf1-q恈^Wf )36O~]Σӏ8Ⱦ@iѭ,t>p1`6 T+'KZܨ[ .k8 e̩GPgYZ7zXZִF! \]ŗXiɟ1řGtHʘ뤑aO_.Yq@fNXi։&/w,iQᇱ {x-2gYZ7zXZִF! ~]ŗXi%B)oc 59ky_rUo=4k^9跒w?TZ0~N::_ w9Opc7c7YI-se25QMmtRp2'9ncb"SI}7i4AshƮ/#n>' >.{Ή uUOi\Sz~aESL 0}SVf(%]Z`R \2@2p5q~07l~IR䳌3V󍽢y^*0㡤&:<~"A%.sx"i x]yLe'}e)S$z c?0{Rֺt~ Xa^0a`dU xolKGmB:R)"Ϙ~eR<=1ehjP++!47gE%7&SM!rMT&ԱV3G1nt,"x IyTƱ3-joqt⵭gYZa6fd6f8cfbbc9ddd0df08d7ff028aa32aae1155076b019a50eeda51c4b74870607c55fbf00aca327 a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1   HOL-IOA