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 a5 |\ ]%]DynamicArchitectures:threads=2elapsed=15.222cpu=28.316gc=0.868factor=1.867zXZִF! P]ŗXf1-/6vRZaKSt$uxek$x="Ǯ6xPm͌ͮN8*uێ tH]š{jЅK>.M?q0-CM}/o*u3ˋq1fӥfD ~KU\ŷ b#Ҙ^eRtR^ev~mLx_%)D-)yzY,9K UM=& Yt Kmk-2"č&K3,?ӥSB-5Y2Y{w:z?b) Ow|8DNWr}b: w&VN.72 Է/4뾊H&RQ` ]tLFo ![zB9rbgbUNVg:K4pQS%\[fW*(IgYZ7zXZִF! v]ŗXiɟ:340Ψ_իX+jެDu?.jT yG 鴙aּKDč`Ij"4ev^x{Gf%%8솎7&>gYZ7zXZִF! `]e]ŗXi%>gpi{5W(309P< [$ezTFMEpW]E9rB>+vX >ل't/܎tÌZC!/0 _4i@G_FJqQ:l+=z6>/)F;.aUm+HʣФTB>:z]r= 'ὐxݝ )4t#fH̐\Pmctn8x|fb`Œ(`4 WZ"01 G|/ M2GՐ3ٴq' 2S2*,S X?&@֍A, ĝ_F'GmT7z_HDz`WR .ڝΝaIo5 >b`ؔ\U-jcJQ`O ,"t^"{RAA\mDvL&ś-o~FWR%(3Q9` \hP_-d9W MkᵮO&x0j!EO=qnmn"<t[# ӊ|\ƦFO²'.0u60nb'kQ8"vB6t?o}X)J=ioBܫ[u`4"#|.t_dܳ]!cBjqcmܼf}:mSdbM;=^|yFϮjg|]xz`6s`O; 80$ %kmB"~;MDPVL*hMy=Nв?~#>oh'u[nM:&|vtxz4/toii؏e>MB(h빪TxA2z~ 4,yN"p)lx