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 w)TT ]S Multirelations:threads=2elapsed=98.194cpu=119.440gc=4.740factor=1.227zXZִF! 1d]ŗXf1-/6vR[lRc2qJ)=?$~)LX8igRNKe`du5\ 7vcڔOhB)ghD3Wia;)QKe0/ -_579{O:gm:N9Ƃ ;1*ܛse!MKcCD0wXhRg.Q->m0 FbqҨnBϊPƫ\`ApBg qP~[[1&衝|qN!D;)h.)cjUSXn )=WUL >a6 ]SРW`^^~@/>Б:HbNfG%BV(S.,]}E;F)|RbJR+Ef}퇔[< a5Crp4bp:F)) ~]o(3%Y R^l-ռ.~WLz\ %6J`!k5p[_{pH+4wB8?<蓇%4p&8*L2r_wJ1;qFs3q>A:41evei R%gYZ7zXZִF! C]ŗXi%921¿"); Lb(eUwd!.4ͺ|%bIVkGs U܆?џo4/T ?$62;kBA$cFNFs@Ԍ 2^G^%wd42hpi;d,~ k㐑J }Wn.b588ZbIxU̒CV op< $Ap_ cKnX ׌Oa[*9? sB-KrB6{u 5E{d IJ,^nRRu2SVHVgш#Or!Sqy bsB>jͪ:)8 b3Ylz(6H*$WRk(LѠ\w>bԨEBd{!pH=8=eܴ?7foஹLaMύm9"d~rttr!^H hJt$9e$( ]ίSS.N#I#UF0x_Ü$ϟP.H-+ZUU\/#!JSLjNM_TkGs5Źer{2 .x1cSa$I MR=ן2P<W|:kGPUG8`} %^/W}!{jQd[M QraEB 7:ҢWD/Ssiqܞ?\Taq~O9d<ϧ3ͽ]!0r?;^ "bX3PaȬom6jyݟ d+a膏*@wP8ve(zB)Z~Yl/GņMO!H^0VK>7 rխ{OK`)GJh4ta eQ &ar An@4#_[ L))C+|v:n1䒊)Y [u(y(]dwԓ4@XȢC|ںqk$X?9WH@)ʦ#cFF`36fnJh@NKzƕcII4-$h [˩>]j 0l1>chՍ<5C'ޒ&qBK!qy93C ٚVO iɧ̠ 7 Q;u։x3$la^GiBn}iٞ-4:q 7XI2ſg( +0ad_EoJ^ ܍8@[DpłZ.ylrE̒8)ڈ_jt\H.,)u*2>(i뗿nW +(چ^5j<_[i)sms}o Ec.ٯ&N SKBR"G/ q^OhP =^$`mo܇TC_MMo2mXMzy^D&UcnMP[`N\RYJ; +eJEl 7{ qP-]=D !a@ڶ 7V/>_@,dsE=N<)`@&,`d@soQ1 .U*n䀒#?w L1(47^;c^VPM֐Q,!aC<~y2Wvd [|5O/7eV^V7D'~u9Vyȝa`AC %L, ƕ*[&QD%t\Rd%jì#9vӮo C* ==mн$-(0~^d<jV1(\SD [;*?k̖#?G0[I6c8|#o4 v6N k ;mބ,k*'i,Jn({7lw58o*.V{œu9Xy]dA'oҨ(k@cwdO 3կaPlvcMpKr<<[$$ /'~;~eO]TD}#/zMᴀ';%͐Ƶ=߱V՝י}GEd#M7R)dnt9TBR?ZMѾꀭ``k\p!}6nPך$d[pkX{k[KmQ1XBN&ǂa}7),]6v=Ÿ /;>x+/H<1Xv#^+AmPF5Dc +u9?Yuݫa&I{l^?