SQLite format 3@ .0:  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 <<A) |L ]S Dynamic_Tables:threads=4elapsed=4.638cpu=14.676gc=0.156factor=3.167zXZִF! ;x]ŗXf[&M[Q5N,;XYRtd/ϣ ho{f0:]Sk?) Al/$qm-GzISMnԁut> g OZgh)n W SוKklNit5s慎 :ui_om!P|ƾ4Aj2am:Uw gG-MͺN&FOxs mcg??[a[9Bw˝: Oo@aab@t7IMjʎ; rwkάb+p~t*hj /ȁVvJ(o<?; wƲ,+dlVM1-DgYZ7zXZִF! _]ŗXiɟ:4+m.a9o;<mj}2/C56,dCgq,z&2Ƒ{BiF# '%] n{3gYZ7zXZִF! /]ŗXi%ES3ǖ󮻫o(R߄H_?ri7(>)\j5564b2u'hե 0aY@+It$y0̆M2vYK,-\!9kGYgX.]aF2EO wQ퐾`;d@uc9pe_Āi}z~):1H͞7i2$Z$V:28DWɧv~%)~ "&TiUgQ\S_Q̌fk89]-zZyh/a <k#ـD8OIJVZ4H 4\i߃b˞ #ȼcQ̫{zD?…^V"s˂ x%Rϫq3:P8Ģݛv: VZxň^G&$ ,A{VbmbC@e,q8(I6P~~U@Fczkw`[E[*NVm[_|A $kї&6g*|\ZvEPƜW`7ā?pd'9~AIA%rDB!^ KorqHF%-;?A5; Ǭt9V|*M^ !f(ֶy[KQ_UBmGҒfnT> M`1> t;}_3![M*-U.pM?hgԢ@tZۭ[%1ve Z?Z$h=LO,̿$W6-s4