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  $ ]]]ZF:threads=6elapsed=12.923cpu=45.944gc=3.164factor=3.567zXZִF! DK]ŗXf1-) enȈA"tr-j. ZbNVHDݗqۜMXX:U29jM\ܚVTUy>)_SSMO]NkH$}'|$>'ߎ=Z[ =i6(u*masXQ":ɵ *\ݘ-4;rݠ=>73+.IWl,u֧H\"ߟXz% 2bf[Zf+J: xE ?8#u{-oj5A:{%GnRĻrK=kx+[CYHp<ڹu9#Q=*`"V#X# _FИ3)G[T4=?^",K FhfQM`"9;igYZ7zXZִF! ;]ŗXiɟ 1FE`穵8T%ҫ*:i""*h{Κ0PP0O}*JE3hWF_B˿2}H eøneZMKs0x@AP"?}ALE r4n/f&TLWG@6Nv(K C֢ӟ]_Ɗ.Wٯ/Qն:J54L2ah<}(7*:%rxCEw&*PTbRJʛX ) @&ײ (חy{ ѪR74!zdex=Ӥ0p]mNִk"B+XӪZzRԸ{`Qqōd}šluӹDLjH ׊ *jp$[&TlYgYZ7zXZִF! >]ŗXi%@`ha3ɽ7pᚎ21joXc[n%2SdleF&V|h)?w Ż{QD"$S ri*>[(UfN—£ivV${8OH:̡΋w  {=ھ68v.ӕa"AWg{u v>a.*iJ"^gzkBc6<#+:&Ѫ˟?3ՆAܗL5P:Mz`:EL>=6τ;>av| b9A}wPJItu>[ܒiηa;nUwb%`jޞP1C Oýt|S؆O jC'CCM|6Dm] 1*C!st'TEѽC$`@y!Xf|KZ+ǃ<ݥMRwyF2!3JZjʹ='5YB-ˮV_pWAС*k&o"DF4Do=Sr2!=ʦ^GVIgĞ|!o}L9.CY%w?ր<Ȁ%._*,gQ4SA>UDfDҧMg)܉ ƧfɆ-uw Hle-}rD]I}$%] P'ybktbxIh}`6ݿvjGeLboUHy-Q?5Ţ_jHHfQ.'Fg@npA{?sbx Qހ!kowG,y,*+2TF\쇔\Jִ;g"'eF^ S`?wtE1 ~O=ǾXapT#/I:hWTs¹%'h] ZV3jU5T)Qxgk3 ͣ4a])XW]mi9-XұgYZ61670cd590f9a017bc233148a0e233fc5ae38adba3c406ce68cf4d9866a541e48db976c61e0e5644af68b1a50003557c7878e170cc3741510b2e2207  ZF