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  < <9?,| ]]HOL-Computational_Algebra:threads=6elapsed=40.708cpu=121.356gc=5.956factor=2.987zXZִF! 5h{]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(D-:#%DEB!&r.9CL}ԩ!%xyp,ŎѭvYٍGO| 8Xǁj+ v9S#(?ض*D>vpT)?d'L2 ~$^$vh{3t%MzjxuOH{?};f:>{ %xV%J;W}Fa(rN~y#gDŤ ]FQn8{ղ*a 'gƧx9Ik{{]Yy/GbEiںc^N1qQq`۳sf́ʇO/c,6ϟwhZTՎl-]ޱ:-<w9IQ37xB4)!=cf lۜb4/f9hVA4_:bͦ@7:K̿gՓc(})#- ҔaFĈS:kӞlcɘJhl|Rh`E5X҂_M>L5 bBu,Y .Sǁ4Nչ~Q jI ~I kVPI> ^sp)h2YĀ͹B îa)lj(w8z#σL ꔿ%'\fA[uuK 5.`1o-*F¦& ? HOL-Computational_Algebra\섑'))ic>JwǥAhZQP"?6b4|r,ƾaH$Z8edЂVi1mkHG+롧›?Z ƒe2hLjqcqwɘ)M5F*6?3w7}ou~^ bюVC6%a. C=_OLkO6p'q^[ڲ~*u{kH+@L^?Hy[tHrV6gc` ;I6瑿I,t־2xX˧ůkT˓RZ< P{*oUAwˋa8j#)H@ 9ؒIIM70YU'wXs3/NP unld 7u@ %{'^]L 2f`)t'FS9iDqNI!4ez[!҄'x[2v1a|qzyN[D~Vv(Q])fפ4j5wLD&1]6R7xT+#{*cr jsZgYZ7zXZִF! ]ŗXiɟ1>H $50,g2S1{z8'5 q_,CR@ 4c>Z@aSgtVŁ@:n$QP>b(+Tw[gpG˼KKJ=mMebubL908Z"£5w0x<P

(g-R.E|g䶿-T##amv? ifA!8Dòӕ U!ג70:xHon\&XOI\҈v$+/IC" tM2>19[BYf.yEx~Gz@uTN!B=D>sqA`@^I c8'dY$+A0#,p&p=\v&?SDφuL¿*(ֹ^4w0,ӓ y'jכ8%VA[2ĠBEeowWS*ÙPڃ. /Ϩm*G)}"MU_Y9Vk]2~n[*λ2%G .3N&vbe;B|XZ >fhpxo^:QO D`5.q 1ջ`տOfL!W>l^uYE4N/9; NS.@R1|5.h ICrHD zDOKSe~xcnQ!ھE[$D+@K[8u6p,k_\ɯL29~jjz[9Pl.K1O)ٌ&=N$Z{owsIE zw"Ge=<kᒙ䮨cI">uV4QBǾqޤi^;%ݬ{CDJ3~f:Aq3ʓ*xTz$Ȋ Hl+/.ŧ˷q-tf?H͒=_G! Y;= mh}iTx H['ΠB1