SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  ,5<$\ ]/ HOL-Record_Benchmark:threads=6elapsed=100.271cpu=172.148gc=9.348factor=1.727zXZִF! ]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2RHid]}Vt#KQ0ƦpA v@IľD6mѰ%w@ Ib+ɯqgYZ7zXZִF! \N]ŗXiɟ1_sB2 ( |Kln/h/F<[=>|*id>8sjxIj]ON}YZ7zXZִF! ]ŗXi%6[X‚axN/JXVv| s\Ѡ[fatp, <DmK'˽sIVMR?(טCSq%&:o$snO}a/k!C_Z20@؋wAzD@SFpep96Q U17AR|2_K3=Ԑ)@Եfw`8X._c&:j!Qe*x%RDtOU3/.鄘K$@2АG>)$ ךM#4o G%t-MmIa 5 HOL-Record_Benchmark~zaRhD7>O]Ae-e4pv1%9ۼH=á,?],M=( .z|,;)=hT}+˂[=oOLk䗘ӜzYB4s[nJ!?#7kqD<fx) @; (+p~|JW8.+M1Eoqm7C92)zx+~I^OG6?,α9/nMWNY?QY g~㹾`sYoJB4{?X8-m=7X&OҖlw=sq,L$m{M5 ?J6CZ8+ wA!/fa3_ek(xkpDwW<6 Gm"v6)?1y+h?G )duۥJ@Fyf!rC(lKU_nB)c8Xj tD]B"82x/n(^yUͭW5}RGVaq-vơ߭6&o'Ѷ54'uW~!2pA@W{w" -lTb`^lV$6gsyqy /'JbȊih9BsNZjӭT(QDYcx EYvg2_JQtl1&u3ߗN5 P}M(k`"tf2׀i\cCXgS 2i7;|;-VfceZ6{.+ONBRıY?'l6Nt(JEi?XWZէ_)r~Pi6t'qn#o,SG,M*h;Q*mU.O6?aC*}d5xqIdrrfAnz%eF0]?' cY膬ks#6ؖ-{q}< Q0iDO!O@m}R Z{o}NVrtX6ڍx֊ll0.͓`&AvԨ"|937.I RXx@ou[CR xoy|I3 H Gzr+Pr|=wS{),F dj]~Tjj9QwGK!4e_z\ /Ex)dwy+5 {X=%hxLJ\28ʺ(-zմ3}! ler,QRT=6qe)b3Z-j$b\8 ٝܮ]ׯ>vW[to2 DX`+ CB{7?LNlXYK@ 4U[Q_Ud(lRsoJ̄"y0Kb`&_drq`"jbez$4)*؈uf꾆P|sl-iڊF34]?yW™Rh'.9"ce~ȪqS.4k?U?{jg,"˛42SU"4 a]Y&V3!$,O (ޛrS&܃zP L7Q4EͅAM8r[|:ۏJp4eD8pP&d}rqH3LR_kG}rPp\nHSe6""gkUghEқ<Etu->n.xsn-SxFC l9C*EH8B6I*Lq?pCe|/ؤwcŒOB\<Ⱦ05Al]d$hF#|ӆRB+&x5LnS;Gȹ10K&oDlr_pєv֔RK hҐ޵CDPD^yr.$K%zk2Ֆ^Z2~"8v(1q^2 cEN #.@BRĵ3럪#OsO`_Ԍ)0xj6˺e4;C>eL U1T(hqs:p ͬJ&KmDja_W%Ybj7EtW qrۯǒJA"#4"-8|ޑa,N+Xw=^PANrm^Jrs]0IQuj m]net`=_z92Ǝ{%! Zme1ؐQXAͭٱ !Te2Uͣڝ'T-@&ҧ+eqsCǫ޹SdmHH{D N0U2Bݧs wռ7n< l:bZ> ͨiQ}9eUv}APɪIީ YlR_ w&,?+| g-a^#H|҅,b5TX{lAl=&:r:S',o-b P`tqm9 B`neq-LS>3+tbyn脫 |z=c%5!-Ũ##SLi' @&ռZoD jfh{(dn[U#03M2eX&&%i{sY/q"N/+4i?߻#f˜?E=[5Q%hA2y-a#zZ3ML aGZ'l[Tmց`K8_^Bow˵Nҏ#(^̜!ӥH gYZeec1d59e90b178fb4d005a41b605e942f93f8e722ab6afc53332b0678cc77dc53d23f8f23ad3ce19 470e85b8ee0fcd8c2c6b9a7daa17d466ca7b3c05