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 F Dll ]]]ZF:threads=6elapsed=12.088cpu=45.052gc=2.532factor=3.737zXZִF! Z]ŗXf1-) enȈA [bYo;E*&úYzKJ6:l;?SHN4;đzV' ?ŻW®z\c4_*8,tsz:r} &cg@vrN,M1j6JGtpsi;TC 핁911Ö~ѽBjV \B~1 ' >m5ac."u:ZL1{5P%r?%y4QWwE\]2}=)g',ʺ aCi=S>Zf?_&<ȴ|dC]d,4fWa{ʻH'Zz,Wufw$ @JɯB66iÏ'+ =To uov_(dŊʍUhõ0Ƴ[ 4bl2{A$Rpa?D dϪƷJPSنӵ=)dC*za8͔1gYZ7zXZִF! 0]ŗXiɟ 1FE`空$<]eK-iBO:˩]AځRhȕ:-y6_hݬ+"L'0/L=^bR[%;7L[QϦ::S^:~w[2ۧ6Ky:*cHIg$G#a ׽z6Ũn}rwR#]4Vıncwe"2D!^h7X%'gS]|<6j}{oH4S(y&iP.aՃ*ƿ]6Vݗ&hҝR\Iib6GJ_{P06!1rt^ فxt e~k ~,!գ|KpUdpZOjش:3kJnVp{&#U#S2ٽ%=905+ DlP.c(@C̿Ʈ::h(-NȻ,1Sǧ[[/gTr40gYZ7zXZִF! C?0]ŗXi%La#ڇğ㜀#a:Oͮ+@#81KHDFv0{(>t U&1Xfb嘃2&&huX}TYL'l=lE}H_ DQ鼸6Lc@d+׸'F_g86̍E F((p b/Ă=[>Y=O'ׂ[6r(]g`I+aJ k=uSSb?ֽPÔ^|x7.R5-=-:[3 bBe[$ ̢ 'sb 8L3c#8$Lo|5S\l۰i$Fm2OCd, F[1+}抛|$sdb'GT0ᘫG.iO6LFSawtݹd~m*ts.FZт׭KD`mF&{0Mv,̺ aBΞ%Goǽ)D/~j^/;8; zlyj&`U)иxP /Lk7/wko>1 '=),fP,*o#{s5:0W;yKf7Bha tA#ߍ tD k:5e;?Q9D>9 NӋl+Bo`OFT~b#kl^)c?} h'%GM"*$9h` ءG(SJ:]w^xσDsQ$El61M{Α8F Ji;F͐3x*ցh|d ]>]Et:aL /O^$XƘYA}a5qvԯ)sn55b40+{e[MprA@xfbRvB0FIV91A&\uywkY:6fԫcgPatű^rt$QCfE-PWl:KDbѭ_R~vWzRqPօ5hM$*OFOC{Ms?إ[E]1Bg3r/pF5r/J"X6taMQ<^~E:{cv&Mt <9!VC f_agYZa6b70c15462fba7222fd9ea1be9bbb89bcb3983ec27ff9c451f4b8c9cf6bb3a25c925fd9b57a5bdde5eafa1230be53a98e7fb05bcf63bdeffe02c122  ZF