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 !!\
H0ˆm7ggx_Q|Vg}˗R1tݭjZtAcG^&|Μ\[ȝm\sd+!'ˠP9[KLU kv薥i+ob3t y._ܸ `O9 ZEI XCf``4(4h*xF;&f@R W0R9 x`&Eq}9[$f@Kjy#˚% (-GxVz3RlX c3oRD]L|H|чQ#ВulAjC,23lH5d^ce8^bð|bh3s Abh(ݍY|q_w(b0O%]L_ȹ=bD㡾R"o{)Lv Wagr29وD/gYZ7zXZִF! ]ŗXiɟ|OTg[㘇(i/&js6S]ܘ )AP!hVM2˱}λloh??VZo@̿(r$htl3XjDX]m$/:n5,=n@gYZ7zXZִF! r*]ŗXi%B8_tn .ϖ7e:|mxt3ל? YZCW-|eמ85XH ۟7_5% SHIF֘1"#{GHjok'U*$ڽK Kwo%*t=[4!MP+b|FJy`x"Nd؝|zc b5APm?WqL2$=Zj)$M R/f#rJdP1tA76=j?C`ZrK$zg)A̾uH|%ƛB.VvS|{TXFF|ejGUFZ,~u<;]`St<@(m]<`EN!ڿZz?oL-w2P.;krr;T=U!J~G ె{!`M֐P>(U逫6\ $_ϝY`9?2bҗ~wWEȂ6^W,(0ﱬ{.=ӒYn#_Y{9Y*`:{S 䝗_ Ph,9ڠb[̘h`+^j^2"y 6jqڢ4Ȳ81^r8+W'>㘭A6zZ7%f| VU_@yxz#w_x[1޶`ѹ%׀}~jaiƨՀ΂e (|;U`~rgޙ?鐮٫ιH*.Az;:QV*xD&&ly,N͈eF_"k7%gcژ~ naO+|5L=+^?oy`_#&/;]W23 +@h;ƪc(xe9$orһ0qr$' jg W_A'Lt*9~|I!Y- 7yev'\\f6% ExflϣN}pDVoHⱻċL$)(5L. zO W Ve7J)~^hɪEY~ŕVۥԟ=V)/UvסƢ˾ QxU0."si(˜QWnvy~<G"Pv<]65\y(\2T'&B`մ<[ĝʕ\\e|x| `Ms!斥Ruײ~Kj2U~l9d#:ލYwN>+!THdnI[ J]A{-醲M}2wjeD}PE&nכ-XX29LZU'ugYZ0f1b8c7b91a84a88b930be3f7d1d3b45e0cac724ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe aba76af728048a5464ddab45b93c5deda9613870   IMAP-CRDT