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 "' < %]Sepref_Prereq:threads=2elapsed=46.687cpu=71.096gc=3.564factor=1.527zXZִ ' Sepref_PrereqF! T]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVhE|wK]az"k j!-5uxKkԑw ԷWTns,5Ligi(Z/`ș{gR"Cu!^&PlSaJ1?( _*M;i>Ah@*<#mQ:  k' si$9%@[9!@w]!v"< b-螢}{(d;>Ni]r.NȠ)'R+1o_mxXenAS3*Qp5u(asZ i\Y sڋr| 0b97yVljL(%,{._[vRa0[X\ީZxc=EXφj^ަ( $c'}˓'1b"Nd4p\rN^ljA0G;O,k2̃kif8}}vh_L[fv?\̬85)odE] %`^$•U -%Y>0MD)ױ nw`?E(QކJGX-m[y^J/*uuZ ~9DFARJ*BwoQ跍} ,uJ=ĶCom![zpCڹ =?`QM`m0X ̒FkGdXۉ">K27)~IˊGWT1&rPD.Y^UЬb_0X~ TNחr#&Ӯ-$$Y _r]F/uq.:dհ!͉;3sdZ͟Mo6EmN6 TP`yrVQ|NP%E7pN\Po1sM2ڱ+Ki#4t r.?I`GUG3Զб'VG*͢lB4qz41YM>uG ̏pگ>{0T52֢ @!]wD(j!')87Rܥ)8 n!`SSV,WrA L` ? NvP0ejÉHMEVb8Tc]vqasZL-HV%fDI o!>9vW{e/d!{1vGl0zz8OPM*Nk#s.>UJw J$efc GJܾըԅ@6ꚆZy:X꒱͌>qX}JcD=p7p!;ぎ1au6AC& 96FCK CT]$@qfc^^47$00~[̴~"˰sH<-_-34o5뫓_/awiKIi3` #l'[☔=p5 `pؖQ2 T.M3'jpUX"-T:0c=W&k~H<5@ηdR1TcAI4$EkPzd  >wpyݟG mY[@h]#^rTI1h7@ZA19.BP̺m,S[X6~L;R{nZ$\17E#Ҵ C/wd(?πE N'҂'d#0;SPw2HO 7Lj <6е#u5.)0xl9-@^|<"7<7`kw2'$9M l+ >:le8ʛp2عngk\HrKPox_JM5Ͼ?ڞ*;bєf^sHh!3`Es$WS] @sav}kdIkt !ܐB2PZ@!3AA]@s qF+;lOc sy{wy|2b T+}@i2_WFgYzo"FJZfKK$6Eŷ@GMھ2 J4*Q{s+&:-3;D.@$|7+L)ۍ߸!RiY,41R'gIK71H}Q_" R]kOo햌̓c5fq>8 XiH4j2AL۹NWWQe]Ary#ǔ- MM#Ž͜h)A#{:mLzOw5#މuh'D1 yHpyEgVhh&_2@b Aͩ_vE9#ᘜ@NẗXKe>D$5r;#3Q'Kv,Va \[3 qS8N+cbOdQ{0!a4<67W'|ʫjcP 1pnI=jɲ?Fn{a^:jجCtzcHEQun&1*5MVIWY"O,U5㪪7Tj0P4qM.Fkzy=Xw8]t7a h*8{AR)Rۍ \d$glnJ}d{CZs`fx|$%Z+P_rPQB؁j NQ/VI. k]oޒ˵viL nyD|X.}8E_& *(>ԼW "skF@@dFb|fqSyu?#Z6.)Ѹ׏$+^^_K.n)h|7)3II\^tW'H z V dĺ%HFeSeKW6~jOIT袻O&墀dJ-٩ `3TP Bo vjA6΀p6phk.$xؒӾWkb:c&WItDy%ڌ-:Q7N`)C5LjغZ$`-l w QZ3?@Ȏ w&2e< kwVIn$]g/\pf&爅8*8!19DPbQկGG6TH%?R^^xHB>{Z˄Vs3v Uԗ]!I=ZhDE\cGeR]Ml,EFLś˒!”xD¼6x,sg!tt$[~*qix 1bhP.qe*Gz(>PF^g4})jt"Qk7Mk+i>7kRAAK;o}0NǮө:rs]ѝvDo,p:{/]Y5s3й3k"ށ0%8 8y#j_[Sy<6K ?Pz^ܼg@3k ?P7ԩkRNCH()ka)>ivfݓ:qq7i ) C0{DW~{> &mb%i2^cbtT8̯Ql|C7+su$YQxo@A5)ѩxͿ;<5EXY.U0KO]E})>𾫟m!FH3"M4r0t@&r[3 FĦ^I*Y1aĽnwOs :u"Rx3 $=AdԴP7r+ 4Z&W/Q:ǂ ك'ZAtHv=!;@%JƸhcQiW# ¼4_|k?{"  \1pW oDq`m rt̄~6?f>{Kx]b =` ̯X+o*g=Й|9Z\T LWV7Jg76j!tF4i9S^#u@,Gߚ P]&51EsS_R1Q-x_ߑmIKI\4ҧOldPBa9/1X8o!=-4Q{IZ}#7euHx@ֹf:la~Q2| ~]zH$1 VKgfsztv6D9q!dqXX˻Ėq(+Mym䠲EG Æf./>}oP 5BZI J&vh 'mhׁwnhB jpؕ6ټ`]+"* +jop5 xy+ܷ)|}Z`k9(e.Ѧf'<P'p@tyk7K16}j : sO&47q%qW,[ P,Ҋ0QVWݱϑEvO q@n/H -X\s >KMM@("?͟StG#)1`nNBӌMEI^Ԟ3PO~+:xX3R,h}gL?`aϘ۞8KX` ̫?܍0v"@Lo+h .oݱwQ?|DII S;z|cp"`xjRQm(*f%tl[#5X1+cy HD\&wPCPGjՐeʻp塂.ͳKW7:PAft}°7ϝd ;TpW p[|n1>} e!ǧ֬G3qM)lP?5ʮĩڑ