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  ?, ]]HOL-Computational_Algebra:threads=6elapsed=31.987cpu=101.152gc=5.248factor=3.167zXZִF! 2D]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(DUdWiuK><.?!5ATA3"DM @nw(=@σX3reEza~ &1mYXu6j{9PydOٹꍪCu\t"x=0gk'/)@h:)؟']`d˺-8p'.ec\"H9@Hxq*R{=}K'!vs~f/ zC;u7|_+ ? HOL-Computational_Algebraz՝_6̎d̬Tj},0"7 ڄ"1 wy\<[rX,Rc<1E_3gn726#XFRtb-m=q1}('*%:Ӓh?١L'ٺ_1D0$J^EoP\j&_. y,WknFI^%{ގL$yD"ǽR3;iv* >F:< /-*f +>ed ȅ4,iC!gO-zl6rV6񳓪%;t4-Ϝx? P1D>  _(4U}^N Tuh& O(]`C oh7|ʞc͌Vm{[-AEG:.W0`<">li计} VL)6ht/ ׊#- @wd4sT]e1u}]R)e,-,៑!5W@۠x@vkP5e ;ᗴy'*]#8>Vי1ƎDUIsIʨϩ/E*+sU1Y ;))Q>*h^Ʊ"ɍjF^%u\+sDaç4# m17QѤjv=(?rJ4+/8@&CB>֢ѝkP8]xZFΨNF{"sya,P^.p.dcp+2K~9/J@67R!s\OՑۨN,4aPNi@ OfLE+ OMcl=Θ壼,p"ٯW@q ƹW E8l"Ǘ7[и-d O 5 AgYZ7zXZִF! Q F]ŗXi%G3$#7aT r+(G": ) f:9ij>ʧmy.ZՊD2`vҢpJ5nDJ J{ Y*VԂ(߄(#꺒Q ]jL_sܱp e`6(2ƹVY5(JDKER e\UF3ßx;$\lH 8}ZlCSK俰2b<|ĢAd),Q|4+5,7D /H?8+̺@@4#pMǹpSE]@r> -fHj3զn"2~.ͩ!PYlV-m꟟ZK˶㣙vzC?γ #P-*/DrlG?+3>[^\=:DFj\T24ޫS,;;:kM3w`e ?*$;9yG33' $DNH^YEHW(L]9\5hi=nz_ 3H&c ,~ W TH8UjqW7j-16L^pzD7iEDmT-CV\'Rgr3 Ug b}M!}pKK4?V0 Pz1 ǪKb="o>W3ս|lDxw:ۤ*j5rLe%"$޵ZGRVb0"^ݾƤY[kT )n3ݾ `A[C6 1>ƜqB+l7 g Z9GC9 ԪL'޽a, J 4oSWŁl) <2b,7SWJkxb01΀U]#ʷOּԼk7r7RWKխ|S\" Ȫ"|͢{iI*UVl+JSwxh`rz,HYUf ڦ&-Q 4#AaMhMT̕Pmʐ ϩv\PoΫ`xQ; ք63ܶ l>ԑu R WW׹X2@q]JFwXf,=d3J;B@^K;ZR:. KqV'AC'+-KT>b2VX%Y[}WeCvz Հwm!7[{9G1wPSS r`$ܣ6{VnaP?Owwޡ) Q^9v,nuǯ~]wsa f,JB8B?8|)u5lI[ ^ss4̏bqEҪa}gYZ62c4ceabdda8bc6d16bddbc37781e6cd8633b9bcdd6687a512096fbd242a18d446c4b55d3f2372f6 a7edc0dfd0db9e0ca7cd3388f7504d2b7e824607 5c678e4a838ff829b19b28b6ec73b6a65cad2c1849d5316b23cf5ede49fe3042c9a703029d640242