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  k k Lv1H 51KByc`0DJ0 k(s]9:Qj9i&jRM'z c "łw8C*eB[^\B#1$;1tE*ڼ %KXbO\:`1q+|ƷdV>@BE:j@TЅbHNbrf5~ahDp"Ÿ."Ni[68ľrb8:xQؚ"5=y=4G81W#{'^oR!6 Zuj4 t?0Y<#A]:~sC^L<,O±gYZ5c06bd46dcbe0e491ee5fea016f46b53aec5f93fe47e82ff6a77ecdbb1e7af128c99e9f405606a5a 0ff25330462f20428a3559ae433efb593a6a1e1341837d520db8110ac51c366e9cd40a9421bf31d0   ZF-Induct