SQLite format 3@ .  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 ^7 L< ]/ Abstract-Hoare-Logics:threads=4elapsed=6.985cpu=25.456gc=1.492factor=3.647zXZִF! r]ŗXf[&*%5_]d r{ SV}Lj9V&}'Gi.t?#wj jgڎĘ'#$kw' it~A&z?K|}, ;6H'* KЪ ܤNUe'Pa4cbw[C@z-ںuvr ϗN7‘j߸C7KLĀDS&yUI;LiÞC ׌u0xQ&N 5gghkmj-XEgqn˱3VS)h s\Z^1e MHj714ao$6Q& MEHWazL#>lgp 7&A o^ZîP\;18:{qu/"T qJ[Jq'M W)GnhPbx% nj9QnZͥ,o<[2apygYZ7zXZִF! ]ŗXiɟCrh8å -nIM) hd!O tk (x.bhYfn,L/&9pUb1 n~[:W.XC]Qo8F]ݔyj 7rfNVMdU0gz!gYZ7zXZִF! @]ŗXi%B !$Ǻ 'm-Ȼ _ya3 `5&14D],&1V/BdZ O_Ź:ʰ!0 y"kr} hoq8hة# gB ?αX @dpkJ+UE o4L3WFjh'@v& M[c]rZ "6|n|2vK?;Ezw"mC& 5IX߈bwQ).O¢=RU6L@ƵC(%DYO'"5I8s\[5 R쫜,q_ Urwl݈' P&ϸ>~}AXb"Vet/xNJȺ1C}W靃Q=.#"ρI ,H:Di*^} |ҒDMzB N'z[%GI)m dUqݗ?[oeP/h"S[>h*KvBq َTՅt8J_+c3b "`yrZ *Y[m9l#SutN:6I  vIA;hu{ҏw's'!ɯXrUשEcVUhmr~LG)ܵ/zϮ,byPXb!Xa-kPVõ*t X1v#a愰ZyP@--yP$Xzy-b)߯ w,SX"&FVJ?YFbuow d4mq\F5IFe ;jB\ǧ43gn?PYcB!"|n#O15ێ/Y郪?|hduzXxONG7%Gg< ޜ|vSO]>?X*A:eQvVQ0iA͕PFgnS6EctsRC]MydVHO9ʕ=Sf.'@=O u?}Cu.R\$