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 a TL s/ DiskPaxos:threads=2elapsed=40.491cpu=78.732gc=1.048factor=1.947zXZִF! 1 ]ŗXf1-/6vRZ3`ivF>qee#C n./Gfɥ%jȻT~Ls>+OXo-CRZƅ*qAj ]wKJj:Z0Ԑ8ޞ(Zx=^V Ͼ t9Sعܫ1+J{%L3dO2 $-[U_Y(O5sUkeec{[ ASE!\+C&o =xE-;!VaA=7xЫ/xߩZG&O?Qn:-|-ѕqah ^K\LP|l|3ym_S3R ٣`xپ/J\[y,F^һO,ȃ~oB*m16s T-,~z2!wrY2c&9ٺg/A^k&1;W%PUa_SZ=i< 뽻hmhL'x(!VEeL!P`@ D[15r.>W;M)St塶l؆`}~2MHmI̓N5 흏qSU9Zo%kڵmGވ=h8`8=Ć@1!XKpf$)][X{LӦу%f}wCˬrD '6zU Tj7TN\&%"{{rGOO;^@WќJh2Ey>Oӄ8C id*xWTȇ, =?659 wTr$(4 +|`"&l*T@D۲ʔ{7~E4bxwB&I_SRp -p C]ÒL~#ﰊ<+F]/%Xxl@8H!rGb^b%V1h`r!F9' '13R씥K6g.O!sa|1:8Wd$ 5㭍D4֋N&<c*M//;R8Bm{b,jㆢ 1{m(:˨F|ZfEͷVkL.Q:2#ϕb*y v5MZ5r;wfyF '0DtLRUؼKR> Ct4Tfaz0+8Br &ZtZqˠJ sRaCo^XhpL ߷[p=aM @/0韾 864r0mdbK6dM9J1&qr1=\F{K9:7Xrb&Zn*me⋊[E%onlgWSc@c8qDe~-H\LE@Ċ[UzVR9\vk)acej|]dJV[E0BL>2#wff :pN"%([E׷$}`c)c,H6H&,66a}Tsm dH=1uC4z/5qY뀋l!Ji^{6sՕ?rz4|eʕyhu-GswqSӫO Eʋ@7rs1N0B`#l*kKY')Ơԃ  ^޺SU"IG@mi 5:{޵81>'m'<8VRqe:N b<l%5dV{?OMA€@xB_׀OpU#RBbMІă{Q8avhWxBCkǡv[V)F:b9>74d =Ps_ S׫IB .~8W^#?Ai)՞h;p1I(̵xN~lkb*c g67QDUsJv3uy8gYZ7zXZִF!  ]ŗXi%!U;3 u85rNw˹(A *H>ֽQI-N>'oZ 7 ^b]>2з~Es"l=٩VS^N9&I-D7C;KLʘG>xSȾbTYcZ_ޠ-^}y ߋ׌Fmq qpFtyjOYH'FB~RB2/ 0 W/H؎F BDa0&< ۘ w:xi^ϋs@-.m$qMs/)+"ᦨ`6qO?fb׷M:D}$E/Q{ H%@D1\|h;`GwUt  ÞcV4iYW\EKDYرX46R`ޗ5*^SmKEWn`qc /B~ k>fwdA mڟ=A.k$g?59'JVs UƬP8%YaSs! kn=j3>Wo(XEa9;ǫ[/>NxN$/p?,8W5,JYҌL`v!]ko]\ >pO}#w(d߯qJ1Mϩ"k[n ZKzU3zHg0}Sy~$@MUE&m M@su^jmݞo)ڭ2 ҆.nƋ^`2U[;,NI w̼ݲ"-̰(p֭TTgQ߁cٯ LtgqI"*~<\|?74+ !{,h$&({vyMr]Q2б[ 8LX>u~ezkVhŖwMgWV*7ߺs,|߂vi V| Z6r/+PqD˜L興 dQ+5hn HϖmG | `umA@L?Y[h9 . E~]0Ka!>xR@>njq=MfZ8Bفc'w߃#νm DŽVf6Nvu-е!#g5:&:Ni#fsee _kQ)둅*hο1-sMAmW&A:S m4DzO.\P{BO\˫,kT%Sl Yqvfյ/Rh^D蛰 㪏_h}?H+W Y[@rh>7-J(hgѓ|ȇğj#L[67 y*M쾥}u6Eb j dR'7-V# \} !y|lT[ǔ.j,@2#(tQ;S\z7\EtcU 9nǭ~8LH%m=7,\^A?j)dd DU;?pJm`N~Ao[3ZZ{kYzwp3FnIlK9bZAake&P )] v&sy edA۟^r_a;=jt6^h3r )ږ $§R׶É KS|p(B~LPv}:LO"5; Ɍm$I#N|%72b$1oWEVyf;2܌fvء'!`ݫ`@0