SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  q qs9\!wg/Ѿ\oP~l|z%> w5\2a~ 4fq+[UNFbX#IHC嶭Рۏ)EW3t!\aUnA{ÎCJsE_ȁ$gSIR{ c0UuuB + Jvo1"ZYIy\3-ʡ+[ʄVP)B0l"Zw$;%i.{sm3s FSr10@( 6kփ'z.E$% 6\آp>&= %&fraհ8]W:6ݡM >P Y<;|'(LK!gj8kI3Ofsh)#I < BOxkH#f#sIS8w@0bbz*АA;\CPo P_O>ȿ z[=@N}E Q╆E0Ѳu%;`}|wP{7s^:dQLZ<ZU\P$, fHqWZkݨ ŊF"ky&3m [ JtpfFk >y!;^ȝ@j:IY !ye숰ǓTv _ w80ՅSXz_P$̫|D/>N0w+ Arv'ed^)~%Ie ekU$astk@ A0[#(5 ׫o6U>yedBq As 3&9L- M{J@" *7[c'@Hسv()u\;efQl0̐*ͺ'N\u()W2t-3u +Qi91BV\O<,Ys.i*.mNzhXu^7$rGR>::><ΈnVoc;TbC?bV0>:4:p[ ..(!ķ4uoݿ$gʺW6Nuwu@}㶃>W`Ҝ,cY9t;Sqfez@?TْYiΗg*&:r1ay$y"h|)!tycЎ~H*V|xC`Q  /jwlyh7IB8Ơ߹RZm"iYF1ppAY5?J1ZvOShGdL@Ī%:֭<"vl m?;6fsk"8L<1_u3y"` NMx;}0p#4tr0^( |[̿amny"MLc`G ;ffÏpaρpۻkh:Q5:$ `I8lJ/nmJZ `?lu/nj!u`r> {-jz)RΜqKLws-3Q`.bdh>&SV+7-Xxuå۸HVV݅*.sI݉cc59W(\ Ę.`z>ZF2 nF{CwzFcnO}ELe/ݝv'&FGY bZlv1oO ICD|{!((*&{5ga܋Li-mRROH՟ ⩙C|hxtX Y7$ݨF|z~ȝ7gBc2uzy,A2j6 QznhyzJaq[" L|ˇ,޲a֍?Ĩ nH/xu pӃ fNP t}y&Arn3qRssr 84չʹ>KKt\%G Qpu n#l\EʞG=0a%Hr`죭tmSE=p迿DMWkCLk^9L VbLގEXJ~K` @r:oBRu %^k^09\] H̤o43ᐲ8[lYikQBVwt?:n.,*7Y@DsIw3]yaK;uJDs#inf$i%Zz:LU&JE3IY~}z<-zeς@#M[.Zlꎔ^gs5JskX=J@n.Y죛[0% p9Q' g4s`lmQ gc.L.IU09Q/2V[Rn!cdz92BJdX|cѠ1 ゖ[`Jg=Z%7q ݖ8c:9e[Zp}m ?j:Ih iåh|  /AV0'ѾQMDw ы~0*wT)|,UʆHă;^JKU2D}-ecIb RXcQGJMޏ0YR;AƣkE ^;~h칇J*W$e7w I'\Vl&8T]JG2nEPU2mddMWfa,WoCw_lVisZn) +f7hP#oxG0R5pб%n h|jkz1fva7 ;[[m /)ָD6{)[MÁG2:Xfǰs|V ;O=G=$O&RNSlJnEFХ:a*;{(gYv'džFҗ 4` J%Eq&B+AtCs ƉS(uV7Pdh̷!(@߀oi:JefaˏFKk!/?z)Ub|P%.g3E0٫CJ9dۧr`ۨJ7.I逎2LbՉ D8dɧ춴U3Z^f K=T)&鵜aƱM;b2b*}+UZsjs)':M}[#ւY>WD]v 4&ݽͲAђFKgg'$LPyCc`LUmRƍL}Gu,~ʈ\}6|Mb@A`xLv`Ja 6PO 3aë*X}RΦ4%Z0<^X䇯]59&tuY2.y$V-o+::+3/jc9 +'u7;yTCH KpCփ-ޝ>1z08PӲš -Bk Jݖ+[ŃhMsXՔ+{8lkpj.J`FlDc-Oހʓ\ᐫpHGeĔ\n6Ӱf=J931fY*5?! ]ó +ࢆa>}@c4dVx D\?tl9d+7"cLsT*XY4-rhlq#?MD*XÝq,Eypr{Z>Dc9{(c:irW_ԥB6e !:%DD6]"[s})=,o a4aG zcL>1NYGC%mތ. č86S9KBN*/tB_+Ec#iZSKMKŏH#mv4 `JU'`<À2LsV{>/g K7%sKDfҬIٸU_)ǣ%Nu~SG˔}D16;J"h~꓇>'/f.`-&KeKqxp/aF@m^gr^%e3bZs=5*d%ؔ{ǴLˤz} ZIK 9DͨF&vX:[dwʏ^yʈt" 7zDi P6$P s^)hqz\{.')n F\4DŢ(JR?ܞl\]Y2'ikw} x/jK"b.%"@W"3tsݥV֯ 卺dm4;Ih}&ˆ478?.nwHmAyԲ{6:8]. X9l:jLc@@LlxK~3ԇk[ 20)r<>]_:zÿD$jtVHˇvy@\6̓Pn8k Prt{3vhŮpbBɖ)YJSb*-(CLR%_2|O_%McF29{0~+rx0ʋSs:O"v1,x ܘrin>voY5\022B<o\<$Yup &*f6B,0yaͭTueKyh5z_ >tO~3BϞ]: CzJ`<+AF=I|?T*u+ٶSmQR|jP-d˭{={ITHn$=a~{EU-ZUY)]`Ĉ?K׹i.65gKffPYCSώ5 K~? :H+)i^FmBf鴾r?2\i'Skz8xM '{G14 >܇N樟xu^|gkI7s BD;1Tkdܐ)M؊Lk+P{2؁+ŏSK98)iuN,ixS%|USOƔqJ%P?oe,!hQN)9~z0FTUM*{\~sbQhIN?T9lk0@-+S[~VHm]gYm@ f34 %rK G0'zT(GLeWag7AXCO~7Lr 36Ǧ/:qB\"!l|7BA6j-(xbdՠ-4@79SdEbLغ'd* u0MC0 eq^(sVX'_[r[cx_mNú isIxZGZ)\o ʽh(gK6jW(ZE+F+7r\Sl-ב7XѫBk 94,h["^eJ0:H: T=w>ѭ݉ Aػ )@N2EuU$[u4{z̾FCɀF㔓F87[AjBrQ,)"lxjotq$`\rW1B)}wK@4xoS8jԃq*w=;jȹxXqg (hqXig SBDT>&ʿsVl JB+:S jۉh\Ex$Q-[1IBR=8MRlLٹn^ pxжa}B ]v,<|kjKnj.1b<"']G>Hs $_n]XT[?V֧gE. t&>ǃZvYz86+V,Rd.!~&ҭܹ9޶1ʓ IbgX<-yc}TYwRsԈK[LIw!c0!P3t-1OOp\qI [Nߜ"l%1|j{g$gz)=5 fRwM>iXRy 6L@o؞4Q>}-6D-+j&G)@ P6 of$io|ëks(M-X0tu߬^M,|p FS ǫ|=!q١ːhWLY[g݈\4U#Y4\: Iaq0#_笒5lĐ@ ؉?|vcP!)x"G*)\uhVͩP_?n!|==p #17ňTGJuGJ_GlS)1G"+RCnM(AJHzAU<}#v]%X6Dc ͂.p("ALن! >fLP3b cC%Ddd9+)Ұ=d2 Lnx}h֑oW:|#t lt\٢>*g<2ЪS<:2WsA|„.¡^.nf:?!Sr$(! wy'|; S0< ]* 6~䩎Ј d+rMC0esTto{`pUPZyD̛/[Ų?kʤtf]?a@U0=Sp'.Yi 3W:du+k$193xGomyT#H=:cyAm\=E^2OyKp.ͺ4rhg80tL?1\TPȂ>1J2ߚ}~V_5K`JT)9zy[u N~bi%3&vm3Auk_q3Vyi;!f`FoRH /§Tb q`B%1a[q;`wMnCq5EOGơ zt IG7!LZt϶elIQ,8.1 ]Xhee6.pN,WCa "NiNxҩ+)^*͹SWCH *'+2҅9E hhd+> ߘ+,㢗 @&|6++Unqo] KTf`O.tO-a{5k{i`_;H|2(@qFr8r1&A@RLDrY5H੒:GsNzs`Rعj(Ub"JfkDOE8mzvȉ{^ 2MU/Փ`gFro&>ѯ)ՠZc16^ZD~y5DhѺ ߢ7 b1, #dQ6'lγarKw._LcGV]IQ+8}0̹l7)x&/c~~vүfڑ9tfRAFbܷ5hT%@M9XxS|NL%4 ''|T,x yq_Y.@".y73OKͭ޲p*>ÄsHV0h+v#đP7Sm!9ȉ}X3g.Y9/_8yd.R0^Ͱo 5 DĔyx~jVIu9f]/\lvn t"M ZBU jD7F|d+7Hd?[X շkZE?j5-0K[$|8yF 0ev>6!,G(Oلb޷0Lf~5 ~A!Jiۭ%v~?E/{5їci16QOV8<] <.رϠM&4]M-AQeZC)i:eow]waJ!R)Eh\RtkL[p\AzDTal圂:1t!AI[`z8F-VI JN_KEzJ硷X7(:7J ꛜ`{4.N,54K#ܯ]$rkrT1DHPe(FU0LA, E{SVയFWd YK^.])n [2sAh(]{ݏ'[M'z1)0&^J..C2Ħ+ ! g5nv!<)VLuf e襯nxncLM;d$E]_S/-G̬R@Z8Ԥ H͔DW ^}oCoOXjL-9</U*u>FٵHjGj5YK^hqkË5j S4F~4*zZɚNe`|ڨ[ThҖ*""fUB_w',P0_n`Og8bB anY!R#YAodoA0*૮?}E,}r5Q̲It3:9^%t‘:͐PM%uՆ ;߁AfQ4/}^_a,)ZaD@_<)>;pKI^-IfN\XL-\ɉF/qd]fz"J[fnEڪgf+:TL/{NtBzj'N|ل`S7/;dw!$?AYVÁãަ粈hxfm ubLmuW5lK>ȟ# ۴tZ< ]^$t83{=v`;6Oj|8#Z&b4w}WQWEyn52;fëb7 ]?n)EjL?ɥ \̇ ~C0mXF4"e(ƥJPX}dOY.yX$odu$HkUMWkD=0"{Dͭ;_(K(݀upd);R/| n'zANW0?n%ٶ6.2ؖ!Qt̅``-~!gF~PyG qK9r1_0dD^q8l^< S|Dn¤DӉhXi.){1`hsracM^ %3c?hn ^픰2F5lی=6Q ߸$9+AXF)hAOcDlGε.$4bL>!N@&l˹uIy5; 3rj$D>z-n(lh̉X@& 4 WrNy$? `>ͺkrbBpœ-a7=Gx c#xVak39!R0F Iu]ш(H;vO`VTN%{cl"bMO\Ew rI9qTgw$& :YJ7W8Xu\ea XJzÙC|_O7SD )Q!9*`|=۱A2jh`d]+-~%4`od 6|D3Au ; H4MAA&'eH 6lm|wt}q [X:Yf>С[@k ]WilXbh64 V{YT&nMsE]ݘT^{GDACr6wTp /1׫]d$+N:hIw,}pYzVA&B-vLy@sY!32ZdBUAa!:o;AޘF1۟oc9T"쓽>htgg_E4G`Qc}ҧސWgefH9I?߫RX4>ZxUSXc10*d۾b&AD?W_DeZky=I53`?ҸS_q{'\ma^s@/r:߿]%Z2.Lw{f*ڪ׊o=h2M ne`?|gC6~=xtv>cq1@2aI m2pd9V0,v`w%X3ƊhaQ5K=IAtMRVou^ɑc&SoA6HC)(>ST$z)WW'苤Se:\ ֬l (&u4e?pCG *mC#@j[kd$I:<)Ei3B+)k7u岛f7ZP^)؞%M:gzFF21 XNofdUXW徫ESst/Hc$|*c#&+jI:Nbk2ova^&6xҵMbpCWBvnӰ49f@ eD" qSؼ@(/P~ E8Bea42{Bº@&Lb/t]ݺPbh2>d37䝙U"?o1v⇼+`_VdA:g9_9`ɜ80&Ƞ}h|MS qO_;9cvNA>Pb+3 *i-q EFN7f̲/ v vgbhbAw[Leeˤ)0g6`E2U2dX{iP~Upn2PoD;_ޮH@V+"; 5;P:?Ҡz ҵ]M]-H!kG 9J:Hn o2vVlJ]R[Xoǡ/֎mD'm=p<.oui?'[Ýڿe6 '`ո֧Ðr,ba2(xG &yP tm@ GA[ԬS 1 f QEz3 6 ^rƋJPjE9ms@b~6{"'ɷkV }LK@J0X=/7?$`ymFk4hsmi=&50q9orLɰݙW[řN)6܏p㉫ .W֫?!O-H ]v&x瑻6eT*,<Ȏ8٣YV .*qO3 8ט}0P_.孃gfUTѮr5?p&(U)}TD MTDIk9pLuxjؑb6v #X`7bU"P_-'xQU?0i3z; teR9`OYG0:\S3y9q"Ik 3N'Rm4~2#Cn޾2 4.h9v( @ER~)g<yZI3FG=4JrlZ'1oed4X\NQwr $k"="fX][OAZ7R7t˾#d6|R3.eM` N&^#QJV󴹊A fT'o=˯%q0 ʹ\km Yb:ªFSHX$\(BGƐh\^8e)B=%$ ^~;R!#$)f.P $DU?QӮa; ]K&eJGQߎ3ak zrT Srt?8zn(QB0EN~h|'BY 4feb K0(x|O#r1 c&.Me8%Iz1 3j2QR u<ռboֹ %[E6(.aTu{OUtsvKM[S=Z)G9Fkg=TF"e͑6"{\[:4 "an{vY{WS+:V*0DUST#B:PTߡd "}yբbn}=@S LA}?AXSh8<".q#>:lF>TP(o(1;ˤښ3RqT "IT DW-OH=~)oA _ HT)c V;5} -g?2g:й’&7G8&WN?ТFG?G@s)5S}&fJz AWE6BwXWw|F**3♊$Vk1zRpRBw#gcOEǢDN&jJ!vW# |9n9~-ɸz=eM S_ڂ>b~^ɡ|mR&HH2>.fbWE?#|JOHN66 naM وI0hm̓Knۯs /4o˩)Q_mrnywu@G͐I؋D=4\ϑMB\{:8i3hm Ѷٓ- (eoɵ%:IT8w``} @|/V\[a,ͭ:Q+e &P?̽bV)MO yJ{ZE s*Ήͽ42i9x6A=Xy@Ye) cfTv%RD!YCHnHꌃH7)7ll?r ΍ԯ )!DRxSPځTHS&OBYh Xw`qz;A!T\P֛g`T1E`~;Lg9:^#Bڎx* aO{ږE*>긪ٜPGMMjXiA'S!YO>^N&Ԛ$6{ۏ,l б*0 G5?Ӣj60t\o2=c>3:Fǫ Y ߽./|~8S8ˆw>.Є{hCZ~J*nߋ1"׾[H[-p}u;>+mJ!\B-Ctw9}Cux>Yu#˿6S Pt;F?ʜ(Y|cP񑙩@{03)`U?|;浡! #tX|cP]KrB& 1=ٯgYZ640e6bdb8546ad309b2e8eb50c3676f2bffdc75b51fdd790dd5bb3b33bbac5928fced7476c30aa1d 6493d4a1efdc7dd2fb0543b9cd81fe24dcd625bd d380eec74ed40e71cc9991998e2bd91f301d6cbb