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 R1 , d ]S]Nat-Interval-Logic:threads=2elapsed=42.188cpu=57.780gc=1.608factor=1.377zXZִF! ) ]ŗXf1-/6vR[o]dhNZ!*-| #LS>䡩uV;N+e WR_߀Ł j׋G,'EL]֡hy]y\8ʹ1+ f2ʫ5 45_?Lk3>jWG͜;uc6{19FGJ ec>@FM[Bmu6yLG,Ytz^\o$3tE.4" \KH8٤m* Jrvg(nIʹ/U]9xI-ZdS] /-ux Kj^ ;Le&! GǬ]}-bƔ3;VSƁ{C*XMJ*wnQ6K0$fќ:ذ LEqɏo Q}pL26=Fgsgk޼k<~sMP_ a}\'+LTe!d u \XZ:j^U=a."bĦAhFh/ŽW~)l+p":vrG 'V^ o pu5TR`?>4 ̀V 6_"jRRձ:.%>KrS @q_N HR/udSc^an ]rznj&"!?GbDL[.˒ P EdjWβeL)M)+S._gYZ7zXZִF!  ~]ŗXiɟĊ:4OHsS9?2N&JOQ5cT5v!\jvYn%7d&!t {a4*M qC/ȿPֺC׾Ba-{gYZ7zXZִF! ]ŗXi%>g\:}2Upߘpuκёyue;WԦ$2 M$lfwkq>bU;wpI{b,,I3[59+8˕;YYL *+1ByφFx'E%/(A$vǶ'|AcهB9[ͮk`}\oXp"EHó~=쵳):oSoF&I;-/5+fY| UiJ@!V&ON#b(\EڪDff;#:F!ۢj"OmoFNQ/{Q="\BuOo£J î[=:Y7qNn:uR3h&nq %N3srvHpsX%&]I'l /HtUA$F-LOf)Pڕ܁Ӯ4әa܄>%cIg[KZ- jw/wlDe:B s6*?o# @,okT{aⲽKQ)P!Tș0ө¨^ooH+(2u%zS[;Ο@ؼ`ppkR1kl?+E\N+@{褈D GSOZK5\fL6Y9S&RWWx(-uH `đ[ZSiM ?ܐzC>CH+JF,HF[5HmJ+V6+z'GLaE/yK7%le2O]wNeӵ+^hf oД # NPY8m9 Kg{H5p-)t*XPFi5h+srqjk7_ pscBf2~;{ҮǤԇTFN19Y\6!HA2y> s5(1fD:,iC^^`~ecO!p!1V&"IFb=/ijd_5 `gYZcf621dfc446d4bd5b93e2a6068d7bd15e864fc8ca70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 12bd5101ca4134610fd46efb8adc7e49567300ff 3a3f0d8f79016297fd68454dbf1d2ee22bd9732271217503ca91f44d0b031beb978b975f02d36264 1 Nat-Interval-Logic