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  m7,T / ComponentDependencies:threads=2elapsed=74.414cpu=140.092gc=6.832factor=1.887zXZִF!  ]ŗXf1-/6vRZyߧ{nOJk )'}#k V}]a<^f!V{=7~AbAY~JzVjyx[6T!pZ?0K&bF%QQq]_z0.D=}U<8~bOLgm1dMk˄Mdù1͒>`f'Ӻys nU'k].ݫ mU6P]2g+`?EOЕ_ =W,:Y'7FƷXP87*&&1.leW_cմbԧj 9pOЧ_JX=wVOVmAҸ)/AE!"3}*9x[P=3z5ןB_t3 fGN ffdjl{dMA&gC@_He<} @6MsVk?w7 hRJKg[ө֗ir{w/@eAe37}ٱgYZ7zXZִF! ]Uc]ŗXi%6=Cʍ0/Qbv/{*|jtQeTdQ6h4PR;xT'nIZv.+gmAO=e  M_SI@5dq6~j1f%^ ,+ף4MsfЖTEu?g^oPV.B7b-ɒBH=C2.k(ޞ[yrH12ZM:l`"}ܑ ;ݜŌ5\YbEH?"¶8EpO r0a3/PRUG}FK{'uFM5@|AVN d&[t1AmEiYk`=?+,kCdI(j7%u<x"_/zWؿ9.4c՞#I~f%{Jh?J=(>8v']-`T3(jf[A>g{aUYc~CtNP[s?ʥs$U{F&V,j뙆 tr6/9#Ϗ& ͮ?wW+:ZAK տ޹Q"9)v_$/DvB)(o1 7 ComponentDependenciesrx(q6O-c@G&rUkȤK_\׀jpRarparg0йǖI7kl-6 P~3RDW"m'~❁N<ĽnVNZ ]&\&x!]y7;~iqCec@:zL/$zk 7Ox7nM:"ʡ^ztoX|ȳC|!n䨘wf73o|&_1xrѷr .x媈$\qV*$J%xTЖpvb]Ϛ\vꈁGGZ6>tuȲZzĦ/ k!nR7NeslPoR(_E˽A:;bYQexK |\#wʋ^<#LG D#PAෟ |͵ჾg06q} #h4AA]fqM/abs:.D$܍PT?eA51vӔW킎aEQJ&\SGqҩ|*l52rPd5VC6BWn8 ทIbS,xt)J%><Jc{dZg ?h;>F6 (BOiO C~!r]9q+ PbޗyA)Ʉ<87m ;JTqZ@ȌΪ7H\琿Vdr/DdEt!'cc!AD)$e4`{3- $+V? Iʞ_=qޏA,ДNu#HF?| vy͵>dBSDJw$% =K:whbidѣ)8k ~)K+N :n3)1}y)b,XVJ.>jD'~XU=0ކB|#!0p*4"C7*OcbȥeXJ-F_MQF+vxn7獟A]Fv8"(k2|;5OC6s]CLtjh 翻l"\[Hm`xշB QFWWԘ;%P3WLRP`;E_Sl7 Yъ@<.bT7M]b:yo~Ἐ.NJ xҽCg!!|Y؈qүb+ Dvͥ]A=7O ݉ͼX!zN m/;[vz]Hw{<".;qz—SwB͢aY旦o=NAlKa>bB#E {ڬ,a1mx[U Q~`g^ǤْRͶ '{H+ k#n|?R]5 d@Oe/G#@&8WIx"07im9xW̋׾K*$x#y>.:nA;n,xu?%+aK0֬-)o2PD0ԉ^0Rm.AFVJT#!wSjVi(bɓY*M\l9eUecQpZ dLE}c֐#k:2NΓQ4u^qltChKg|“_t%7GETI٨a=m8w0:|";j-lͭ9(xE%LTsђ+G"fkϐq Zs䶼%I"6`M:4-;N"=[[9Cy1#V> ?Y6HrT6s45yL얜Hqt))*,QkXվey)4/l$ϊ׬ÍtmU(wT:LMہ2c-N΋W@>O|0[ׯTt;1]y(Kd#mm0](;KDt%{gvʞm焎EQ—=p֣F0ɻ&Z,A]9$dɧBFuDh9iMI[TEoa4YcC bδ=fKwj=1@y?hkL <و1>WN#m$h#uisz/fLr]#(Y9 E4hzej |CDxiGQ,;T{Lz_=[jO,.$fRk)_c_x IxXjƲu8, !7oHZ6-Jm t9*1 =pzKXV7>[ Ƈ?sM7L3D+byBRlT͉Wx?OTHDKPMNJ_G"stOVs:M繖(f.IQ9*^ ǛMQ0Y,'^kQ R^W݊U˿Zŵ&Y<CRe]6,xt]' |h, 8b8Ш)2lX{ѐ J,y7icUևAl?)@AG#oMvdGl գ-R.p',̂P!ʕZK2O;:ːn+#slz3?L|8̰J8(}@ -ДkVN#2_mB.R7)QLeX.l!jjRQl!?# nP%>K8oEUiܲ d*EsfYll kGtNbҜgJ,f\J(R (|Sz|7 BP,[fcѱH2~ x䖉IhI4$l‰ƃUBPQ?{Qyz "7o!壥ܔ@UnoߟOڅ0鉮jC!4[3/Mݫ8Q^`ΰ39^`s&y-5g^(d6`__($V dR`Vʚ7zuz,IA ɰWY#M׿f܊0CO5':ceѦFbaML mD?^B5p|@zfL>'ߌUJE8>jRGB:N8ʱ4DAD&M=׫j({.P7  ֺ9PgYZ26c733d2ca38ca397bc4e6d0be734f30e1b1e554 3db12b56d1be69d6ed605c90697dda259182b397 49e9f1f844f037ef64d21d9f9ba269314b3f29cb 853ab616bfae6802e0fc7922600d28b0a3ce1f38 90b06b6a717bf0e451b8900fc1800a3def831408 bc360668cb496a7bc167eb03f7fe8253a9d62618 d08c35569929f51ebc66d7daf2307976a0808b29 da06f89cb08047b16b2cb6a0705cb5c0f59619a1 de6876367339b6f2b26e2b7471b6a3dbad6365e9 dee2379edbf45528e8c481439c264abdaf122481 e3037132d95634fc7dd5de5b85f97751e0cabc34f0df918d4045ad6c60b23213b65e87e41842eac3 2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71