SQLite format 3@ .;  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  'p T\ ]/ HOL-Mutabelle:threads=4elapsed=1.850cpu=1.916gc=0.0007zXZִF! w>]ŗXiɟH)0%o}?y.P QOψv1Q DzE}\HfNNZĝP̝ nĶ~$mTGpU9ү͡Iسm,NuDiOFw)ZwIΌ+woa}|mEg}l&HY藄;tt4$p{/ˁ̆-=cɝy4-U/-OɩyCL,r `#DhQ< juDgYZ7zXZִF! c]ŗXiɟ1˦r7..N{Tz٭4C0 .[)a@ AzQr5M\h. $ī}``gYZ7zXZִF! ]ŗXi%L&V $%_^wkt@F=L D uCNCby+VXr$W|ncG}lT bzsnJֻ-8E&۷kMpA v5IJ*}6q+Se؈ PFuwW&RƻʽiOH,O}}3BJf!--Idz/>/?_@ŷ? z(>tTrı`FsuڛDf2)!efF'Lt?Y i=1:yѐuX5UGu߻PFbDY?GªplCZJEjlca,1ϓ?2|6q^ܗXk!1x_k:@T_Z N^`bTbKAR5'yT ~8LmM Ƽnq|GHYL;gYZb0ffeeef46aac66a8db013256545ed192d8d7a5a9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 ' HOL-Mutabelle