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  / /N L5Ur$v^G"=٫=h@2DgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە|?vrد򼜻'PUfasLdl[Y,0fl XƔxڶ U/bWс2~CRy@EIVY,/LC1̣΄I7?#2NbcLur^_<c;<d]ڮƕal[8ptЂ 0/I<,ElףԓcY!/ƀ1ʛQ{hpаa:Iž(*4cz*1*qOgYZ7zXZִF! ]ŗXi%;s,y'bQH+Y]b{U8n ݯC#dxF")1EQ[~Kd&BL]hȉ#t !,u%odB`%dHMU YJnAruRI}8T+fs}X?Aw);h>y%SG,{Mi|[\_L%mi=vq\~Cy oqڼpy׶V54u$!<Eܜ yheUR#nj0,gw,o0o^-4:6KHH"Zz1bIfVJAal"h9hN ,;͌X5gptYBT]ܛ[[5qEz)c[! zgYZcafc583cd1636e4cb6e90988ee2f24f31bbe40d02b741fa2ed8a0e813cd5871c2da862936da19705 a14ae0494bcaf539be5a42c1edbf54a4e5027d1dd098f2dce2e07d5a282e5a8cbed7e09da8dab48d   ZF-Induct