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   \17ϬGp:_Y*8v)l5<'v p(ex֯-uKQn L(~T2\ җhUSDﭒxFK켪4jW+cU WsǷ)jɉc:{m."w{oX!j R#ϏB 2qX!Ïq"!:)DH~M *,56"NA^8E7}&8UZ <= dpW^[>  4PL78v 3חGh;?b4" !S3iV<; r~fcmAϔJ( @8Q̴50#-'HgF @|?䭓?߼.I1Qd~R7/z&&J6ơN&x"W Bh> ʝCD=Pu!gRXNM2,i7]ǩy*?&T:|I[Aq;?r*뜈DcV`K _NÊ ]4D\\xFVc߶[Q(LJEk=-%Qy#-ND̘{R䲓}1kd C}˻w }(DIk@Bpغ\՗4rZӻBȩU.?X=pN\6ldaNIS9%@'?bm7s;UV zh(S#2@R`6[?@kk%'`^Yx=tEUO(GֱbL.501Jl9xhBoc^ 5CW,:uz]9M☡CAW(c_2* NW /Ba _*k'8\hTrYk$!/ԝuW_[}+Y/n2S M/:U %z.hǔWnFr#6 H-D ،IXSsF,R"Q 4o=$)Fbr0z1b7 \l>9(AGތݔƬӕqqX~B`ֆͭ_&`r) ~4A+7ʒ|!p=gi|,[Yibra 1 HOL-Decision_Procsos[Zt2L]I-kiXW&/i =/(٦y˘LSkLݾwPHڔHɦp ս*)`AtnmC{t}Qu1ZI1B-:?Nr(#TEsLE8,߭V+ 1`4d%x~} t~4Rw8Ez:?Z,䭍FS cGyBmvM4Я`s^G桽l!'=9V@LJY>c涽C`,SN]Y?n !RHYLClzt o٥OZ: QDTQPy19yivw ^ݬ`Z=x1DrË4)^_2* n woIǔ=+ @ YK@"r..Tu/RIF]E{ʬj.fB(K2 Ar;̩]".DF(nFz6`L&=rߞi|X"s$r+ڣ'# ì%#ʯ/#`i!993(F] vuQ|@DE`rCo* 啒E64Ibi\I2/؂ OQgלlzz+ũ܋5~R is9& c :M#[/+ z ͎ѿ|ZysYjzUJB U;j%lT55d_3MB>찈o3fb]2TD(sܛ aꫧJEC!o /Qi'l( Loz6)' |jiRp qIwd >*,}\RBGJ3{4sᴌ{} )lV T@tv"+R=cEQ@+ޭPGt8h^DMjQlFF!1"peT2!B)zRB=I=eT^M.ZJ,Į0" 5ˆ~n.U p1-؞z81DN~wvk:U=x5bR;a{=\Q'Y_>yÕ\&suVs]NٌiQtٷ5Is= SdR}cdMI/Ԟ,Ap$hV o@H)gaT31/{>1X!&`9zH!g;6{/\qE!4*Dž@A beER>ud_t `Gn5l5v(ǩt$"L I|˥mZWB7?PoIer#l 0!n\,̠ӝ6A+H5B rBY߱ףiG sB Npi㷆5< K}C+?2zlķѺT2߻5\B%`JmkI nE@9=QGD@]f/`#;ط65- lSMɽXwy\^^FLPy4'Q 9v3ۨ ?>H3#&& /9qয$JJn!ܭޥEXth)NE޼FNcB|?Ex9hZn x,5ke76"*&>mKB̟w ))t]#{Tǁ:PC|NnYV^֜(.JUDRH>UA|Tvj(c*~$]tU~X)nhH>_pH; ^rR[( {bOl 0c~TJdGͅN~shuXjJ+wv <7qf΅eHc38±wQg]8kmX"hWؐ[& 2$cUl|Z7](E$lꕛ[]%Kό21;E-B( 9KAF$>/)&Yt)'F |i{?h1{7 42 {6\ZD+([ƼCR[I){Y?G#n96^Y L0D1u]hg9!}(oGy{{2ˎ)! VHDn< UA\[b"& L\  VJ<o(ć[[KU !W' l5N+|rs b-Lڙ=,֋Qdx\aj?)έ0vPRd r'z쒑3͌|.VM$V^`@B 0RQHєN~c q>S?Z IBq?=!n"M[~WPIxɎo qz A 7`n?.ﱐZKԌ}xWot [j/Wh3>w Hՠpgo|#& L vI:ɹ\~1i'0ܥ4#Fp(Eñ;(4&5^K6Dvq{4>n 8/LIc9k$Fदpn5, imWRgn>C12$b;ZJqSVexT^p(/vNOE}jH;R>9cwVˑ;,N@43%yC#޻ckNS5b>DӰ:R2qeQUJ\\q#+5Ӈ=M)`FϘCl|ǂ$M͗`]^}һ7zn%ԥyo~ϲ"}<3#1YoyXEGWT&j h mk.3_a/$i&' 1:},< k}N?!U~R s-ȠhPˣ_huj:|$ 1SÅԜH{i;s&0yCop<_/eeqPW!CfCÓO-<lofhN炭g,^@(Yy R:%7sFA:m.1a lJ'āo6L`\0sDvnlݮ+_?;b|?:] .ckm2yE&p;up@[ǵ3mW7h}[y7iVxFoKG\r}R@ڞOFꥐĨr#@lek&&poLip{AkD;Z^KUJ}m{xTg z!!㘦V! 8f'YjP )U}})ǫ>E͒4dnDwS^~42O"F +(6?qkm9ukPq p42؃cd ]~]KFJFp /wi i$ a6/b>5@1%=kinї0ݱ/S .*-վc/h z!*'37_" iIG7_>XcQ |n6!uBGy;W}' $VwRi`M-WTu=d?%2&d{=3ȧR $s ._3yrvbYw0#'N%[S7žؓݽdF5֧T V$Y[ A@h' MF~P<QfZ 2%b͈ ]~h =]pCf (v`̾Vayzms r;w@0?ߓ4u(NΪD!LU9X`f|[.@rWzx[b IWlQ68_ 박h?u] |YPQ"^ts!28Bz+DҔ}}O0>Hsw,lu5!Cj](>xl>n(k~A7+DϠ/X^J1L߲4^ ԇn5FʰkJ()-VRVwa1/7`EO\fh}1ĺW(ЮkX83=m]*uB:3i kA9x}|SP35yb,nqTė^l$4) *Y^g@*: LMXL\0gMz&~) /'SB5,:]݌'lǕZv4P7ToM2s' K xElebWeu,a!(0Ƽ+$+[EQR7/L@5 ;R *w\2w"P&EG'CN]~ S"ƃuyrZ `yL[k/Os$&:>V?O*6T Czf j8eFȾ7[&1f[mW*$s~i4rIN Y%nPIצ NX:}M K ,[|Q۟QqOWO-|MTҢıG *qL}%ܤ M/B,Td:U6pn^jHK8Y>}!e`{/_zil 9Il)VمXTF?pa3|i1;[s5}(u˽K8(?S8-1Tf2KR/g1iZP kVb=3{¤Kգ7gD_uZ'f`}nFgY)\/ W *+p@O1 hBpfqGD8e8f7M aCؠdD,dY/LTd`.nCXHm@wI1ɩ$9*?T}X [!R_[5\%V8ӥ@=nĒf0J@\?Tl!ZsUOQԳvйi/<lk;3j&lgհrK΅5yaxIigӽ|}mI#=C9 [ԌT(4" ;ýВ2 lSD B{{aBy4xT)+qjm"^'Bc/x s7ݲe 4jXGC<^ٴ @rq.ruji}3-̾Vť]w chimZ#h&QCĒ()똗}x2.fB=N}lc\;u{ziY*^1d;&›d+QiVᠳC_tO)>xdd'OnƇKr31xol>s;Vu*pF.@7 1  ,O(?_[ք>S0jJ4Stp4\,Mt.誌ԫɊ2<(6`pJ %=*BPY Vy׎EN\}-\.՝aYO,j'q|"+=m C6vy1wK'=ZI:΢J޼Byc#\dFWdiE.W:H cBP[8._X6ܔ(+u =(ӕVK O 6^ﲢFޘXf!ʚďyRJ#-$9k}43I{ʝTlH[[@`VУTuI,6wN6kv}l|yj (Q{^!G6g89/lp|0؂-",:B[?~v 4&E_QI{64rl,sу|c~r)ܺu_EKҘI`Nn*A}|=HLSf6BHm-j mc#-" x (-qPXE?|iY"MCJ*/v 8 39V&=u.ݹC+WdJ{"r=SFfRs- )$;}Q.@ Y̻.nsB,e99N_G$^l* NvToL$(I8OutPq aM2^'`JMF}:A%DBF 'tđ(%Cgnul}ܯPEbXju! &-P|hn @bI f?VksF9ۉSy2M- ][W[TJ1AN+>冓3|yea8Y!/F t+ʇ;od&?V}˧B-6Q$eME0@sq/)ANӶ{ũ;a&pk{R~ RQcXHŊ?NNn!udud#0r5Ht&X35 {@]W.^p6W!NU26 l2cϝx7|(h(o^zW24i˟}Fk_U1g ZW!#b {M}h8ZIwSa9$)5= +)vc6_gcf5zY_MwpW~Nd>pjn-4G3KB |ή4~QO{V ? )x\IWB9iC/yu+ETt|ڒpΉggRUn4h .^wE,Fn_yRUha6WqhĮ/Ot(=-¿_Y (眲"tP7`ZQNG#U+y ǒ ;ÇO䑙clwO[@T+^Xw1P}As@[NAxe#Ū>kf!J_in^[Ө a8C*fuo/ZӽF $䶜f gzHFh@r)|.| rjVIiΚҴXU<3!xjU2cr;]q5d?%'G;lwB&=ojJ:Jn"؟)jtrzf§~bG֋bI ɪi?> eQ2WhD vDW# 365ճjv&7j-Ǿc[uV_Q+IP;{m6Ȍջ'F{[jc~Ϯ n@ ԶR=S)(9].bB螫L3 Z+ӟ6SD+iY%=br6r*҈ziZOZY_1(6\R3PԹbzֳД<5w] 2Q'+1&cRt~7u(6X'RkNL< RGtfzѠ"ܑs 3,"+V]J_񱙮>GK8Ǵ9xM*|}rܴQ.ؾ}J5Im3z;#4|{L&驍 ^XYZR ,Dz\P)510%ިݧ[4'eJM=TrU#9 _G05hie5]pdMrŬU[76cݙk^쭈oī\Dp&9Y^[$~^ZFqOEr<\L$ܬ>W<͎]jpn> 8=wԲ]ZTBdL$9kk1[9Xx>4 4\Deߟ#ॺL`eq,Ֆcf9"ٻJJ[СXva hzM /R,`+ [4 &2:ڿ% eYȺ<8vkaի!iyN'yii#|ͫ^QT⅗hLX= ǿ4n>ۚ^)Ŗ$A"a!4˘A7t8\ zob*3^KSnvLZˋ&L,t5BuͿLoO):{w CT1Xщ3{ ɪH)TmeD<=nbFjƅjc;!|<*z0P&%Cө7sg׾WhthH"^BѹӚD`bh{wB_k<$sr=WSĢf8Q_Io@\Dd),u9w82rv1Z>d:*# \.٠. N&}s=^eե)l"ݧi影>RtQĥ/V6Iڻ0oW#KӘ{`%Lm=O"8* [>Ho>RLcP0Z!J P07%F}|Va!]Oؿ.?>kOVn@)ҔA_zV-R^zn x + glOv*:uXCJAё)RW*^*)Rd|E.&#bVgYA`lͺ~>_7nIJ P_u~EwRoB>CTSVAU(?g6@:oRF*;-C5[ƅ5/4 sS$^18D,g縤q@TA]rV !KW;fE\J6[as :3wW|27-)G uA 2ݣ]%UP/nBH<]Xy}s:2oqU"ƔPblU /a/5lc6}al ?>R -mה%1P?)vhXH]Kuu:Ldжq/s2u>!tu&pڡ.@9^ SլYql\h;grއ!%o!0_z~HN:GU<K̽R:^<H8CP\͂f kKG:b0(D°̭m5;[ Q_D|(Ԓ~"R|:o}k[KER&5B7@IWS1T~3$UڸU<<4ao*J8gό֣c.k=uMH5 I /;o־J΅+R(42f;OXGKMU)qöS~x`3(a}-}hPX蹑2T9P$lwxCGsF*FץKώ M>CC~‰ h4$_2rgV5a偻@ $*"%GuW5UkѠ+cWbǠ g49r;Բ#B/MOж&ӮG/¾0GD,u:u:DL4{宋{N٦3}Xa j~f(Oh0eq DνXBRkǸǗ0Y\/}U+Б7{@+MЃb|Q; 9-Rٮ #L"VAybuÜ w#ٔUN|2 ?؝Dؾ tc:c7@O`!+/̽E!9X/cDv|/Kв*gb\5-!lvn]chXz7 cw64u;@n._8<^cfغ(v6"UF94^DL!L-k*NmcK#zeOyxU'M_ZFqp 0tqwR^pJ`(=7co B@%߁ybڑ +^?D4!av-3P!ѓ?⊻mi:HsH Jq$\ ͍`Ȩ$ؼr5~i-wx8pرj=U]nC \w.lI+`>\_ec;gH:!|1L>Ґ~Y)dU$΂dX@ASWT}RÈys?_DǧI?v6JA~mF-LvC*[PJ_@"SҨ`?uo>~]K*-W!Jpo9^Θ]?WK8Iq9!0au?;"}d %y"9WfpX_[~:uǝd= l#VR<ߐ\6lgJ _l Ia7!|*d81  & ~YGSA^2̋#[&>:iS.oJP2x&j}IV\>.<twe=-9x] z)ig(\<@޺r 1oJ%Ky|N/YӍpE[FW}Ub{PU]2@?Si*ɅLy/s #ë7*5)TKUE|-HҲ g`0γUn)å&N>“Q(~l SRߎX_<<ɇyB֚UlW2 =3 C('܀t=+u&RG?,i}:]J/ c )zplet|\k4pǰy b$vj6AS  " ut2 %]B((-n |8-|mF%p6 X"ti8 d6mbN32ڔ-H_ԱQ)Tuew И-j`@oQ1|1/͆NjU:X-I6J̠ws ;sBI理T u /[$~օxM/_<gi"B g=闑5Abl}x1Of;{Bmn ɽ-yZĖnA/jRD_`x6aey.B2 .ˊ8i3-ۿCY3m8XPQ~ He06jS?ktTC\3$o?H_jw@Z_.%dstTCɀa_ _YMZx$-?&xW@ZB\KQؤB1[7v(; *D SU.cKEC$d|֯OoD&H˷J}PsSYD+΀la=%]Í yǾM&)wx՛XRC'cO'PC.d8e(ؗ%YlĿJN;?@uu+zIB^LT`|8MH AiJM&U}4I&!BE a¼{">" M1JF5/ ,ouF>ɟ+J‰/5dt9' j,Jgetl!W{[ց-d?jZדUܽ̚ BPwj>Hy