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 k9-f[!]dg lY7`JE?d-^/ybV@c\ DjuyI^+͑jR]16AMײ7BAZ+1M喓`dUD⋮tLj[iѓҾm/Tp9ռfUn##d7nqLŐqjwd}<@y4zgv?ah0ّ ` #[RaH8^2FGbrzl?h9}ָOZQ*rތK<cGf})YwP>U)&/g8)Sg\qNnYyJzKmPNs!:uOg%n<0[0Ɵa'w!""X็9AH Jg+I6"m5x3(&ݴpKIK%U'GB:7v~g?G UU]CnWױ)"T#} =Z+Id"ߩY2~D b\%-5?&`7Ik,VߛVr)_& p;.1]mJp`&]& gYZ7zXZִF! 96]ŗXi%;P!/LcuhcZ0mG}&?%᭷SC; 1ȾjvY0'B% 9*J{Q2/F:E@VMVAD*:nDy~ -MⵃgjDH|dȠہ#;)u]/di".y#'T\KREQ:03u5 ԡd$ X5L̘/&fmS$JX4 pk[<2(eQ0eV"@=&P)oBsi4>^k,}P9cSz{N㠷v8W3n~4eE$vM:ӥ~U1N$`ayND̃sk7cWxk #VI+7*u{Y lx&-s17WGmv|AJdw߬,!)w"^ؘ)|2Z>UO$wʘͺW*Sofa3Ӫ, 2Ǵ];m2R}ؖ>ra)!o-K'ed Wtxc6b{%56H{ x;}x %Fei+.=HN௠,C?xRlFwAw&^ =ٓ>%El1><&827tKN*»E6zy6zdZ\!ސ.X*aE9l(G͍rEX"b*O*迬{0p@<5=}f6U}4n«ѩ}=axφW -b]s+t\}»mzFV}#ԿQWCd3UkpV6q[*:plcVV5 Xg?kq\gw}?(LVSci7}CQД5`GG{hn3Ѧ c{)'5%mhB].7Ln[{y0,<n%WD6݆w~pO]#e1t(`gP$ws/TtWi$6r8eBrH'?lmZF= < ϪVX6kjj&@K[Be ZCQ>NZpK|XOuu$~1'U:FҰ(q+ ߎ 6x g n8wBĕgxW $S$% {dgZwI' z, TlhGGye'S&gnL*"dU|S01+@k$= .eV{8ʝ~ŔbKneVgXP>3?M"X]_DP)NlCNEgb=@K-W]5S  󭛒9k>sS﷋~hNQcl+}msē7P/Y܍Pܵ"z5"#.G\s$*#F:t^ O)S0ϱ˂IhPVF= 皕Yg" Cܴ yVs;mmI^e"%dr|U 6۹voS>bz0ilxcdq6)@]A^&*XOf1oq:.N,yh7;XǾz#NQ̴MYdVwڞ >9w4yy̸Fi=Rtt> n1H*0$ ~XlP0=`uulTeR D'%+ȫwC_,LSMsN1&r=TS4%u $',!0.!\\<0E)J*|}S "G%*lyLԮqWuZ8Y;t?ՐНTT-tD6r"O;̺Ļ?Y;bԎR$&;K:_LxdO%E_aaO/[GB0~VDU0w<\ZR0A[cHct߹YB(v; kWy!́Ixыq][IO|V 6 t-?* U4Tz @#11({x'ePDW'IPq<&-jhcha%W=K7vkq*Sp/˙Dx˃ڦaVh-++6t^7@[^Qo #!z}4iJ| @@J_3ITliK,r>0ioaxLz%e/ 3-z% tU\p9 %ܮue-2as 2K/Q9n r6ZhgS k>ňa:}{OwSʼna^cCGd p,3fl綵X ~Cpͨ[tSGufa I;yxk{vltp_$U#DUwKV@S,ѢguJ㦞>=LGlu)#)8~[ȹ/4TkMkHmvד~@Sh}!ix[٭z> 0*mŞ{,wwDڨT9N _ɼxȅRSWG+| @ f6?)8Ԛ*F^ XTSދ%k}`}wIؼr?o6#T(6j8.V`lvlЩ"܏X39*E;Od((ўMiH7QF\M8ex6Xb~2/pR3_,l,[O3 b&nR.+7A2SH؊ǚz؆AB__-Zk&tݬzZ#JRqln&σ қFW .q"ͩmGC8ܲ˗}0y9r^}gǾ H^} 6 iG2O/r?ayCs;d&/TO$`C&P̄eҳWkl٤Lu}_qMթW˔sco4M!LDP*0JS5MDI{kP}MH-W{Wwȸ@ %kU$Ձ߿u|]\fSR CA#܏ GsP% ]7~Lc?6Lgb +odscw~pS(e Z _<=*Iz^.J(b &ܟ*ġbUgh sÏFNLߝ<pe} N)_!`%pQbKOų(Ncv'5ѓZF׈U3@~,^6 [47 s/ufUs'bςEtL2g)}` Ճ\75W@"TM?F>5:~i U;_7I7UԔh!s_ݡz±Ȧtdg" h]2F#vWk=Xxtc92V8Fgi^",%! nzӥrQK1\%X,#K2h -KF7/[.%<l+(,1NE'K(3RlBh|(i3T2?H r{P^{i@v·R2b_KKw%۲߬"lw|{X~6,9 C ْܥDXyFL!mS;s!odW#`C6AJ u ?yAj-Q+L;;(0{bѪBρq~ҭhz9˒IkE) ?_> =6fK=ۯqT-+IruNG#\O*T/2%3B|Dv`hK~A:f7ݗ$Gu;9`pO,Q:70.6_Ќ {'*g/^psºx+¹m8sH((=οL0z4駞L?$ ڷ#vs"*7nn!lS@J\nq~ RCiGZmhTn&C{.$yY/90I}\Wu6h%^k x}TReW!iuh:4+9B(ߛ.~3\Moq,Ja9 g:gE_:,DITNCUx_!-kwt!l|f3ljF'FbzK$iDC^NL*Lh5j3 3TBDtߞ?,f 5+rp>/f"5q@ ϓiq2>5q}g*u'z]yQ`&o= x]ދm-Y>@ImӱbC&#`V{≵JMbtK̈́pe؞C0"/d;=Ii.(JzCNeh8TM kG>W]mWѺ!y8CGH~,/3P;A a_\Fz]_1/]6k;Icr^Ķ@.Tj٪hIb`C~`ߦ-o YcMW3S눬VEG6I\;u8^4^ d?a/DB_c;34^O}Bf΃əx$kn;hȻӽB$K#C:)X +4RljZ 7ي \~[l(%*('#T͚ʃ UCݤA7|{K-7hB4%w_!Lf>}'h^Y0G ̤S>T9s켐Y ŕW?X\OەNabmsD:,'^~wBd>[Kn45[D/E]6sб)Z@v.ꃦoO~8ZhVA$lC_m6tmmnZG~ҿ@f;<^* b?s`nE4̬@uJ0+B!z֤@V(Lpf"i/Nmo|+5kў+S_0R-@VRg{7Qi ? lxXm%+<=VxCޙ}P戲c0$3ժljj!ly#f4IpHd"¹^|wWKE*VGpa¦HP4oҐ?c@%&bE_8-Iu<̺%<̑"# asA#Vr?pL)iB`^u]Ѵ# Xg͝T-?Vu1M3tѹ F/ 080r3=_<1Ѝ .yk \EZ 9OnjQY#gL/<&K-QC1;3{3nU|KAdh4|C>tE#pc8lUi@㭕ρ@/ny> t!"|?D\8銾3dXCE`@DIu+LXgC>m);WdJ}IzPG ǃPWնk ) ~p.9hnG6e!3{fOgo~1~}Tnr)N#z֫\+\2wlDê!n a OuP`;yZb#6O .Akĕ 9J3@e#ċ >`EĆ$b{cmhD2~RUsS%Yo@-N Ѻ4m$BL 0#zM§C7MO9Zoa4F:ʔJb`uBݍ sb MbTk:O h6Q,J\HtgO\Xab~oҵFۮ= |ms`ۨ=$ vBF#+t4lc2uFљc+f8@¯ q;f֬lK JcnX~gPgVQ'8t|?R;׏D&5:xªD:~b0oO\$">u.A;7;#vqgRor@("P'cXX͏[B*9<+Jm9O+DuH wG ]h**ZcmN.cb̑o:zQ+ʁz$2KDZ⭣T j'ҤtAb V Tټ^fYF5lcU}> ,O.&^SZ֘jr=?K:|GqRW6uIBv-?V@I+9,>T$C?4'}yD_gIFB"KeQ{Д'ҺR2z54ꞤlM8сLhYa)4 ?rN2ש:m { V(I{ޣWS_^,eۙ^q=ӝd 7I3(vzwM-QΕ_ty1M j-ѨY˓)`H9D?{]F.I3d0Oք9SisL0!u槡Xr7dݽAփ{|p3a$V{+BMd9'CCX-FNTiȯX?'g`k]O!׌<'2 q +hq+jv=8{=Y#,"2?o*}!M)U_yomRl sͯ<(Y]\Af OS_r=Uߌ~NqU9ꑈߢ)Lɝ:Q^aQ wnֈz?s wg9njH +&EBO^JѠ33[T=1(jWUAK$ɭ,|=TU]1y{}ة-9L"b<2cc)31`3O+$lR#;159% s8 JJ2?sи7JfZd,@uRp25zi J 3 GX }]dP'A.NSʉ[=`\3gIoeW=G&xVx nZxsB4;:珫 1V\|Pa`zGc]'!X49;9F>~Fs$knރjJH(\&b #0n%`ןI Y"'EJѝ^LO;l(X03wf}AO (7 "`; V4jGdjd%;M2)L [0~Iڼ+h*)Z{皬$!9"^C5կ ǁЯ>B EDТzZ#!4Ci`>Z^O+NԄ7ΎCU3ܐ|T^o[vyPs,.Kk6JS\F|Qk9(pVBۇy(s9Q+%Gc~C$a' r΍8B{.`(@8P!pVI`9o[^o6LJ6Mp}y/q?T F:YdeH)A c#pٻl[8>gn@LQXoR-y ]"g(nΩU1>:s2Я0oO x^(O wKmHkZdnՈj[!Qs^B*nf|`v Ӡplh%ܿ,b3@V5jGW+MǹOn]m$r"(坧ꍖ@~6)f'oA o [7k]?UOw̛fM! MM{%&)4[;,iUJ,$ImxZ<eOm>[vABe%h j9d%iĺ <`f}`$Qœk΋Fs ^E ղqOI^z׽<؟)\ﮫ}@Nk O=INZ9F⏣=[8ޑ'=HǶztZyC1xg}]k>UR RK^vq#!73iʚ`$R;υWz:;vpZJ;$ӝ;N֯=,: 㬪^TağEtDgB6۲pl*m p#LOVSw*4Q`d8%,^ qJ lf/saR! j~c|#ƙc1h1'' I=N8Anq&)EP OIB,Gߡ8D)-žP$MD1?]g"Crece7}ptn;DE"VivF骙J]!NTG\kQՌs5LL"!}I1xg'o{UuMﰠl.q4\X T"FّΈ1j`JA 3y8+ʄ$.ѱZjxOm Rk DZ`s/Si 9