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 o lt| ]/ DiskPaxos:threads=2elapsed=51.885cpu=79.184gc=1.244factor=1.537zXZִF! )6]ŗXf1-/6vRZ3`ivF>qee#C nYCH6dQ1V$212렳 s-|; +Eq e^3?>Bt'.飧qyM{Sab;W`PQwV|Vby@n&-Jx";յ:R_ \fNN]-B^=۳ΕwbTtYҾC+Ĝ 1D~ ڮ*Vޓ$Xn2*䃰cV4e|Ss$^XTX˃㾦p0}P(B*e9%?ad1Vjee4\`V   DiskPaxos  9XRbEɥv'Y;>I3`b400( bCa~Sk YE8YJ`;®A{lj c}6Я<N%WQOMEΆ!FW4\m{ڒ[Bt|1%ׂ>8 훞?F% I* u B]-ܲ@kτnWre+0QY^} 4kptey#Y{I7T97+ynQg[ߟ(cȑ,?%O)^x;1NY!mH5t?(8!6OPR\>ʑgz`}S7 ]yr mz!X+T4#'IU (O&6"ٝhr|N};~ꅪoڔ7٭M-ŷin,FƲ@[gH`g_ЦJI|_ `p7 0vRu}kgk_X//u%í*œÓPKD'C)eIXva}uq,v㸈osG\\jc5;X# Ӫm?ɯIjj#3*Jʿit奊c\Ё9/Mۊv`+ `0TNndɣM|{{­|U%׵śz?7m9zԐ{ q[.+#)U޷_l]%(cOmN[P hWY&W!M2]V[rkwc{*s7rP|FR$Kkྜd90f<}ЛCp{fT| RKpM@T~!ܶ-7Ty싴48SWuA@lѥR]@R@a/㸰+t`vEh#)3pQG rHAI&KOӆs{P W>eֺCrÚ.OB(܎LlކЫ+N__9,Ԁfe'5  %+{t":g}gWrr# 뛋HGgB~O߷"K} 3#wS1?-G`i c Q~͎2trPYv96[.!J+ན>v=صLt]6e0GKcf]02!Kw%/?qJ2il!f PDgVؠp\w֞P켬&~ zM*1Ц/ Ó|ݤ >bQRZTE*:ɱDpwѪ>p*2-⨆|5ÓA5>L2m:Ql:t(+\rm'@_N#>pm$8~Zk&bto$D׏ t5pK7N&]rfZWahko>9k)G2^#kaK9FTV_4_JUU}5U HMG8xSYٖ(퉒t71ohSp-HHM7<,QEzYu SLl 6ςa:D}VB9sq?F@2[֛ ?o她5y.1]aN׭0?y]e8(N8\p qNSe$QvN%{dc VAfdTs nsĈEeqO~ =?V&)~c?FD| fՎN[ܝ޸kŌl?o.$9h/VwQo݅ѻn{eswxVok+0kk9AyH@Cw(0m / `XCDZ)pO|,N>Ӿ?vgszdiAV1J &6&+!͢ 3""4ӅP{f҇"E`ghEtd]7㈌`Wk ,[Ĉ-dvM*Oe\.ȮY2K_ѱ#-Ljwhb(x#HP~GSx ҟ;+/J"˴✫Snq/ +ӶUfJ+&=FGuM;L_-|F .$pMA7U^52[G/x֮zsS(`." f=TM:&ƋZ714r GD\tdJlЛqtqS߲u҉x9/QHE&% :r6E`,w2Ɉ-aݶH}F@۬-K _ފ F(ػDRiʁC!uڢ$lfG)ʞ53͢ڭꏲFF_wYf ~!azKRrq% M:;(;*> dmyn}^ɫU"n0Ck=,4`*Kw5 'dgځ 3votzϫT0J:'wUޫhfo_O.%}LB*P^3XCVF̔I1Ŧ`4@<mV&] |@>{b٬Q#tdeO?*%;mQ,jD)G؊z6'K,0 XX+?s "͞@)jVٓa; )"&GV3B]MHivCj0r/ @\S]i_2L^G]q;}ɜ۱f J>qfycmWO$gYZdf992d00d349e794725520896c82487a45329da197833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3