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 $ ]I]CryptHOL:threads=2elapsed=154.725cpu=276.556gc=14.168factor=1.797zXZִF! <]ŗXf1-/6vRZ]^IuL` l^ϚW I۪B6GaePA^m[s0*Ir9Qћw&+Bc+Wdz?qRoR-¥BxTDrV h*~*J,(Ei6#}\_&),WoKQcApg.-gч{Bn2k)ώʡ^"6 SS#ƪ@&ȍZ;e!d4-Txaѫd3 x8!KD:7\7! @iS K&D^d '}KI"   CryptHOLgNoK co?9LΰpC}D/ݽL4>KkWyߔL\,FXQ`gn/b8ᖊփV'bƳ_iV@ WZ8ٞy0-zp+x[_ߠVkߙ  p I%+5}K3F`Z0I{0# (i}(K@q6P6[Ę&PBrqzGԴ:C4e֯!#a C[eQq_,y gJw@z艦b034_8MQ@8'%ct6Pob_[ csOGc4i$}tܞrtexo!ʜ<' GHڜCh;˨KN;|`# H.8:3Af hT@)`КHГA3\ yV51+_)a.*Z>4j\B7sc95,\%")?~a7o7KSnsgy/=jVY= D^s=>(_=5O;. ) I{-Pe:|=\Eٙ-߉,!IYB|tHiU è$}x):ӊnUZ6"TԒQJ *Ė0B*DpkXi5+@UfB]J>>&3Kԅ>Feظk}}Tomޘ6{dq,p#64 ho,gw:2 O&7*#xZTMx  |ҦaYA0,)oAC2?d[ fZܷQViɒ,UJNHy\ As(>y='Jt6ȇ/,j͵XTvf": ӝfKa$j7O~XE5Zݽg9Br(TZ^_ce%a}٨ 1 ՑP1^l8,|4&h;q[3>cy~i{˯R/tF93 4h,~7ubw`ww2 IiCnKV)Im) ӎv[x*t] 1ϹNjIhHјXlپj7L+|s0C!Z}і_1YsJ36ީaȚ!$݁G:N7e*R04JjRx/Tc$GƉ2tSy7& {%뚴ag,S.&nKOy%A 60<]ۺ?MaO=I*A)p0!;b-gMCdB Vh{N40F<۾n65eOySPy]9_Rb0PZ9쮐0F)a DDCgJTv%Р" !F3?N#|PE*uWIwNĢ \ݪp|.`(}I@Iһw MSr3`O!Ta~1nVd چp)Fy5vfEk GzNLE\00#{FK7 SE#&."G]x ɓl!iuY'2 PMiJg *]$Q~oNP>m&](y*M @hUϯNjyܦ@/mjLE7Ah~nӧ%{dDCAۋ{%$?n̏B8t:M9|R,yx w"@Ä%#ԁL4u HM ##,FDrAUb,~A=%Bmh[ed %}2&_]X6 V/~P\"baʣ;1œkfOLQgٵ*@&{L9\Jq*\ \\[hQuME )`ytb7Ơ@1LN1̔&d>S^== 6KCS(%7 Vue\jL} O%R^po,.dP1E bxѺAB "X]?m!ݣ^Bad& _;3N6c_m=z2~10]_ ;u}u~ of%)`yrtҟJv1Aɘdf&>yp#-wJ&[SM1WBgo\gA;6DDOѷvKY_d'gd򾆼u \(* /f!tN hU$E' l23?IW!lp-Ƒ.m˽NR0ʝ.ΖlZWj UM5 )}oD ށ54'VkT" Bu៫AMq\ _hSXrЋAp¶ێCJ+t*Ae%u2^ޔMăV)=K{K'f\f܌m9wm;cX["=KfIvL2~ uuu,D ix,:tX2QYcrEJʿ9CkB%\Vl+ʦ~BgYZ7zXZִF! 3" ]ŗXi%6.ݚ-mN=%!O>M݌.^/Ors>qqQx/F/D.WY<ި6clbH<qe%ؼl/ŶB`]SgB$S.rr&+"ˣSELʵ}y?r/6-vOtZ)q mjGlO@P5UE)@C<HQK/E yM.ԇ#c~gKlM3B@~tnYg:ooiԯǚO$;8;t EEn^=-@]ߺE5|8bRۤJew!#@ U+B60Ո;D Qo)" -蹾σ 2/Kh {`6JH4Ҕ]k46vy5Ե7PssP/PEU{X.3 lQ!7= 'AH|JK:$ZڽG :=e+p?dMPS/ne\@H>m)H#@0cBf0HҚ=rF%K-DuSupӦc*)&Gw538Nм=5mo[gjM%tSBX{$|݉n/ќ3ZW:s.XKɌEţvoX o KYlwH[9$~%g|n?aX>ą4,f$D tN6xQr[fjwMdlVCF% R%:pP;D 1G n=LD, B^#{,z8Ai5 ?D5E&|m`C UߤZONuRh̡&ӥ9\~ݛ) :!ml莫bS:D j@gIv+t jX&<;dhR+MB>A/C~=, PϊW&eǫyQr+NY^pWsϚ8|utOĪ|;$ȼ8Ú*>"ElPCJ _xl*{SaE燠: Oo1X9)AX(|@-1NF&3p(e5#_3J*\Bg5C$<śaKvSCKLP4r !Rt$t풚Ysq!~zAɄLXA Ot 7 O7//N®HG=8t59*u oܩ AGB!5b`ge$Aq~bf%XHk>!PZ)[Hoj IB5qc UsT I0907 1HƀXB)9GdD;uwcAե|" Lh_n dBm9I|ʺq*/!zxiSXֳT:60P(GX`ŦUA6'9&LYTA?PIJ'kYJ=ƅ",БL K/fƎt c]?{(]#^8'38HvdqbZd;Ĩqa/}H>?(]S #Щp@+[R& @M }QnwiCKGD{!vz{WtBvwgn$᧊S dzp< WiFGeRьH.ܞ߽iT쩧[$;挂W-F VܩxڑCBm9Sx#h1 ^:[V'Sļ#89%` ZLR8N['A\׊DǪya)+V%!#~ S~W,ҕ"׻isշNg:$/`zIZajOyE`a:Ob:z1k-b8li:\غ7}d"&@ ^rTb x\tGԜuc=ܷ!/mK5UξtZc/7a 2fZ0Ďțq.,^K -7*_:cqH9NnmI9Ÿ/ڇsUgo7BCQt-zRuz&Gz@s%1sK ߁޳~3Z~RB!l|tLJEQ5ݡF8ljo3B9GnJ@e ?ZYu5?3T+$c 뱯Z*'YJS}=ض(r"?p;p&-$Kj;.ֽ5qA慎؄mhQ+}Z߷",PrqK-cxfV@DE+ @Pe=<%I-v1^fſD:zǠe_KRve5G@`'GibA`ŴG/ϞԃΑ̫9IMGgZe4%̻߸'"qxԾ{/I\F n-+%uISZ T>5Q[{'9g>K#p@nĜ70G_1!5^@$Ptl|: ax^3=Íi!&iޓfQqrKvc9aﲥ#rHmI nʟUJSNl6LHj :v` cn[J Pb L#c?csYo_`Q\qIknƴ|LPi)y#[ YA *S3L@.1y["u?_$fI)|&%#v֩9?m&.nOk{bӰ.bD<7>?|_Scxa*>2^m^ytu: iuɄW k`9-rˬ\l$aaqC* 鏨&[=i?)pbNR[3չ\mn-P]Ě&y/RAKmN۩ #J1."cK 7 &$*Fuˆ|vJt4]г`0;Lڍy^ص8 ,U,ckO$al3";+G\TrT-kUD4:x9,j`Η}f%X? Eh? J}C\gLi\ t%;sMEQ?3cۆ [O/ 7e⣠BM/k\z_4w_(Zbыn. % }97~,S rp-Ŧ97_1a >VF[AUTN!d' L8Vci[w t5Evd_3L~☩'M lG3w. kec*u*ECQRJ3ᆶ| ~fTBAΒ׺0-YK5oMC~$c G%JRgV!2%q]ט4zǫ`*_E1 tEɜ2}j5Ӡ0|]RBTF%#]u! +cCS3pSjqNgx3cYˡL\ZboaA[ Y0YJG]d}Ke#gsᴞ6b̃P%rR6ٌmY)/iJ0oCoDʧRD2ȗv> Htc%]dCZBȞ_&f{1fVb fR<L0PdJLU}0P5R O_V,sE_b~iᲃ&h eÊF5 ;EZqA.A)r?P/D 59 w%)]"YWtqଛl~c Y=Su+nl %5|+`,רp:"zP4• 6jMXėQ@:58AVFR k&I{ⶦ878&]+eѫ!RńCFk\' 7r8٘