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 776+ D  HOL-Analysis-ex:threads=2elapsed=43.538cpu=53.028gc=0.432factor=1.227zXZִF! ;]ŗXf1-q恈a.W-cFM}^ׇ/ƶ#j&7 wq6OD'r:uwdv l8yPS)iDkN]1yU,bs\ك"կkckO.IyiT\+V8Hw B?L WN`0 Dz.0W: ֪ $G8No=, GifS+Y~z̦$]#4 [o`8\K `a+ړ k + HOL-Analysis-exy@Tq\_%} :{{4rbsBZ*o֖M]O.OcAd-w}W4(IE0h1%)YV%{m0<=!XTD<)mLS`G>VF^ltVO.ATJUw"b<]yp;MO IQۭcF_ qdwCGNrny"xR,-)CdBI6fH,F:e =\DpSu76QA%.9)~zX$_d.zœ1[ڒm+U_# cC^- H;Z$ g\K kݡ)(QchJx7>uu,X)d B,'dsJhu!XAS-Wy=iib6<*_LԫL8xw$6+}E{Rjx=J$g^Ë *d2`]%H zVKCUJC#K/ S_}ψRɥ! 6UC tZNUBϽy0sxQ5AnXEׯY0F(zE=qz4 }R27TSf?Ӓl㉓Rw;C8%if2RtUa|<8{ĩ7Ω&2JexkJ@b`Py1bx85]Ҩ{UxhS~u5;8kπJ8f3D.x xa.F!">M)kGycOfGt DGp1=` S_x(f׾.5<-$Qނutv=x-}=u Ҍ YZM0wR<<jUȂ2E{jIټ7 . ~]2Ņ_g;~U5"/IAχ9wz܌9|̺A`t4r/0 ^P>)0hφhٲ[Kz%2|{1 Td{:oxf;S?V@Tד ?sG>6=tCP}` (Կ%)'JGaX'=asOK1fJWЇFy@%ɾXFk¡*XT_6XO?Zw)RONRnv"9 }PSMCw =撾ZG|XQ8\(a^$)_U$(,%J4$[_.Q^O t;O[ul;>7tKK)8G'ӿ%q)ĊͺlLi"hbkH/ 'AA>o 5 gqu?h7{eZ@ Ш3,GBȓ%h!$a8Ȧ&.՞$Yj%wS;WO:CIN$]48J奆q[w^J (=4X ?[Tg?&WgYZ2fa6e8c47879bc442610be7cd632c356ba2783b0 4d7cd11fe8ce0db0a7e76d85efe809ec521e811e 90f5b18b0285a34e484474d14119148ac2eb4a017f2620c3106ba8cf7d1c7f769837afcff4b3cfdd 67de1e4faa6c594cac8f83698b542c3bbb933a16 33b4111e07f03bbced07e7de9bf65776624ff9de