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 ll% L % Finger-Trees:threads=2elapsed=16.152cpu=26.404gc=1.972factor=1.637zXZִF! W/]ŗXf1-/6vRZZ-=X@ 1-PUL7J9k^jgG;5V`Z%i րu|2F-^Mۡa%hsr7 so{;NBiIWhCr+LЖc_MGFMW87C4 5hXB+ iޑʽrTj7`ziҽl^) s wj듌P'fadz|On  % Finger-Trees Ui~TU6DX+R Rc{0qg1\'w=]XRCuG8*mhn5.J$sw`{t>iEbz Mp]YqOQXq|[ _/ ˱QH^K"dEu .@YgL%__8b֣,iJQȿkl;8ڑܲy2ZY ȧ,⡐PʽL- }ߓ> 9^*2溈l x&v<ꔈEkdmX$og;( e. DӠ?:aچ:PM?6_k pzبe`zr7.%.81.pJFeM#+219I{zF^:662=5-~/#=Oo#Ⴘg”wK|HQ{o45u:; fpցwDj$)SԍL ?b헤[?\#NVYcN~Rg`#Bâ^߆żlEĈ#h}(b :O\% yN~|#s0F􌨠щ_ FzUeљbĕVć RM{T+Q2PQr~|Vٱb_Evn7Z+J{U]^yٟTb%;>dpQrHC^̋myCD=OʆE|0Γ^Rc.oo痢?;/.ϣEFRf8-R-(3-FOQyIB3J(6'@ae7·U gYZ7zXZִF! Tv]ŗXi%H*Rw/h{4C(DA:B0G(23a*P%QدsO# >nGbb+2DV-ǞP?}YEiQziՉH8^ԓ̮`X^Bs? 3a _]ڋ ya^:Ov+ƬDJUZܺ2[Utf{hB))[CWS}E1qYU&A4 Ck)Lb̒d:i[UmBLύ.`?c58}#`PǭlEņFA<ўpұ"%(ޕ̹_? ;6;-gRA0%1AüWZuk܆0^*G̖E;0aQJ7VlhCEyo8d>e&3 Q S6O| [^{DmLsChTÁJWS! 2nI3"gF?ZN)Nz#!,Q5- tLz~FPϥ'VUix2>%5o*_A~Aj|NrϧsAZI31hlΞݣs4ArOfƬ_!oP j%)!jtXm;xq \ϡQ;lK㫊zBi:e[tlJJyGC&;#ףQEme0B=9I1qVk-vl+Żb4}c>ɪr&Db“o %88 m_nO/GO3[1(8+C.],7'!Tz )gYZ0a25eb7f7cc33a321c22d613b0e9417fa2305b72 736b9a2d5fbcf5a74e796743a402a2139e08afd5 8e2ea0588484394bc5cce75549dfba011ac8ef96 ac569f73205503acce84dc3475d1e8e387e281a9 b445cfcf1c121742e2f172367878a61977cb56148c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 0421e1d9e7fe672cb0ddc4007aa564f9dff1312a