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  CDD ]/ HOL-IOA:threads=2elapsed=2.799cpu=4.088gc=0.204factor=1.467zXZִF! z]ŗXf1-q恈`Di۩Nnf|17с% QHfͩk2sa=]\&g{ww~o^Ra]B, Ag}L gYZ7zXZִF! \]ŗXiɟ1řGtHʘ뤑U/pU=)^S|܆h|4g̹!$tTiڈ-VV1Aq\2Kۨn\?qApҍ3a8%5N)! α6|85{fE^7aQrl KΛ@%vX1Ц9\["Z*4E;P]K:^;+_F,J1Xs?UB;RFBB>|F@ư3)X&Vr' k|"{ߛྪ[?iMF,F|,qq`k^N{ipǥO)C&ȦڶϽjn,;Y^ۓNV !{ 4! YJf$A:ԍ8:ad"F`8$RqRSϔU]}a<)/ vg$4fImG]"BXREƪ~FgYZ9a8fbd8cfc3fd4c1da7e5676acd970bbcb7fb24ea9ba4fcb27c61f2722def1490d5cc6ffd820a523 3e35f1f1494655d736fa0027db3480f1ebe85070   HOL-IOA