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 $1 $ ]/ Finite_Automata_HF:threads=2elapsed=19.092cpu=32.244gc=1.448factor=1.697zXZִF! ~]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'ǘ36>8Қ4JZ8q<\ߗ1rhAB;:.2oU nHⷑc}K?x҂v2L.X6@$||NPH"?nE\ۆˤ7'Nၿ=JUš g2Q͔(x0[Zc sNrq0 ?FdYqsi?}AQ_߱@{ 9v8|[@曶& ޭRsMb}sy(},Y,|+f>zn83jG[졹9zĭ浊 >o,1 }4e;GaJW>B5U@U@.b^_ny-uVAgYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{"gr~n7gr4w'g3떓CW;o`=?wMPN\ඟ>JRQG; or95l]HІ&za>5kM x{"  f! n5VXqE뤸Cr6Dhpqpm<"J^n\G=pkV.Q'f0HäY(oOpu]vs۳#\gl '˸א D{fYƼΓu5rp|Rr6-(gS!X)%ڞɌb?5q\.3[&!)%Ym4$EX-BIHCIB S+ vz-oǖ^ʉde((zc[Qs Dq}'d) JfY{ 9Ɩt8G^b-OeWfya'k#9\ >[d.T$T.p^Qo-vmEw I*߇0|_d` ?LM@;V܏ a ,E c|8#i(OQ"c9KKy1GPO{5d܋y̙R`VZ G[ |oS=(8TMs73E& Pbѡ8LKٞLeja4X t'q1msw5!0 %tufDX <ѻ_∻{UDbyY ɔ/kg6/# bdӷ#[T^%Dt,L.Mp!6*Re "Ԝ"\na,)y~ l{Z+aeXdm0fJ\քi[8*vNQ,XF }qYgYZ43ba25fd4d81b761e5bc3121e282797067cf4679665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 1 Finite_Automata_HF