SQLite format 3@ .0:  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 uu LL$ ] IMAP-CRDT:threads=4elapsed=17.104cpu=45.552gc=2.016factor=2.667zXZִF! ']ŗXf[&5s^K9 aiinonܶ9CLF9/VOrieZb+c6!L1VʲJ-Di7Y>d&&3>۵:\hڒņ&-?vިj;!fqcp qAK0Rm+Ҫ9R Zܹ@Aaw5? oGE1 Ep^~aWNY6KRmAvf; %jPz$wu2hTF#N3 gYZ7zXZִF! ]ŗXiɟ|OTg[㘇(i/H裳Ed4.S3f /PB2%^P8Y}OA O(bboΒwH)X!xIpx:lk=TIή.&C!(r.Z? d$][gYZ7zXZִF! t]ŗXi%GV)c|wef_ت$4EZ90L>7tjpr`{_:Ov֜ [2RvGy \h1'˞IkUV3YJĺcOoD;jhdhb? _Fѫ=.[m)6 R,C͡γ].Kc[huJCJu>YypV.IXk*v@O ҡ"˟(r/-}D-׬br4uOM#.!mI:nmڢ1OWadM|p{E>RhW 1ܚ6 -TgJS L~Ŧ؎J(PF>!0'r"X0y~-PWJ{ݔT@W<;/SzIfJ5ӏ|zN'0\iR_!:3/0ua>r"uR{FY[".H'I^g8.Cw%甖A.9n--üea$f<>ٿ0ET#dc\c2q=g{Ghwt\#Bu!^`P_7>g8tvjeޫ6x,o on?!ɇĘ3ֶrhQigu¬qq-dUDJz ƗʌL < Ɗh83PA!¥BRBRw<Nbm{//f^ejEA>~8D? D$3g-—| Z _6bh.vIe/+ܟQ(MSjsjM(mdXѐJaXDom$ 4EHM2 0>o^Q)uG9xP=&ܭ{IWp+ Wt8r_2ܶd2 YPdžU 4G %d{wyU߹3cM4˓L5݉Bot|8V9X0^tKĥ C2PDl:e{ԚOFb|Z坾<{4!UPG8ծ X7ReEx>2<}sNv⥦gtϷwiG:##"dV~G"j5hhy9H:ys- kMOe>1~B2`W먇ѩo Lkj*8+I4y`F/ze!r@Z%bE2)$ T@\ KC2<_mY3hrn۷~K7 v7'D7$.Z +TD W?Y&GVmrNjxأC$n%-!lgYZe69e920faa7ba3f19b80489c54d91e37513006b64b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 7a7640c36fe826843a97f58b1968d2120233aff8   IMAP-CRDT