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 .. 1 l /]HOL-Imperative_HOL:threads=2elapsed=143.282cpu=186.828gc=6.884factor=1.307zXZִF! አ]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kL{AJ@~^_抜uG-ݯ6(R"OPښYk7ku=j9,k6|V숭f3&}KyX}w/[?1u wGED^:zـ^u39{XlVY>hdL3kH"Nu޷' 0x̄t_D\D}"s P+(/Mt0x+K /PVy7kVj@d:g"0p@/:i='&bٿp*5J 6蹒|c;*WhYvX,L X@ 4pZՇx[JH\bK=ޢ0nn;1 z0r+ӉT5gmP@EbO&20|W\Į 3h{y{cbMQEhMB q)R.@:K*)]zc40`̳5}GT9:r+x)zN/ĉ2wMg-C+ް0`yaNɈ)":Lj-h4Ai YRqt5p&z[Θr=K|5U:&>]mf:fGts2ePXV2)eZK:^e9yS,wQI ZnqvzIRjJcbGxEXPS@3ģ 4-]@Qߥ!{I~Ke YU#EСÚ,omVa6 d~kz*}J1D^I`ٕdAIT+V,؃)_S[.H'*3g%y3a,I}eFޝ5 F/IR8FIW!R5 v3GXQ!S'1k[ĥW>iڞ*LD"m+HM^`kɔ8<Uh$ 2v0 ^6\ʘmk+b m`z}SMImݰ]()ğ a-|w_eoa%g]W4؎?ЃRQ?b,.~˄J0AX0 %DﺠMC<'?8G\ VLQO7fafdex./›R m\& unOs|3)nI%@[J{݂2?c?Zy[܂qy}gPlL`Ys7i EϦ\F`iamlT}u~bGr0A {=/5S*ܓ P.c(,Xg9fK!nb*E ,g-Fxj>4 DJ[IKU&t"(O@Au<1jS2GS9CW!jܱ& et Ln:~BNJ[wuֱ"{b){>A70%Ensdj(aoO<حOk{Ju;ȴvq 5P+"%B c)$Xt Fkco\eGd4s(ZGY֛Ә[)n~TO"^A]?tN&O^;^1jZuAuY} U:ku2_s:h U2yWWU{x7{&R>乧VEr/Kj^FT2qrdqȁWUc&v  nI>8$gǗ \vMiJ˅DZ-t0OVYʘ@Y wV{3%l;Jl\ɎWw? &#-twԖ_NYkNn-=@$%~2#K4 ݸCmkHg߄kNͩYb.V#,EPjg8|,8oO+Pw xtW՗v_kD}SnK3d~P17/2knHEPc`7 )!E=.x7d Y}Ƹi+ 統 <7 y K+s4\%$+DfKK&sڑ˱ʟ!r"2/F K3jAL>6 )w6e_adxգh'}*ʯk8Tͭ 5]e)i'I(.V`uʥdTf8!^|Zk^WOEPt`/XN(jY pW|Q :rOvsBce;\\wxMOtVɆ5&;tg 7ZZ3.F_TFkS^N dMUM%?D>kA+$. LxA= p6p1 <02ve-բC@S1skHaY7"' ؁_T4u[,}"53~C|ß'aE \+<:Jtkn`vL{fe\$vSsʉZ+ɱ8TF^G?ooIܩ V/4r*zl<^%b ^(bH3cVum=Us]2ȱCHػ XCoj.J"h6>¼b$TX>]\vaJnuZ-lϖ5-嫶5'=8Im*avj[`n~t.3NjgsbzKJ$F(72yLoeVx.zkKa#kH ^p aO:`9.PJŞ2VqaH j'G̐R?*Gk "ZP{vJIkQ |M S ~|zspiddLg#"EI;KVAQE&uu%*ͷRZ0?EE)| Qe3]8"hQo䱢T9_sy1; q|#ׅ#">= BPw柜%OJcWVo,0<|^.c}[9l~g b/o6<]ѻJχ@4fg߹I6ws*nwD $wDiCo(Z[m_7G doՠwةT|.rl16{*B\tNQuE|ag5Gl6'ttJʒW/)g$|eB]uˢu *ۂIvRA#CVê*u<>yµV"nz˧+˖AAu:"jGҊnlD\I^ YjJ4GIޡ(PeS;rjxײv.iËG$9jHdJ:_=$*YLBm{+޾YE/G42TMGWa  ٸhWDKnPK;;9f1#9\Ri 0q0Y>),=GDhYT 6 l4M ǶG|"Qh f86ھp8k0%vm;kYDb/6x2YƏ(m]v^$>-FXx-SQ4>筣Rj2QFt@5K}>ӡTdT|pf7Tf_8VK~`/o[)hpL޽9ۚ}$o2ۜ5ґh-=gv(jj /sEcD9%ΎpZ 4ْ Xƴ>4< $ԝaZa 7=,$ !|"Mml@ \x^nҺnݧb&tyR~ӿxZP)+5`vRaשp$2ֳtu&AkD[ҳhȿ+?YDiahDVf2&%ΩMVpG.us1 sm%Uɠ E>}EGe%!=:NiR;`tPD()ST,3mPo|Up dz7 hÙէǃd[x4֓ݛ.+wY0>2Y)4Tl;V΋-ݱ9wz7CrFk: o$mM*/6 |\0֕f:lkf\mUئH|2%{&jE  }R.߼$AI*VBG"6ܹݲWRϏS}Mdb|xKJ!Hھv7V\,c\No׼{6 jW#"IdlywwmRH }Ĵ P>1Q(R@ĩT,Eo&bOC>*I EuxlwXD2H8A]qn{]w+ƍ|j92QVt]uTNJ׬y'`]\HʗW=/gYZ7zXZִF! p]ŗXi%Bv n;8hqC,>j8J~"9擲yXd)A<[DN3{)L;Sz9ui| PGbR d^abv퉪2u%!ܚcwfS1A\vF'lW޲AiuĢ|t GCCvaf ]Idr8LT<]$k9PO€-xu|} >vEyK=6&hT?ߔ=@6@'UMji h(W4O_2> ,\iOaϞP1:pNc ͨFYʃX?oB 2x0l"O?x=YTQqOjXa 6(')6] <4xOR7Vf8ؤgBF(fDWMŮuPYxaHm);(Oڦ\mu;fB(|Lb_UHZ51X.[ < x[=iM3-س_F=c°4SћTpks?;EqdB ɍYҀ nuZIμ=-chF^D=ߗjk'ONG "lx\g4iIZoL4M @M_[nC-r9Ν5zij[KՊǏ``w &jD|j]%-㥜0__qU̖4i7)6|FdMFsRX!(@`PP8;'F!E ֳ6©>I#nI?og߳;qqe BRC>YXiu?T/_sP*R+ gLc/˙x@^7K[lI PR@q.R "h?dߡ%,O=>JOkz˥Z7fv[`Q$NwI|GlZ w|R'QLfs zup!"TQ40mKbPx#0u!N6a> 9 v=U4W?d ;UTυ.R~ל|{ ڂ}v, N_bt'jNy=ˁd;~E( sF:,@?EA݁sc5~Gu ~jo4҃CҾq$"?36TGFQq+ZO~e)\`p wߎoژ7Ũ%{N~ɳ/Tދ"~qyp>~WUaP +a?IH,f޼o"Y?g/fd `b?7a_3`e;{~נ_)a(ܛoEFΆ"OrOkrx&5dAZͪ|)âЉC=^HHaaKb>NL"|-c3iǀ}ŶcN{yoEx+ZGS6C {Ԫ`,$tZb7W2Kgf;VC$-QH!ըV(p{fD{Dcn^QFsB}ɥꘋ 5:{c0]Odĥдv2e 8 K}i' S>ּOCN2Y&$@ {[͞Oy˴ T,eל#3L?_sd=l@оOC #0n3[D T󷠺ŜmF},.\x.J+F "whaN(;`FPj b*WdRێEwJ @N7s S Y/Sn&$=)J+H㴎BK?;kË3+O; '=1h;Y{Om^1_Iv0V2d8` 7oXfP݂x4m{J(PJX5b6z3rh@s$\abyl?8s]؁v@WkR>+xήUЀK:#`P~ׇp\ zƮ`O =#rȯK"NVE݋i^DHxvIbcGm[* ~ElA(vaKT^H{CSṀArE-,8r+b!4_]*xq]݁(v˃ _Lp%)j 11z̴=97r(s^cytqb#xs6ATY={$Ot?Ч>cHЍΊAQXt{'2\+LnV7);@wԼ6·i)iƿ&`S`J/bq[-g}Ҍ#;a 4ʅc"^5<̈́btLfBFpȡo՞L;3s329ʋ3x`0Nȓ9FWO RY=_2<-P\$%C%bd ${?؏U>ke{H!(& MC*F lfgLG2;i%#k`fzek&m S$TfּwV BBk{"^sF"^s(Xyíٍ,g@Ý$0FnCozϏ#S,|dl= 6J Q!}䡞+e٩5@S.r/-XfC^xMYtoIKJM\Xk~y >faSyhj.’@(xh!6pRV4%o.JDWKP &ړF+, ?Ibq02|oֵ~3#u$tZH=Q=_ÅIޜٿ/dR^FvM ^˓-_7_35 >0] ~,Ė'~YlA)XBrr, "I26K퓶J-- N~g;>zPzOFKym̆y~lFBds~Ҽ> f,Jbu()v20@N[ Љ?.{B>|ڔ-SVwz37KE~K$ƽ;"1Kyo9̜?]DAZ_}4țjFJC1:=b ,*YcLx蘴8$ږOkHOL7Ou(Jy[?% 8.*( u=SJV=dGXU2?QaYHmеK4G:E`vcw\ǧ)ܵQ5,۔0)NC0>7yx` XAE xR7`US,wʼ8NvHg xDGm'Q|5]7OX !z c UPY.1؟H"&K?HA}&}_V?q{Y1wWQ!Q9>H9/jXJ guQXYVJ$g&|)r nM z5F͕&R Υ%Y`jܡ]Op[yIwm|kB`lcGCb,ɄNZE._\X;G, u+xHH|X]HN#yU}5PcSI <æ{ie&i+tO?Zr~U<-R~$khЍ̝.3' ҬW ᯚ fA9Qלd|D+s,;4R]ǍK~z ЄIV9@ln!4H