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 99D DT ] IMAP-CRDT:threads=4elapsed=18.008cpu=48.472gc=2.096factor=2.697zXZִF! )6]ŗXf[&5s^K9 aiinonܶ9CLF9/VOrieZb+c']I(1F1k? Wzavůbhgf/[Trݕ ѿ)އBx4 llAzu ݏ(1ڴ*KnׇO m"eVʭ)%߸f*gk: Afrm)JyW9Q3#\D~ &h5TP_\f]6U^O_*éCiTn *6'C5K?kըߺĠ@l|]{}EaydќԊӉ BeVN$b~UrQi%LF6@`1Q}clAj_f{`aOas[BX]-#w`2̎vag0.zm' !X\r9ބ9H"EBcƼ < NʪgC bqB`Om;۲gSD߳zXŢz_pV]Z* ^z1/Ea晉F }TqcAۂA:U;}3բal{Vv!E"w[U "nc(Uxbь `on odGQ;MS:}:!mp cUNƙ|f0_:lxSALqm-Ɏcx(s+v5zȇ Ԍ$ g&YacqqtY;Ef`:+Hޭ }%MvTxB(&\f<ṅ8dT{/xNsDJp(.? h8ɜ0{Cm1{Ø}r&ȺJ?TP g96R>dűgYZ7zXZִF! ]ŗXiɟ|OTg[㘇(i/U h{$C\,syMY{:${ N)I]5Xfj@Z#%kiOҩB֐'Ol|sQ?x udr릑|d tA- gYZ7zXZִF! z]ŗXi%L 0%HVP4v]T~= 4Fnތ `h79[0?d&@h8Q8T$̠&w%$eѧR!6*_BLͅl[oۓJ)sI:Pu8CN{uT/2jƮ d-VLӲE6p&,f4,?'#T  ilXy@B\:*Lڃ+!Zbs:n;='[PЯC$dl+k9O %I+i]=ӫ3&N8Cnyqwn->I~®J~ЧU~6By2_sP=-x,H@-0Q\׵+>H][sţAAp@<ă&簔g2wԁNJ^Y-ʪ!j2š>YЂ[ ]'51E^ 4(>Z=FϿl7|$_*g]ڦL{3BfsTߕv 7{Uwc`cv>$@êΨtGSt?JkW9Es۬Tl:E`I½'U*8Vu(b?.UIsotqڪ J|\}-㹤C _IrySHaQØgPm+H;U>B:Fġ?Ŭ'Y? n hIjлS'.F~&=BN/pѳI]=cyp+IÜBJZXk,oɭ6,vuI}u /⊃&ww[4m dz'{ :T9!A#k0hXB"" "8LoɤV 79 {! l>G}MruukMs;%֡# CQDu_׾oG+y\<\zY'RRzTW[ɆF]oCԗUI.K7 :"eNxsbUTI4dXt =!Gtf7к-|2Ѱ&5ʧ/emcvfNDژ#p'<{x#XA )Ն)I-vHԣ9ֳὬ+ U[7I-6lz O XyvlgwS0hE'|xf`\H ,0/vyWdS+fm;щu4CYT7YtP9(iTU@{TA\O)ad}N\r5¡T,43"'".n84dQ^qF 1Xr>K5Cb@Gq[U*{H0åIʞe jƁ9]ߜùˎ2>,`W=txyt(83R_ oZQ^3ꪒTm g M'4ԱgYZ876e9dbb35caab629248c2b231618980b1ea076dd3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 ce597f741a7b7d43de4ddcd52297c0f0b648cbe8   IMAP-CRDT