SQLite format 3@ . YYQ77Atableisabelle_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, "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 eeI,l ] HOL-Predicate_Compile_Examples:threads=6elapsed=46.944cpu=150.808gc=7.756factor=3.217zXZִF! y]ŗXf1-q恈"3UUMѺXQ55H&Rz5M:G(|Y+E a41F]$[(RAET?B q #pw7oD?yJgIY1@RGpt qE FxckښNpa~sezAs7%-.Jr8vVE2TUIM:z u>,˓ME䝵iN$=Ud'Jm/6q 2cty|Vzo8xFV}߬c3J;:$d w!gY5YץHIdAƘoddZv͈۬McW޺Qo{l39-^UuRm =yV$jC݌~ FdpEv K4W(Z4_m7 V7ĶZlkw/IS*sIo+z$D2F#/CQL\ 7>mTY~44c3Z H1=O&O# F`<䊒,5+9af*_FB7vp7Sʢ_)>pװtB;YgW$!B2a<ɳnBm5DxN96Y}<ydr^c D!:Yd87.?Z{ ܋>0 -: lEHGN#u)l94:ƋgҮ٭IHi`)JO3b?G^*xe0g1ܟI."%,kMSA Tg#硭2o/vA\MI'~+i.*[PLsY !.q`y8ƌ]e!"I/faj\I2gv`.zB~[w5PCuM]x$v}K˦(c{aׇs1@y, [ɹ޴yM~~Z وXHngYZ7zXZִF! ի-]ŗXi%6Ay?͆`O~H=>~09Zhk71^*9onjᯡǿorK0 DdTn呲^/w/`|@Y ,qͷVc>Z3ЏUf#;Ưݥ^|C6BcAlLj.^g4/ivqDQSǖ.+벖q\X2|tt\fEeOZ@5JeUD,b%ύhli LrѬχ d> MZt4-'Q>C3ٛ)1xҢ.B#rH0LQз=,j|lVe:m("8sb4nAFc 7cU E\o~ %m KX0Hd`UH*˾JgXHhףcrXIɓǔsS9Ki6n)>0Č {syu 2Ntm(pOSF=IbWJ}+ Hëe#L,"VA-8Gfv(u;LG$ ny6̱'\t>Sl}1ukR0o S>N7}GѼq Aנ%CSk'HwX TXU?E;{yTsIGXD^3&23'Β{]ś89G3&C@MR?s/>ho`OM>haKlJ>ise,!{}v7N6+/#ȶIo=dL7}oSj0h$rB-ݐg x^S{>afh|MZU$݁yddgrg݉Wus,}Y%^gju6z0]bvi$kFZOHɟn̷To~t7Bf?n V>o ݖyY4|.(,hW*>!e tM뷹Nb#Xd`5AXw9 =Jֳu{Gvoߟ;Ux|ƁՂ&:E+Zƹtΐ=/"Eîh*S"<1xQ2qUKmJWu+7a0b11|_%$R̞n3¾ uDfp73暀Vh@qے8M t`. $iZPӇ(f"٣L |-yH:M&x FE'Ue=!Xl]}(ٮH+C [&Պ/PH@cW YWX@ץ@lRX.}(80^^I'bO4o4hHulg f%JSF#9 A6}tvеifŗ&9!3ɛfW/_ QS`]3<:`;p4.>gS_4Bn}^!i*~ۓ6ȒCQ[XS=}W橹g%nGGv3 &w2&xTd&>YdewwX&qx$;2!Ƿᮚ! r#MZ_iHH[IXz.L L:oZ"UF&] /5Ш?a~쇝_iv(_#|-lbu1Wg-@.QMp(鲼1;Q4F; )61 g3w[eωoq=R _>A641F_`{YSRuR>Lؕi~ӑt(`,1WV#v%zP۸>_1/gyܞ_D4qr;m}`Ƥ8y[͕GFCч'g&OTs9î rIEl/|[ʲO't%vK{-*!t-uڑTN z6UTA:3?n_|-p 7mBսCɟO׶U3RߖŃ 0vwgs>UNk 1 TK %$,Ժ=zL.1"+>CRbf4Rt@ü:{7b% HW~kkQ6W9O:4ye6?t`1i{ٛ,6%ӥ6jQS;aۻWóZj;O`(&L}J'<̻ ;6ڍәЙO'CP*)oBKEO-ۿ}^_N4VC,2菴 {xY$*19Vk^[ڪ3mZs=i>S6H@>*/b.Ճ,y3dp;MrZ?{iO %Yi, QsxѸ>^G޴,4SƎ}-"f8ו3oD|IIӖ֐~8K©m[i0|if ư2ٰoɏNOs Mc:0@t?S}T1_kCycԭUY-Z5Gב52^aba7L͐:穭4:pFɴ+^țtg2" K$m*e>ΡlgNk ^̺If.^+W!x@>{8|W.؉6 ndzH PQ41X޷|k⁏Ժ/jVzHHU=&Rq|P;yQf2Yp{>  `&AZګ7!=Uhad5ы