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 P% <4 % Stern_Brocot:threads=2elapsed=40.112cpu=61.880gc=3.772factor=1.547zXZִF! B]ŗXf1-q恈͐7ӺV 1̙ GMji  " ֟kR=9UJ[dwW)i/0"dV"/9%k* kS/%C @neoev݅U*Ӱg^?< e z5:\rE3#@[%,_T>]T@jy=QETqp76djP8Mrl_'E.m7g)Hڸ]_^e/hxk cB9j\t}0<:3|u溿ed v)T**ZL$[W59 WDI׿UUs Mz{q辖~s7~Q[Tq3 % Stern_Brocot@se.4Xu1 Cn=GB@p{FOta8/_, ^]A%:FD_pӟ6a7o⒆_˒-&xT AB>BL:l2gcG,+j˕f;/!J=0]k)L LCMS2B;y`YlHnkk!wWp4vS.{0QY*cr;OɏX alrZY}˕&H!Ҙ4>o \ GXEA) Ter{ֱ4.i:S[ TQZ(\0hT1ޜ=#{su;bXUF, rJ @U'\Kk"=ϯEL)JsuS+ DJ?.ۏ)'+ o3 iD5)l{Ip~.*Ooٚ^#)\R`͔-ҿ#i nNA gYZ7zXZִF! ]ŗXi%DQ=U‰z5ߟ))&6}WY3gV0+AF^:zpU?Y'-*./O;Bo0@]cXvg*rIa>ss?} 36N>F af(T+f-2"b=^PMH+Pt>T,x j1 *b0cij]{+z&WN\&,x`X֟ڭji,H-哲&M7x^~|i|=E݋GQR *g(@9X6ֳzo.=ϛ]dc"@E<] =Dٙx=VM:U-r/S\er )3^#  k_h=SԊH%,4/ezF>iNY$1yef{A'!9OR.R>ˠ>xF:&;,(!J^ƿA2g$*}1:vlTq!JRA uRdU /BsB-1=:3}+t7zhHYﻰ˧Ic嶻Yp-Z vݤY:ژF0E/$t^3t9p3&PC@sr-S^t M UŸ|Z֜ @?\zlCh/If8fp!8Dfۅðnec֕۴ Y [; bhg;x#d'~biE+W0*W'N ASEy_UVe&$:x| E>ZBF ݷ`}8i'gmϵœ'. q<%wÛ)X68tIbo*"1y>'|cy[g C]&H/2 x:p"nE1OvNH}"S Ɓ[㒻 8z.qcw^@,<uANcq{bIt1h?K_q=q:p\~/O#'b. IRwo{ T r:gBoCm'Ș$l"