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 drd|< ] IOA:threads=6elapsed=7.617cpu=34.648gc=1.3687zXZִF! k]ŗXiɟH)0!h]G⢍JWƮ1*KdD2ғ/?]d~ ѫ p@ۄv&"m{wr$2-ks# ).~i{ctCAa=IXh+!! n@ڛ|_P֥7['Z#ȅ24Zt387JX[IBG"Ӗ1(6w:O־b[ţq  I*u|M sƩ[I=SJUD& ,QíEƗbo/D.{sE:(N ^pg o(PP#80=uk$z_Xnlc h>[df{Ƨ\Iw`^D8g ]&^8>n_kwwc3 X1Ο2=~ !V(m_ ,L>R *ziTD Q~pƗnH-g*RDTR:%7COР$Y`~}* 8T,2luJ; `ț1gYZ7zXZִF! ,]ŗXi%L(lJ2]!eH+v؟7Ϝ*4ȓWxU_6tIW*/XK/q5lJo"SP1QwDn of>89Rt\% YKw,h&DIsy=p[IbٽNde .ʕDm\*%{"N3}+tCo)..A"pn4GEҚFHw$mE}U,vxa6SF $0'&PMʷQ- ј*q2qLtCnID\vߘ3;g`i\4hW\eM'>p-gCcnͧE U4i];F6܂fKEDK-8p K5yTx-qNRb;!euzʉVyMyiTx|pS+{=dyZuiϩu.^R(`IJÅV=”" vw Rj˘kX^ >Q Q}*; >ŸI1 %޼:Q'9=kQǪG"p?h4qj(:, YTAbxJXpov鵶3sPʊRAͬWP*dNyĔoAƳl`1aa4QMCxbCz/wp("DR ݄k;nDWmЯO2*T,K z LVE[+ձ_*[Aټ0~S;w3 q4~SQbh ^m8?ߢ'[TCRN)gdV)"hКD$ Y,gYZ639f744ef5a7e4591828a3f3971af921c63cdb981765a06ed7bfb95809fcd480531b6aea79d668ee db3306e1be724f76356daf0f2b195629ce39c7d0 dfb1c663f370f76de9b26cf43648c50dddc228e9  IOA