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 OO&' , D ]%]Sepref_Prereq:threads=4elapsed=44.705cpu=99.944gc=4.632factor=2.247zXZִF! E<M]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NV?:\-{勋+6_A{viTMV8CN)vsئ R{,S S`Oe}ulmX~;WĹ%x .M5~Q (,cLMg&9gymޒ6;#08iqiL]lYjLc#T恨oyU:N$vd_ %sa2w? B##zE]س\0@Y , mSFK-~:U(3sGgIq(>Fv3;X^" F ]2t^@|,"BvU":"}o"ѡjCǐWsܤq1[ Xh6Mdy* []ZY&nu_%8C¥.WXu[a;l  ?WL J{i7_n&od14rk>nL}awGC[AmF]^Kv|>tEH8ãy\aV?}%A*6Ʀ^ $z#;) T)#+I02~9t}(>ȷ@2'` Z6p4^~Nr!nǠ|Ǫ:.$ ڈMW,6Dg[+ Ԛz% xD)6-SA£txpKٲ)$A7ÊzlJ=rl٬4?Cz g$P (^,dT΀\;>W),s(>}ߵ/0l4DN9b]餕-D{*O:Lz={tMPrܰf}U^|qE"QBX3$E}sG){ZpdœYF9JD`uy|[%Z!˷e<[#2B/ɏ.GlV_@0k,=r1yzn-)Q# (aڠ6̈4Lp-7pJ:xIJDC@W2H 53{ 5S戏MlX(ܓ̫ETCD;$?j ׂ*ϛ!P+}J>'-sYp 9H?9uӶHpdx zBgWJ Ku_k09?e'7KGQDN]U'}fr cG~rJ)P#zy g ' Sepref_Prereq  YZ7zXZִF! ]ŗXi%I n_uL`aUm6]u]&ԳbTH{fG %s,H4N2T2x ) Q*1jw\r| !bΫ*nuwzg?#ET Nu&K).?yҙ7cWd Jl^$U|,9ɥ]kn <~. {U!r8'T=7ݳm>P:ģu + Y*9s8لc֣<:nsEApXD2r z>\AgĹ2`஘[#F)-Y΁1Q!YRDD>ŽjÓҀDg~/{A4 P@( 6&,k3Eg s;9< ie~͆'.D??Ԁ' #e$%G{Y8uS.IV#j6.[ Wړ "#,s+VYe{y&WMkXJ4pf܍N|<ͽvet+ҽ4?#pKnn qq ϱ#Bu5> #iX(\%fm_SٔrJTeTJe<M 0HR21y`5ލ]a>Nt)pxRiúvXƳBKF&ǫ ٙɖ-K0k~اZLh{*F0J*Vsd| eWЇ06ۮwcy]XTeb]F2<!wÄɋ~Bm4I|M8O36n81*pM6σC|y+95m| Z ` D4\IeggIST裏z֠dBy%^Wy*e:6P6Tkw%r{o1 ӡR(*$CXN!Eh9|k}pmH/#J8Ns!hy~ʃ<8v@$ppAM!FAՈ Єgp/%6k,dgGjsl_~MRA#"ckR.4-DX٠Yo_H^ra'5q`_SIK2kf)?2he[+/;qI&ى\P=Kl4 \G+AӎhY#>#T ׶ x0=n"z{t1AWgmGOŝj_!EځY (%>_qYSRQ AoHzA$ ]{#E~vuaHzlבs=7dSD15GƖCJd;E)5f-|=7PeO qHT 37;Jd \v [;r +׸Q^Zb3:GXB~g_7?Jiw[yVf =?r7{{Al`8vA;8ra˨x@]eϽkᓫeظXt-">4E2$}֑6O!^7åZs.MGڄJV&&Ӊ8{#X¡RyPԏ Y.5h}܄Ձ,;IT"m͓)),J1յr1MwNYq+cky }gYZ26c868173de943b6a82db769079400153075018c5a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 ceba0446620459e9ca50e1e491e696749bdb99a2 d22d656bec329e50ff82e6a974b78e6137bd04cc 018ab1a0898016f4abab2fcfdfe93d114212540434d2d48ea3e13c2a64afa5bdb5a725a6a1daeb25