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 p |DL ] IMAP-CRDT:threads=4elapsed=16.335cpu=43.432gc=1.872factor=2.667zXZִF! +]ŗXf[&5s^K9 aiinonܶ9CLF9/VOrieZb^Eu5X0scJbt${")ǴA=}A' #0VJK{3׊ wgl&"NiYï(q~A ꍖ fG:u0+@Qjg8?1:ҝDhiJ#ƔC=0SsrE}^I'Hy[nVWӈmb27~ůD* _ˡzL& ~܉fƬtΌ*E>㹟_ZTڜ5*!)lλ 7#O)VsM$w1Nm⣢Xwؗ3Gy\Z2mA%DD y! \Ikg $췲9fI2G֘m{0%*)D; = UfǕODACWɔqBX-0m>L1]>z.AP@:rQP c\uy{N9/v^R|(67ZjǕBnwP+J)*ͨpH6)ˎSq̉vݑ&^rq5e<*4鐊K5Ao=i i;K %N"P45)k) Zkmb޹p9F]7-)N\z|.{Kz2*ޚT%bAh(3Px*'iz+FR]+#a&S σLz, /$]p isn%_ 3N!z}R -u-l2XjI/_H!vºBjyupbSU_?8O$dnSa6t"+Ȑ :t/ʎf=܊`2Z^G&3CCަ)1lļkd;m[\|UVKL*G}?O,D{WAu`;f{a0׺+M墉pAm4i*Ȫùu0)mDtB`P9:%(a,wf.8ݓ<0*(̱=NA*'"Ӳ-j|%@SfNUnIU[V:Čeu2 -$q?Ӛ1(' }?N*ʅI\h2ii.s@ؿkeg`*NhO:g%,zP,eV0vzHn#%*dоL+>9h6<&\J-?%gYtIQڂMS[4C؅BVFAN/kYw :bǜ:Heu`Z兖0dR~hfhe? lT;0 ͪaw!B]t."nfx"øotKBoFfSRb^,: И2'\WN1=)Eda*eSgn"M C-)O!.o(R=D1W~L;rwP('Y6" X׃2k]&MM4sU3hggF'R [lgx$B:-h*)'SδEQ{½*"XmkU Eք?~`qr;M.y:kof"k $Q@r[G`Nso >yClkqiȸq,5Vpȳ"NP39mTblrRyTd@wM٠엏{3aOk3oۜ"+f4W)+Dei?Vɺϼz5s|J 0P& ,d@Y*'YqE od=xQVBT58ڴ=J9v"ky-ЂȋUPW`c{f5v~Ufk@R5okLڀh~X<#J=)yrA[Ii~TgYZ129fe7b82a2e8776d202bbe6286b196ca7f9e777d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 0665549a8be735c052074d46a827da1f0cb9b042   IMAP-CRDT