SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  |l s/ DiskPaxos:threads=2elapsed=41.240cpu=80.576gc=1.128factor=1.957zXZִF! Rv]ŗXf1-/6vRZ3`ivF>qee#C n./Gfɥ%jȻT~LsIox,YIWnhNq8(aie`ѢÍ+yi\_ +D-r];{v   DiskPaxosVOOv."<.A:,y aU 6ۨ17^ulGZѿy,J9~sL>R@Sb[ Aog윀,{jf&]aI ^gD7]erJ]2kkm_xя~ 2Km̶I Ss[Upa\6#\ WL5̹2-+B<g2N!L^l j.wƕQ0 YGVT`˼\쩾ٳ/\Џ?X9/28}Huz;‰EASB! @@ScIXMCv=QiaąjGcD8P: |ubk!_.->$ +7)]엯jO45[J1\2Ҋ Y}fcqbB-a!bf7o\ZHVV0h".UƗg.1KW%de Vk1N d% :Gw3` 5|-N,*w@ϘL :8E|\+[ֱ9mM=yDHYVK!:bIO_̉cmJg, +$["s_Ti_dhd ЃZ/u~"ԚF "N Ȯ*,lspIl@Z,/ _S;IT]pto}į|h3z_ 9of:/5V9:2wMQn"#[~l;M(H͘sfB%> |u*򉭣&r2QGwhX_PG e=W}.@0c8|b"۞A"vt ֥B1neuChAݓl&$^ZO*]?nF&&1{Z-~(`~'p,bр鯪J[\qO}RSK{hΌ-9]w@gn<go ה*Qb=FĕaeO荀}mg8Rp關n*|2]W?>,c w,ҋOW֐NƷOZ:vǣ̥G\\c3mY| = )\5>윳y&*2iH@H'mt[ݍ>}߸cc}F__ɇc}ԫY:yWijL#_F٫oL}rs{8/(~Mm5U-p G0iwj*444:a5YӭC1:̟1Qi0et1ftHW[Ѻ 8zA-JA2o,3cOtnh:$1pP>0ZWjdfͺٞV_)MZOM}uؑ] kzS@|mǬr4?@ӭ(+z!FnR~.ڪDτ?q&րڂx s$|HOkR. lS_Ǎrߢ__xa-ZJR7ᕏ8l/ʅG/ cZ3Ҏ6Ws~c4 otNTX`\Dg@iU XbYzhN iVCQgk:`,]O 𣾫1\fǃXIJ F8Gtoa N&D:󘑈ZTRf6Vֲ?@Rp/z(el?~ L.qx]dB{Uq[ꛓrD-I93HS%Ǖ)ކ")ĨlSwRlr[Lf4rn_;U^ lD.(01buEAL0-2`{} cnޖJNTP][Ҩbo(߃`58QG+&}5Q4t-=.w#^2>>џ8Hȱ#Z#R$ϨAUXDz}3h5DrSrN:dN__4AU'~0(ЛWt&/*6xm'H@_z5tnkXjk}a >WTئ2(XAi2)Ϯ&*oOy 3Ѩ%gGCAǩN\y}WT |J n$4]APӬ%ıgYZ7zXZִF! .]ŗXi%͚]S+?PKٍ}d B$*SpK1d9EHq|^%>=2A0Z@|6ܕs6?N<$2 Gd(wB.״19g;#`r yZY1u^HcfO㉲"KlAl7r "5vŋXewZh.N4*MtAmwG{T}xtB\Q.D0/aZ@`&UqN =%фU̾蒿0$e`$zDDu50MJ0B78+TS^F#)-m I7S[?R/x.ա9qUQ$+%(j_@ )&~e<b$bsH>-)-%QJcMqUl, !fi51cT{ Q:$@e=]ȥαclfXh 1b"{8TT(;a^~%Zغ{#Ͷ /_+)taZyoT`zLSW1g T,JW4ݖfQ n%e7Ui]ɣ&s/ȖLeM,DVTІ 77>)3zt^'S<"QhUL~ՠnb2lj##OD1) $ l>;tek/.Y=Dw biWOGT݇@Idݕ]]١={%ET7+<5F:_X5TnNJp-(WcD8vU@;=ECTQ(u&٨WXY:o⥁$_]۱̕=K{-wc q*[fja2Aq|'⛹'lX "WM$=yF [):߹d]q2a X$h`[1u}ãSjm+ziE&}[Fs8 xº1-5bZI~#.]V;XBCmUa~5(3_UO(Mŷ.Wp8lb WW=XN9ŨYS嫞_8]ۢjnݏ 0? Ki>NMn@v`Ґ kõlӖTX,&+iyyۂD*6 in'G?4m;2ܽ ͋ _uJ+0”4p2~ےb]vyyyy*Z 'B#&GlVcdaec!nvP?K3& =07O$뒚JsJc9,*7-g{)\`CMcE;3\va1tyN";bs^6H';>6? p/{uBY.H9 .5asoހ<)Ʀޞ5) Φ/NHE/|LT89} >fZw̗Fƒ*Œ[Sc1멬3L'|6tVsP5yzYJ^\j1KqZ ={) w޵]9ɉ,u[fnXmZ75x`nJ3TpX֭\~k#껻.`mx.ȩ~#&F ܌7Xͷ8oTL^z2ew[z2v 2Wl~\0Q Y?/h-͠6QY,KvsrJg5 %7t[09[鰸*{k-^9SO!hҰi