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  O O. \;йh ~Y|xiNEo+dxO@y¨]Rk_'3edOvԦ,5h4tS3wGp_:KÌMfp2;_xPPzPMn¡q@sf$؀Hg03HM(MgAec?59(h>+C_T6+} 2#$>Ԍ̧'Tn`hM0$֌=X-<@v;W@ۊ@%(}olH$A_924V $噘 ]ZbU%n4.*€8ڽMI@!*G\HjafF UWиhUʃ ݃h^m簆%Nq.to QL'=,ͱgYZe1ad0e3a26d20265d1978c1216cfc5c20f80832e3e4e9593d539b8de84137329a766b1811bb0545d d4cf2a10c97d68a37d1dae22838b732246dcb6e7c2c63c1a3b10e0d6f8b034db9ca11ad89192bfd5   ZF-Induct