SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  - <| s/ DiskPaxos:threads=2elapsed=56.689cpu=82.040gc=1.328factor=1.457zXZִF! ,;]ŗXf1-/6vRZ3`ivF>qee#C n./Gfɥ%jȻT~LsETCpm]9BCS5؞|z6[ |o􋊆:$cG\7BV:C*tP%gT|c"z9{ܞ숙] ZT^D='@%ma]iR ~kPLũ|ooE%:A*/P33AM] v z n}66!]]qHlwn_ ps\0:tEvu>LL{. O{J]c~y]Rvzڙ B*|bpwb B3lRocq[Q/|P=_B@ڮS|=Lpq0Kڔ2pJG  9[V08f*C ^L%.bB@,hS@(C9y2yiJ, 2{nFS0r0&t15NZ [lSjΡ9;q[68كx_Oo~zkh'y1 5=CW>w=&yAu-f(cFRْa꘩X8Bul}A(X 4t;ɭX,ԟEQ>+-tT$4Vndq b bMG)ƜНlOqE浍U75kCyV: *y8]Ey# Usg:n2Vb$FՋ0&Q\8ɛ[sZ4]k8N/ 65JR|v .RꍷU q //1^yND:   DiskPaxosDY#=N I\+'Gvc;v݅6X[LgYZ7zXZִF!  ]ŗXi%lJU?q}6 sL퓄dh!K|hͶ[' 9pˁmɿ!<-<2 nį0'^(I!j}[l!GC8AȾG0;=u=}ѹ<47$ z7y zoIz%!/"'Pct ].)t᧘+)&*',>COGR+x͡o[h>خܓ-_[?Q7c)sS/ЏCFR=fqc&sʄ#R~VZ[2a r!mF}SlkWҧ+e1=ݎ^@rYѻAǑB,? K$7?ȏ0 ˮS~wƼ3.`kpwQ HM{tM42,s,tuՐU~6 CdQ3%?5Wӻ zO_ EM[X{?`,t%QX fg#T<FmhK$h4PY;N_UM(Ƃ|)#:2%d(7EQ_ %DfTUh~vb5[eT[8+W(YWW!1]@Ҷ 5QZSqM<FYKFt% zQPR2b/O-LK; _oyz' 5)6 T񹲆˦FSfnC$n6\]J*8S\({82,}0<%7TcjY),qQ|<Ȯ.&%f{4iq`I;唭,`1-t&u.n>0/,[ pU'ִ!OKdx$M{Q&2e\9z.iZ}Q+|P:nW)vbO *U5ƼeXzUukjxH ߟᰋkUeaw+;H nS͏\J3N慝34HvQJwyW(V[DסYx6񠲋k:%i :DFwv).?,Q E 7۟|CQcb%ބdSC/Wߌ 2#V+X]LCeV5o;DoqWQ,2i儉jW%^ mόԐ6i1n2s~̊`@c-vf*Ю;m5WF)K{h]8$aÉ}ld17aA(D]JP&U?8ޱa.|HUVo-ZCJ^/i{T[HX*`5*ևxm=gv*τBm_ɀOk<WGFJ(+J1W5=)h"x_Q5PKUǦz~h/:|EjXAӸ-`*Zi䢻 %HJCb_.^*̣s$l,_r< %(be?QxPgWM%@7z j%%FktyUA#~ cs SCu]Mr&yĶSiz 2%gwYzemO BdͧYH0o Rv5Y ۻTRݭva![UbTC'wFN}SX7ޫe=u>} tʳ1(3*($8x+Z=[;=t-xs5o n CO+ iYg g 5G (0_Z ͂h:vSkI7r%].[ hJOl[R`l'}?_t躎LQ5aՖ֧ t1Z >d7VhQ;}'BC˷5əxx;; ZŞᄳV9,R¯7U;y70?UVmn,:j})QM0 ׮a~MVBdG(896Chi~T PsvQ2ֳGG:~ONr/CsV' ·꤬ jF «ZБ8t– zSNP? 7ŝ>z^9b[ ڤ'o EL6%1OSԆ4Uy}($J|D: nQS@5C ,:vC W:DÀ$?$%>y!1Wv(ac)]7Bc@ԸޕsÂ>WkWkaZi~|eX^zĵVgYZ04a43496bb242f13e354743173d0d2bc1fa7ebbc 0656abe3fdd4f4f6f193d53a89040a0ffeefb811 06e40270ba3acfef4e5002e0489f2b0b7986a3a4 09fa04c7b8476fa8c77b0c0ad42c6e9ca9c31389 0ae049394f15799fe308733fd40ab6470b4c9d43 1d9a9f7dc7edf38db5fc870652903059307b79b6 32b10e31779588b653adc058c327efb402a538b7 38a543d37ba34776e1d7ef875464f82e08164c78 3bcac56793b7c7950e37b3f428eb71e137d33280 46f7afc89931a2ddb63fc239d13b9f4a132af7b4 51a05f62c9853cfa902c72518302e03dc1df9d65 95ec0550ff2aa5b8e675bbdc0d1ee6e26360172f aadea86f7cb9f3ec835e34257674b727cde4ea38 b86421ee558301fabf796ec560da728b109d765d c2523bd3d6534ce2b5cadabe4178f914f00e45cd c5645ad5c40c76284175e9fca39ab6d593418635 ccab0e0433d2972ca6748e5896916dfb44aa8ca7 df58bbb0b2243d7e2e3825b8f01a1c36dcfc76e7 f06e9df332e58ff02a866853dd83e646c319b749 f31dee03bfffaf9ee50c063725fef2021dcd0f5d735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa