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 44A/ L ]/ HOL-Proofs-Lambda:threads=6elapsed=135.478cpu=165.452gc=5.848factor=1.227zXZִF! I]ŗXf1-q恈ܗ4ޤ9ks}JspSm[ wy]{Ia?c@%pQqCe G(["-l/+mINjY#~ez9s[$Mj7 68<\{SQ7C FQGi+_ws[Ɋ br:,j|a^*5H𱋴~ɥ p8GfABpUɱgYZ7zXZִF! ~!]ŗXi%6Yq&Aűu JLxaѭ2|L0!}}>0ـ8CvH|- *E!wMfo@UcʴD؈"¥|;J!RFUx" *j9VJ<`([Ɇae Yo]}xB-G ?8/% :α> p $%iz2n/Z]GiIڻp^qXCn= uvVU֣'*ڿf-hd!ӵpasGog.K1}53-YI3uI]uhyod Lw0eUҡ)y{|%D+Զʪ 9np,>9Jj(&GJdQFYNhCj=ZߛK䟱DCM&8X+dV)75Bi[}dri"2o>6 / HOL-Proofs-LambdaK3sD#8dhӔSE K&ZPR{ҤDGR}cOI؊htnWᵨ-@&c4T=fݷǯ^Ӝ;xU"hok~: AE!P2:;q0qڪ|QlslkN1驗0f[ "`xMuW3ܪ`tW Ou{ۥ <'_PoXy0uW5F'_zr p⍠* h|w,$`' <0wD)NTI}Cln =`=@q/nG__ŝ;D#,[[$U]S$^Osn"AGRl`:8\ g ^JL4?E>h>Aú&z0x!Wr,D)Fc>u +]oUND5Vm?SI*Ȃ-"x7جs l!CQQk"$.<I;/xORlL "cRΚDO5n+Jh: r$:L<1Dx ?U{=FM&.5K?8c"JzF?%eW,C`.둅V JO0[pг6֗n];@m]ry{a5\qUoM7Kzt J$,e%xee Ϋ8a`%gD I$@IspBg_>OnHZ~^(}Zũ0ɵV5ɍJ 9oyN;!s,{7h-`}ao~^@E^dρxw6ȼa\= r`a`X7-gX]_J;eDD‡Hc[>3 bM DAxT:F90^pU}?5./1%,gZ7戬 %>Yû "p7-u}*g ,. I>Oez1L-)U)|ZPE÷sRU2l%l"-X@x@F (~{+zgО.$ݶG sq'4.}37\_0KNy xйǁmfqRuqe8&t?b]yc -{IqQUF\'7d2W?̐)fbwS9x^kIJR+!u r~'Z/P u*ytZ("[(myR8_0^ 5:ܱwlzv"4F2/";;:"ɒ%V8+IW&݌iy\@{caL6( E<2gؿkz!1JpWvD^NUX*YΊŖpǡ @8p0(lw1>#o J&iGov-28 EˡBLb_`FF'=稧K*diA3^ҹe j4(!7._yuV4$=wZ*PZB*5UJF݃,yrq4Uu\ǮW'DNvP{u$5QkJ8ԉ@$5(Er&J\Ǿ@ZUO1 }H8ˑ D#%9G -c;*+Aу;N*\&o2)jak2%pW(CfjRD@%yҴ)Pp4.veB.{E 2 c&W1P@ 9~ãn.WUC)XEn q=GKBtn.AWMZūgwuҲQC<#sQ%#sDQJ4G;ن )ɿyqzsDf/1ٕ D;p`k"EpeԎ (g>ݎ#ÿnIX%S4%xpb䢲;+.L0..jÆHblޏbc$a!y<_0S3 aܔ6jő̠ DćfX3fV%RÕ;2* `ez|鉗^.% P^D$GF\5Š#1'z8c"7s9*/u[jȞ*a׹KXQ-p%5v+=*Z bïޗjY9{l@~p]O+ Z~;GA]sQ(Y~/PSbi>T?MR-$$+nd(Ƅ|&7t"Tݘ$MPy L+&K>͑=uzmqGs&?(’Ui7\ѠZDIuiXa9yv2*Aʇpw=BLQ3DIM:ar2TYqYlhOYpwtG)E=eprE*i,;<H13ʮ\~;xnc+@_Ziى ׂڮӿ?/[Wi5#/_y5|iJ@->[&"-Hb8Ba;l6?f5#5j W/vTk śGӅ ܚvNgdtWl,U>7HRn Fˈh%nuO̙Wu:zi pfp]/|y.Y3ϲ]j[M3Pw$V֘p|[b۹Ia3~I>+gIݶ= N׌O|ۼEjb ݖS;N`2`/ƞ,Rz=T,[ J!'so bBnh>-oc([&|zyzh?x%z!u/u