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 i?,\ ]]HOL-Computational_Algebra:threads=2elapsed=68.044cpu=120.844gc=6.020factor=1.787zXZִF! 3p:]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(Dg`5X$9Y^7`LD`d\@;S1qlhTHgТR(X Ģn1%$YAcbk | 5Oc(qj~x.«|;2@f wDH$M?m19A]zќ5p޸u۲kHBzVK=~e;3+zO$懼1LqT+<.nG!x,Ip_S \[Cذ17{!µ;." "GiQ!P ,R˺`z`ծKQ-pJvT:#*`y2<5bzԧCGp@NVjnyq3GՐ^-x @)1Nӫ򀵒x O9G9W>1/ \}] w4(FȊ&Aiڿe@cpm_ͰLJ'>>_11ùWc E_3cC|fG#wB 5xGkWݨ8 2;FT{>|Ҁo;SǕI 5~VgKq)&GMCΡ@#i- !d2=>0R~Dcb !UA6!?tlvp%-OL{|ŤsG fB$+smcnk\Wbh{W5`\_-QjBWU/D+kb$um}HLm&#O]Ϧڵʒћ]Ro~8׉w]OӹG%*rZLK7%{>SE7]2c{~E)Eִ f?gYZ7zXZִF! ]ŗXiɟ1JbHC^DZ,>[-9PS| Qp*z3"VT୍m!12Ā؞eǓi%sF ,\ Äm 얊p|P\nqM!҃`-Kf'=GhR'^-{S^Q2*gyF R) \MotOsX @CԐԴ W:><.79#㽤]i5E-]X]γDݦZWޏlsDgw(K*#D=Vdhr8U#ֶvYt;%]e!cyD?ԐxSf*)Cg/^PC WmkBaGƛ;dj)<лZVԑkq3bB}#i!dP:4-:,_fUY>,exY9Mu Cb 7`M 868wmYN[7kFsb2;؛5]2G/^|"m(!e -Yp&7f]dQ7V8,Rng2-"!Mc:+;>mz!6Ba&0,>ehz3.锍vw@~'R?kQ_B6[=!,vy6r[1p8.E6Ct6,.BU_ePwr"<;ŔJB/EgʋM<c3F* ەGA9mGN'sQ5;KESt <V:U(3l0).vlizAIƗPE, °zOg2ܲ1>a*(ښB]|5`QasU?aCLtZ;BBD(i%GvM A\ӘxfLPM6A5j2p_^Ծ_0vاn`t5*ͩld1U@BymqXg^98~jLnU 5` qfréIC|d5̓AMMIxٴ Ǐ".sLc8e^n`t;чgfZq}+1&.VyoƵ n0vD j@ˍejݎOy |(VK04qK(t S~QH2uyb=' ,U$+SVm_WMN'xC+f!c>ƃҵ;p2Y},[⻉ L5>9d"ivY@XItrx חxZ*.WHz\z3p6J V QYil12|Q rЧ Z#FYUdt F6WW9]ư]1-el($y(utҗu VϿȼ}d {0T-<9)37<woG~;myؽcg|v^Ozw33s_+,#"uV|90i?H[,sa@ZZ&Oy[m}wM|*?a*|>BI{o!Te2 (i],5N$HxR!hR7eZ"B+- (|I-V wq ^(VMo$F,V3hCn.pGw`6'7r'T<0;-(1%-3raVRyfO8dw5/"ldMF{__X0'ZJ}@~ZY F>DT5ɿ ")|M% nTFy8[%z"|:@Hg_vӊ iVGfm'b|E~A>yqd̚ri-~>&~쥛*w)RZ9nb:̧x-b\U7[~ҧs4 }EN8wLWR{hiaT/f55d8c0_'*@q*̒4C[ Ld t^{uDE5 7JuG.N ܤq]_-_X:HAwS N5ʮJo om8/daZU2|$، %f[Q 5;˱LD>>_{f}a:1x׭&Nz@aY62ZsTY᳉=A-mD`Wۺ&N=DH}KGo[xgIJ{siY `vuB3dEuIT$9*X scXx GZЩ4)9rb(g2XG|wwхig뙂u#",AI:G&N[3}իqdiZrEgYZ5ceee3e2cff6981fe18964b79a79ddab21639114e42b3e1f6b1378d353a536b3bfeb7e98c73ee3bc 976e5be91d6c7e38fb802dbd687a708c831185d2 a63742c749fa990fbc72e4972a8e6e8298291f00aae0c9a31cfc48d3d396a6f7eef765b2977f3dad