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 K2 t1̳JAn dm[?rTEŎyCtqdɒW;übPs95 I$`c ܘX8V8d: |P^iS@1M|oE۠=cM*q{'_Hto"F<4v"`UJ$ԛQ7k!Ǭ\V~76ҾUө't`-ڂj=u"(:D,.U6IRJ{zH3Z!ɏ 'ZN'tk )䝗E=-L,ʄ,i?I41>OAxDtU`+cVctz{ң,h& l]GQq5 Mh8wQC26mGq!oGn`3{IF7" Ώ][dԗ} { >z0]4 'Sͦ\I?ppVoO8}')ȨGг"^y\^+.|&od HE%Q 4tv)= !0%(s@0͗<ԧ&Wv"_ۋW1*]"I!mU.vP՗q"\uS r,\ gYZ7e7e901abe5272487df71c9b0f62a2e3f73841473d51ec384f4fe0110890543589008d84c8e75ee4 49481c1b5cff99a61aae1d2af22aa8610cebb0e3a1851e7e57b778f160a8e3b89b58f49a12f7e40d   ZF-Induct