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 55(  s/ DiskPaxos:threads=2elapsed=46.300cpu=90.312gc=1.152factor=1.957zXZִF! }]ŗXf1-/6vRZ3`ivF>qee#C n./Gfɥ%jȻT~LsK1< gL8>T~?4GıWut O!aŤ&rOmXmu ĝTuաsґ<]i9=?րGcSw Om~Z8hO~vUʌ?G2@fkUY*Ī,N7 ra S   DiskPaxosy1S@AVkH I1o"=W18'u>p~]A$_;D=4iH(ejrY/ALџ۪Eۖrx{{? <9r̚]z먭YhƐaw|Z7^a 5~|5O`Dk(;qZ_ )2](+&@U3WAρ\{̛l\e{86aLnԻiy9V D,R ]"YW{0>tŴKZ A\y5(5)쥙grfmw0s[Յ>E4yL/9U47v6CCS-MlgWþc~/0.pς s68|Tc8hBqy骙. rd\IMy]Sf(ڱ( prힷ)YS55 `?e- ̲Ǡ.k9h3)a~w-RJ.aZ}gsQUr$E*bw:KuNcf=:~0"[shCK[kFjޑc ˌ} *ցm' Xyk``i4)ٻE CytjvVMR(O]k3L4gj4hZ,,i+ݶi[ښ/[ֶ_$ Knj9O~8 ]GUy*6%84bev[c`l дA9'Jd5kL"6Xs,:=ih8 o5 7$ 3.oF_kAL=t < ~%^T p&߾HtC r(H/4&-$7~O>4C 4hO)N9+Tf(!D[y}䫾nNNn60w:\Zst>Rh) Bh q,$ O[( ` Ó'BdI Dx]y7SDӾ9.B7߀Y/TzՓٝ!V_g >Zp1@3q#3x*lG 2ۃ"{z_xx;o er}P*&dG OϔG{jm,  vuTtS4{MQ)0- zaxGc>V{H>j|:$.hBY f!FJ)ÿ[zA(F5 T+0:PmrBƎzQ;T$1*NF"n1PЂ3A,UΕpD.=Qyg;igK!b,?sS~4˔ghLBt +(}[ԄXH0L~9i Wm-"^auP]o$ԇ 9fP`?{e<[f9@՗1=#po}l>EqVE n9ȑjrS  J#l"oAvt$TLo% ʃaLO>޹ ^t@>sq Z(bȟ1UV|%K*R(QhY[$7ڐ`Tna3ս 8u5cf \6.jq"%1H,GJSstp+vfK6,KO [TvN^\z/f :`鼵g<<;o:@ {gS|3w"j̻D>l8GC2%+|՛mĚ%:!6XX^:ud@=FZMPi7n٥* xZ<1^(gGBQ[*bhse /h\&|- CC3MTHc1~U1S{[&'л1!s:ryu~Tti]TEW=xG#_زck74kQ2:V$:>U[ z(iJ$go} >0XysK-%]Ϩ*u<KxaKO5" mtqtO%.ET;JĄ$W/Ġ+lJq73FO4n7ofɔ.~N):A3!⹴+e(1rYp/azBgYZ7zXZִF!  ]ŗXi% ύ3e <8Ւ%֕"c B3,.Y*Hn]vӻ̍"J;6W^g=j5|g*udts*&I4a㕶*^R[V8.0DH@@u;%HRn_}<5{3>m0 ɯu7ʑ=yȤdU 5\h1Ƞ-Thƹ6$dz}5g[ېw֨lspG-Jk7OO2|by_aCDuSaLMê2KFt@C{I+Co.;XDdA}NW{B0{a$^m wЌwc?;$G[[b=Tn3M;ܦ*|3aDtN# s8kmkq!U5/՛o¹%cPf*_4rNJcڬQvn$2:> ^gDry9_sz@D:zsSϜՂ锘!lApPL/3Cx|$;̜Sy}EJbm;ah}^5r49.Eg;--*S#W@*{\WDꌈAҷL3sZ<ų;qANbC!RyĹqMAԒr0 uLbZ긮q{v#$%>:0y m:Nzm>ҧ-+бI88HkDuSuVl+r mH8(W[Mb 5ǿ.T4.iYbtyC@1)Du{L/aӸo d idJGZ^6,Aՠ cݤeE{nG#ȼYv=\1D5$foCC2nz5NLҘi?d7}5 Լu_ؖ;_T#YG^1h5{U  ,ڣ ERf{NSq=/M:]̀vuŽvHf`wd%4WCq񨹭XDןaF:,.lÏ7y3N3}yu|3@ HLigZ夜!-&'ٍAK<'dUl*Y CLEDݬDN1*劖ʁ-b9@Co{իgʫǜו6,N(.UɋA`rЄ}g"R8H#ot qUȜR$6|gY. |z23;vq{xΫ|SͲ{C)ArRP]̖˒yGN8XOꆧ4[lO[k(Ǩk U"A7 v뚆1)xEX!c8*]DLݎWa~ƫy{c0vv)9B@4RArTh.#_15*З$s^㱵s ľO4R ? "h7/ W`Kne+XnE0ƾE_s\ynal~ky 2vܴБΐ^!Gljoӹy &_s{k f#(DH[%>rkZb\G-k}'X w0DN8CjqRTAgYZ04a43496bb242f13e354743173d0d2bc1fa7ebbc 0656abe3fdd4f4f6f193d53a89040a0ffeefb811 09fa04c7b8476fa8c77b0c0ad42c6e9ca9c31389 0ae049394f15799fe308733fd40ab6470b4c9d43 1d9a9f7dc7edf38db5fc870652903059307b79b6 32b10e31779588b653adc058c327efb402a538b7 38a543d37ba34776e1d7ef875464f82e08164c78 3bcac56793b7c7950e37b3f428eb71e137d33280 46f7afc89931a2ddb63fc239d13b9f4a132af7b4 51a05f62c9853cfa902c72518302e03dc1df9d65 95ec0550ff2aa5b8e675bbdc0d1ee6e26360172f aadea86f7cb9f3ec835e34257674b727cde4ea38 b86421ee558301fabf796ec560da728b109d765d c2523bd3d6534ce2b5cadabe4178f914f00e45cd c5645ad5c40c76284175e9fca39ab6d593418635 ccab0e0433d2972ca6748e5896916dfb44aa8ca7 df58bbb0b2243d7e2e3825b8f01a1c36dcfc76e7 ecc08c3af3ba7be64a6c922f48a3ed39712b9582 f06e9df332e58ff02a866853dd83e646c319b749 f31dee03bfffaf9ee50c063725fef2021dcd0f5d3b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd