SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 554) l| w Binomial-Heaps:threads=2elapsed=21.367cpu=38.676gc=5.740factor=1.817zXZִF! |r]ŗXf1-/6vRZkc- R/{^~|D/=0|NS+k~dpFyrm M8,҉`_L%!|t"0b[5;hBX5:[HG==Vr< [HM6ϱKqUC5>qs4oA#s+U)GM#,n& _1AR@=vYe4U~.jCn{L+Qk~kԉQ\}7#JWszõg \)bz=乨M"L -$[IXgm4'Nbq/1}T=I<&j) ) Binomial-HeapsyO틅_1/"X6\3Vwȼ`T&H=&*23 >G;2k͡90)Kn^Ԡ|k5JA7X:riv !5vԼ%l.rs/2߹<)jP"F҂q(iV.7+nJV0[\2!t4W})( O>Fփ"2yS/ۖ0HΧ{ "K#wWu3tT4(59DW gJ"W8K8IψaGZ^8xMHwnm)ڝJO ;<[Yokj*-\ pJgޤXqa"ڏD24: SU,6CW2텤$ÝX1teg^A`|xW#*tN!%& Pю-΅B IX٪[b7)<a:[ j|//G.&p^@֩]va,KH/f:6w"uNOUy⒆Fv"i,G@L>5$ե/KApXZ<q`P}h6-fF^Ǔ?(x+% e Ԛv(㵙pq Xllf1#J8$sؔ~YF?^Cq,:Ԗڒὗw;,͙DWFn(wC((>0,k_ @mFo_a_xY䒂ɳy* JWe;.H:߳Vi{/&rjmЫ2ȯ}<2d*`V[ %T`mЀ\>^3~JuY=h꺲_!ODZYA8TqL6A&gKÔ"VбSeuou`2%!!,pmMXxm/5̺^ O1+¥vI3!4ɞI.t7c\ՠI3Gb7-o.f.oNѣ(O _K}9NMDe[ߡAq b{hâ=7Aer|Y̬.5 yۑ>(¿rr)OQ{$&|f#5Lf&z{IEn?mE5DN<qOe|LtHҺޜa*3F?'43ft6~֞ʡMw?Tf桎+~r7X=#02?ʷ\`^>L&/@/s'mI@ '?V_+˓;Mb}BrI+_̼5u똞D,`4ٱȞ g07h=jE,={^,bs;u H7ra)"H* @_)nGJ'}$V WpQE :Ԫho }+]7Q3x6T#g\{Zoüj'awJNmYi*g@\`e%+ÎUAWn9"  @$\zΙ:tcЧ-gԠ0>#n>oHD_ `W@GG-JD^gYZ7zXZִF! eku]ŗXi%R22pqRnDh|8\@½ ,y*#9(%Kq'C'{O$~9U=~B$>D@VYs{]5)q[?{wя7YW=45[Au׊YPXvuͤx|K;7a#k|(8(!8 )r _<#U[OR XJoxt ,=*೭H\oSTS$MFhܨ:Krx}kLJJ]-.DMqw֠}*=##&j#N7;$$}I$6 <,JV5,d}fGJ<(7n7pl%8Yb%eX2{ދ{D.6Y>Xm@ @Z3vWzT (*׋Z9[tHzL.ɹUp4z6E62`0S8%"%W^E#ڠkȋH*ܤjG;ܲ7@{CDbv9^A:IjUvTm2ٿUC j*sq# a`6u7Zm q6 c#cO{UM7*~~RcPm>ЭU(%h^^Qb\:dSԓӁM,E⾗J.&wDi1~paϛp8 FxX=4 76w%W'c| j5-'ix;-LQ<*s,s2֕Y.c@WE~D@Y8IB=~`Q;T7h\~)yж_։5S4f;+w$ӭmcQ@ EwsE[ k {Zj){"4^.P ÚF_cXB>DєLNu(o.5kӟB=f2f-x,@hZNJzw27x _[ȥZLa$!;||s1,κ Wn7'He[_j6%(\X_Ӳ0Mc9Hu_)m)tM9{#ZƠuڙ;Jȿn+~ H)Uauv/q%pѼ DۺuD*[@Cxhebgz'CtKH&D%8'V]Oρ;FۊgЧX,Ijub% ҁ*Y |حTE4O%.msaMdG 6~;tT8[-mLaR">ES‚ D k5m8ԇLTsU)l`sd"gbdC K&/J} dQD/m/= P+/8)M ޙI|_ |8h ĖQ#E5jHv|4$Qh:;  ugYZ04eb82072791d00976062df95e35b81cc3afc530 8237bc5dfb02f79ea261a0d43f6f97a2b579ef75 add258111776de3303489072efdb722c0a076586 ce9e0d90f61fd3a1a6dbb623320e7c2ecad3783d e06a055435ec8022f1f9b84b24263a790204ad68 f0c7a41e25c58d76af306a704e264d1fe7fef48080f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c