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  & &W3LL ]/ Partial_Function_MR:threads=4elapsed=6.056cpu=8.884gc=0.348factor=1.477zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&VJzMc'V˗Ms~iF_⡁1jf,8 zUnU4 yb>N63F_ux*0F=] #hplqgYZ7zXZִF! _]ŗXiɟ1˦rnzx <@0+gMLt*k(pV8a_Rv˚PNYtV.iT=k)̟}MhW="A{d1>.s8遯,=ȗ`w֖l0n`[MX>fP5FgYZ7zXZִF! 4w]ŗXi%L 0zZgL/Yscqm (: h1?0_ypʾ)[yo%%r)܄xjCHD[%`ê2 G"MMD?HY{Y鮌gV =u{ĘIUVڎ mD'vƌK>)$08*bS ;4W<: 7u1n_"[qxQ^6275W䗵o8bJLVtӀwG杅O* <73Z$GC#K|ϓ;זwF$q dk)BL+R2gܔv'M M]>(wS)Q0k[T^KxDTߝ(6>!]P)Cu\N:m [Ymijzg82_m2`9lN\P~,".SCQ~ȦQ~Rk1"|/-c3D@qd+)|",7T̴نED_|N[e'6j N`nfMЉLi}h3+V[& dt뷳6Ƴ}84ycFbw)($Ȋ\s`Mۙѽ8GuI\j9C'O][[ yb('B3Etj] tˀtxT! OMLH |}]5lU8&r|>Ѡ"SATJf wU3'*j2qRʯaU5k;pah1ػ: w9aB7sJSX46C7Ʋu^h/SgYZf3c3a951d09de79892528f1ed6939864f58a9b70d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 3 Partial_Function_MR