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 ee \Q~c/[ljU>V~U~\ Ri'\ß{b̖}Kp:CaDAwTltٹjׯ{j+SΙkސF " &=W{ c_1ifj; <--Nj)M%#1:󻉪;\/ Ҏ d({]X%S\Ϗ]֛: n u25?!$qm [J3\P ͤ|10~NHh\'J Dư~5b\M_ͧ]~pS\ \#ʅY[x LxU죹6̧p*4nRM3 >noHH~(CжGGwT'tj߷h*lPi껓EQ?RnaΞfP rSl24PG,k:b}.kAS9GOloqܡ^&~hp ٪Yھ O7(9JyPdžVDߓu_i>*W{ tgv#@{$:Ѻ?q}|pj84T Ȳ rM˦6w kV RE|R[\ޯ,pp^O[1{dl3&O:gYZ7zXZִF! ]ŗXiɟ|OTg[㘇(i/ H85~{yuóUѼ uÚ`Gwt|30!pWJڑh ϮK է>icDŽm_[`NwV]UgYZ7zXZִF! t]ŗXi%G̉Sl_ N ?g !ES¹Cpr *KO"/\B|{}.G ۾ȒTܘye* |B41D\sd툎zyNռY[v- љ}OΚsv ?7 U;axpe'={h"B-si &rL~=4Qf3?rreHaPyޣ7u媲r]$E|d3 #p-0|憸Mi8t"e(뭋̓O ؟wLi@x|\wͪidlߡq8xŞ5U eЯne(x ap:EL@YDÊLxjwii^> o/'٧,+=,bh DΟ˕Iqy atbgjQ:;de8QQrC 򋞽jO@ )Z%;o+[]'KۚFB uY 0\ߗ4Wv'?0. LE6DC plU SS_c\Z-'-ޤfC*\#wkzƙ i=XZѱzY |- xpqD0%UPw4ᱱN-iݽfUNl9*ꀱ&:N;\6?Q9(eG*&-S+SV%HwűhZhՋ=DNKT!Ng mWᾀ7m*눸i3ՠvΓĂ$Lh),J-/j=Jq K cS9F&l #luNlE%qHKE?jDq>&8!Wy5G!T JjQz8c;*Mx+^Pxt[}DodmR ̵J!ERcȪNh M\4 p3E0}jEF@>d2s|}j[ԣu4G8^R&<_*K.l6#H dߺ1Toh  WFIoa?pE'lBocρfT1(^]e3&GL0iWIR:rÆ=< \S;9٠b,Nv5'ΈȨ(sȅ-8@ݙ8}(p)rO|0:Eڣrss_pA~d@zDE]hq5?ĤڎO# y_>M+i.$H0#҄iR5<0ID sOxh S?PLbWE9*BHCZ#ެ{|: N?Ë GS-̿7;M'?}3%j'WTW[dm6شŋl%V82DL<¾L&l@?3zG"8 Qt M|fAnç{܂a w#b_s.֨ ƧN|T53_Σ:q_S@IPIAx'\9]` c2-^DGUF3*HmlCobod,$ޓՏ$mce R/ɽ֢}`KecIZ2Ku!gYZd2905ec670556621a566dc03481146001b74b3b878a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 24b02393f2720de87a4d51c398b6795d6156e6f5   IMAP-CRDT