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 7TD O HOL-Datatype_Examples:threads=6elapsed=83.695cpu=305.304gc=27.580factor=3.657zXZִF! Rb]ŗXf1-q恈&!&ʁG_f @lEZGwa krju\ KQwMrT3[L Ll$ɉfKu$G᠄]\&9V2h>On33J#?"uW{pvha3Od4[Q4`n= ;) ZR3b/#٢ 2dJY3g}Ib_TSE[: X̔QeǢ>(Io%[L5ѧ1*t`ݸ\k@@]lE* 7 HOL-Datatype_Examples'e*C\WI$i;MM54$庘:(qqAr'^SgB(^ry0oEdRU,hiϙˏߏ'@M<*(>NHġPֶYРQPrH'կ?-!03 "Bo)n)Y( A׿&S_+.'6hHف:T/(ZG"^軦r-tvpq&l:Pڌ.Nd5 ^]Y!h$\ݬ&>5Ȼ^vcpn=r'!lxAi^ox,IXMݭ%7=}$6 Q hUP[c=Y4Wju!J/)gvKsn`Ng(0oS% jEξ k* 5 ( [+dit:.١: $a lwt,kay{%PoļVGnYv ~ݯ4rjf~]y()ӆ 1 M>բ/nNy&U+K(.If uGxL[?OH,`2 -8gjZU P:lI.8I`P{!dž-}!QDb+XN :#Ĺ^[=JPf!V4 {UpX2Bϫd 0b+lj;$!lpRL_9kywiWp*.dfGֈ<S(wRav{zE7N0}|xy}Tq6 !|-W"̥Lt=&􇬇6rahik3S8?$yu ~EgYZ7zXZִF! xY]ŗXi%6tb &T6|!v883{{.]\j@/ĤȈ&"70en? $DH #V ڦ#Rs=%_c/-4qSqb߱{ԫ *Ľ/ KGb Cz_Ht,Z[О*u S+LpԖtL)ļ._{NYK8s8c &[S%g}36xuii 45^*f^r:g%[%.|ct!s&!Ў8:P*'臌2~\[l.Et5专ײ ts,8fks(muv<)8yhE#}~)xF1"8MVtt/Z= ߶=('N[ JW 9$ U_ݻpk Ϊu qh|-ta\Ir,GX6ټKGX0cX\j[섫J#4̧ ذXPOFi>oo}hfY_!H{=C]~^q8b~N23I݀dĴ=a= Oޜ#6iIgƍ#爡FqsXCVHGN8-$۽9yAő%b423RʈC2m?U7 |kURT3Ǘ;:(wQM!ϞTK8s@MMG%3X~F@~" wHihPUbuܯPQNKe|7-ݱ8#[ϵu29V8!cٙN—;{eǎO6_jJ]rk=V{rPYLP OE5]V:k BKсfש9d6ʥshx5 )ǣO{ey{#MϪw yO#Q/Mb[Tř$ҳҥes4DeO/ yqܪ๋x]۪< ߗ .NmS4l9v|'aJFMIe,jx*#kު!4d #з`!bUEgΰpؾAk]O:a`T SVTo{ZqbM\ÛbƳoˏrOt0ZkWt;C=55`ܴ݅##fm6yܤܭT7/n󔅙>,;S}Uܒ; a@L1+@s=/#Y.i҂Fz=2~,h~:9Z~ ˤzZ  \-2D%L:>nr%cszu_x>v:/0[(c/\~>ylyv iC"OD4(j'/%35ԕbMyn Ec,`d4E`Bxo p/BOUf~IzԀn`>Sr]JZ9pcI|Wȝy$`8D\"#hGx8Rr50@5~>qWKt·: bTIHik6[+3=gO؁lGy >'vPcQƽ,j~7/dݼ %Д_?j.kLgG>S^"e2OJFrIo$S_hָ0\rGahꌒ9/te;0dy>``'Ҙ]{f4s0}wHޟ@6͹PۛKН5Y#M53IPplR{ѥyITNᠫ]˞OM$U2y-}a-Qqt=C6HTH<-RCC ɪ_#ֿ _e1*%0ft(P;K|w8C2VaP}f$&:b 3W?XtǫqVsEV˴=)`g涮X4jT-$rkw@~dI~ٺWC:(4ch<Kb`N|2(R:0t;Kה"|Baf`5x!Sm'R]#ץ2`^o! ©'xQm .䟎[~|0)#R'dvN5l,WX ~c U*˧Wka=ZtP﫚K MN(D"/k-Qg ES[Q" Ă9}P 1]aU@#"V?P,z&(҆Xai8:.1}z!0 @oD\&G T#?m}7=%[+ .3mQRU҈:]&a{>y ؞uw@Ԃ*p!Jf+qQXH ОH'Ν7%@-cly'6Jʼ$;?Ms)v̄f7-h:Q7^0#pj? Nq NUB\,Ǖv~x]~P5|OQ7V iN`F2qƃ tl>FnL@A0Q^ΈjZ wmHM`sx+z6~c/Cc:q0osՌQվNJ5JL*>aƿ(~.  ;% jZM9zX"c5݃i)d%PNF,B56?,6cB" &_J)Ւo}K )N6*}[øZ 'ϬZP8d:l(O>_2?~\&QvsɖJ׀{*^6~8vJb[9ȜvYJ3ݻ蘝ɏ]e]`f6eN : vj`S1oSpf?ʋ'Oq.d`qyr2L}9W>ìua]) z*dL6p]d :k1zق!R&ĊirTkc=> `?ȎWo kB6hjb",aAzEp"WyW#Ebsm-4KO6w,\觀eED\K5ɥ$dvC+,Z:ޠPǗNܚb_rShBO_}HơeА- ?-J|1@:-!QG'p|cLiYY˄bJ@)7-(=({`k1.c(F)Tv¬_2Gx m-OߌKCϲʁQm)ޥthFR$Q_ #"ޓτ Y3iSt8Uh+wv4# Y&fEK8;DoF?b#c1fE*?P*če `eUm_mZ&ٵpU\KlLtJu7>}]*MA6:KNM9RZHcY 2UG>ɤO h;j k,J@SZk2~]ѯקiI ,a);3kcѩ[\;r$,D֓3dF^ڢXr,-p# ai:_g\BvP'#,|ԝ+:sbM%Oa⬞3VAq܉Ei@ N=}Cta2IpCgc@hKh?{I$³p>