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 :t o CoreC++:threads=2elapsed=209.008cpu=371.920gc=32.628factor=1.787zXZִF! K]ŗXf1-/6vRZy s9,tگp1 qgib2KwYD<ėi2"D]ó\5+D('?,\׊*PُI>j; pIWzC#)M {0FWS=fT?NTNZ˦w͊d 7Vk) 7*edm)'Yv9I(NUY_ @$tOҦJ:ӥ0zIC=Hw:X ;sR(; /H]$a€})Q{6Ң_YAm[RxvC*eMG]+Ng8e/QM׀~Z֜>@dk GW4.R ЩM b(#VtS0)dG7ƑznDc'㷣O,LmD<aHXr'2-lljj5C~J[s͙. QQRTaDST %eYGN'fAl/*6"&@,.U{D /@i"Vl_ɚL"DhZr$c>Z<lp z}NJ麂pv9R\-^Kk0 : HO(A{\rGcS-,Uǚj!~SʸivbT]pv䵓Ф$??Od<-(E މ{~*wUҒ<0u8 EBV[~&ij6쥟*N>rv03QCc+?*t9?IWpJm[6)ˊBE)C yvQ/ r-[){pI#n&TIx0b3oa( xVNR\ZDH70fP|w*%ų&\(JR dO8^C{S!~ zroz3sd(ۑ@82JT?qEifܼf9൫r'lPU/Th;rב2> 5?Yө=ĸYʣ}Î-oGDfC>YFp׫pS_FImF|5j=\h@+ r@OiD҂%6}0!\LenBDԇ_la!(:]nͰW 1T=.oC&Y>ݏBpb;soY1v _.,{jh/<׬`A1Vq|RϚnC1؋T`l?~:q2o(QZ` EB\M^)Y5yfZءݐ)(-Ӻae YnZc(Rצɒn!~TWL2R\LM%H<ITK]#6ua<=% ({M<|/6c8f:.[.X8#x)0HmzB{t$)}dٜ>ĝx%qyA',|A 8(y<8,?+r"C}v\hWzYtQ~țB Q`P2 $( s@=_}ҌloĦQ(eݾ qk8V$Y5(3"u6Y9|@̀q"08v`<ɠ8։Cⱚ2)*XqՓa#G>7{wQUe .]Hna0& &ŜR\0'h/+ չ\ ocI[՜vD,s8+y`Mr iM>A#m,ifIqr 8,yv lMyTL)CR]^Ȍ \1:ycO͹~{4ߵy*qSvJAvhdH7SZ%ǧ/AN?CBpѷd3}<{ t7f0) OyF0W&Ra ;[8we㯚I)OY856CwG"I5`r-9ӫuw#vDxR%o8Zsyar nO_BAWBW'-2Ǩ2˭Qyξ@j-Ӄ> $!kaXʶdNi?IG``‹i5}|1LrCZOI0R%ͺ,nK%G3џ߃|?*Q'FSW{#(V`!0Opf@qpo2.g-EUa٢_qBGSu@ x8R>wf9׮Q,ݕ?\U%_"y<$$J͆ o1\߆`:'pǡ4?kϋg#58ySrQcG1,O$FTfT\LoangT&6DLY3PkϻHAY#{Tݹ{Ig[b66IZ>"v3"е|3*a]}3}Ǘ?w?oue~npŻZ"e鼷 2:iIRL^ޘ/ӑRoSwIy@|8۸7!w v/Q@LׇK5uZ*9T~aRƒCE!4LUq0G nsxrd:«L dQƫQǙor|ZRË(wDӀr7"I4@-1kkwLh혚(IpppBqʆk}n6"l I֏}3/v/NUg7R7Ե!t{sOfN>o}1$OP)"ZNENFa_|K:9KN{ִT6C)M ĥ3le3Mv2Nc 8=f4_gJA$+#;}hih딸1,O%QFH~/@5F6APKH h)5Dk:xw'[?F8b1X3[m5vmHvo:/"u#Y}d/L.HZ2)`6#ihoa#Lp{=ƴt4{ Sjn 528KpT8F@0&oc97P>%#!_zJ_t4?O&> [(@X)؏ʬQߓPl bsgөּⶋ,]%5 9bԉl)_vG~lI)2H@BȬi! z':H3w@>%'ZvSP)P+iH FC‰ VbG f F|e%H85Ok<ؤ%OJultH']a"4 ]!DJ0+] !CW E˶ 1Y Wa:RqA!&f6 }XUJW;S.:4,-5(W5$Ŗ_1j7,F֥'UF\ J>{RKHU{zdngf*ǭಪTB=mYjXmV*Y^`;E+g:{1L ע)B2Mܖ ɘ8 \BVͪcH冚=Y'+12ثp)s^W%[e ]Zo]Oy{]C4[]a[܇X_دIM0^2~,EkAUpQ\D#;KsơF]3+.gpQM Nl\jnkv'nr%8zX!fNvXB)̼heuG'H>C>tn^,ZǷ9%{!RheL) 3p){AS7ɾp64x#灗Z,nbN{ H-򳱛m2LF' -:%rBɻQfK1ɾ |LD96muC/ѾqvPz4^Eq:XkmĄ5EPo[ +#X10$? ˁsj#w#N`![JVfPoj@ imnk]NAS)K*/e1%Ao?T:MRcj2nUjעBe-=?Nǀ/ FŽP a!HțGZ1Rm~]ցevu[4=`tix[?@Q[V`lۄ`\\Ld-f5}SWSLGtHIȳL88 zfW:LNH!@:)mMׯKfӂUo-)ul} jɱ;_M&`*bZ8dz$.&E')kJ܄*wgL/X.!{Zw럭w̮$vQ w6Pyn"["ué*8gt,V1E4G%tӭ_jM/תnnA\Xԓ!W?#}D D<kRu-ﱗv\-Q?Af_yX?|py%'ΙS;UGUz7_m!DE52rKA<_bWtpQ/#􆘩*ȠRGr  (JB˔p5.קglG"|G a.e^s%SV2Mh a]4 N&T~z j3Vڒ ̑NSA<3+kA"'&}}"@XCEd;#9[®[R,nC_=srY2?*EEY8L5gwa3u\=Daf]T Etsן$QE4!S!\Ө#` =.Ie)}\`Rcl~U38'"鵸?S 5W%g %{;X|'K /;`zJwH*)`?oˍL sH_X,Gfb׽9㿲tsp¾}ЍW|T'aEU:F,P6xtJmP<+shʽvat9wWRC0xo E^0=q j4q/Y0U7< RBsUsVZqxI ,S@<''֧|hnlZoy)NDC<Jct'0H벲p)O-ǫA]<̩@ӵ꓅FhV%'oW6~W\Ʉ%9bw?ԥ1n ܬ_:oFkDSk%R~7r$s3b;] *9؂Cysd!C;ܞevZv+?tr`]i['uLG/cA`q1H~~{Pir c|D&>d0ibW(y0yiGČ "ErvWϘkHUE"4Q]-\2Tsxergs? ﱂ.~F %n _.߸kn2!m2[j6a$mM>DF&N"6YTnX"(WP|жhE_ oې2$֮9Ϊ*S'K&:Ao lt7B*y\PY<坡NM.9`&׮'sxf6VBU?VCp*ًMGLTJtFcpkZcr{ܣбwPA7N䮾uqçZ'̊Siz~z(_Nw?_FYQ,Β`}Ly||V"%7k~8 ȨRTZԯ©'zya̸z%a5H 9|H & *йcՖrD*?v[ krrx I6ӴznVIa3&LƄ*_mmVjq̬ 7\H)CF^rr qOY9ET޴fCFPQx_z'܆E.Ui7y%p|T$NQYcA*T|to[2^r&I.y'C}]Gʌ@!ݚY4~jrU'q.a8n/z/) bЯBT̻7=Ƃ`HqsTJR tZ~%w$@ѧokEVὌsXBREW>eyBXl }-l ,Aj02c@90M5 11,vBtKB pW H@Uࡌ1&۰e$.m 7X؈ 25rҝ!JKw83n"Y k_4zblQKC4( )"T[ $^!FjЭL9ӪFRϤS&J#sv>vNFm?eT3 Ev0ݍ22R SJ m9~O4Vg%*- pEJEn7+WB=w^5p;H)']lJ[ x 8U@Wf[ [YJ}J)WW+5ę+A~Ծt'QC]hi|6lzP<ظ}h0FP0j#;!ѿuo-f̀$EH9'L# 4RMRaI%vF0QdhI c݊ 1hh3Uww&($ L8]osִjǤ̵346A[K0kxgy݅54V 67ZIfEptSI2zkBb51Ujl8jwdX+fr,|l͓7HMB,NX% )L(v^!FŎ[R}D0s nƖsP֑ Yȱ[p{ڴG)8?iݯ̏tI[Roޛ@vqhF&ke'2cKfH1ZdInpYYfc k, OGB`dK9's!:>D1Lqby8:%%chעBKA$sM*Io^(yy)[tPc0 ^_<chĔ-]{yG/1Wr`[*ZjJX5q9]\\LcQcw6IUhQ,׶o6r@9~;B}\H LS p|p+tj}nP1?K_`cJ0Aq!\Obȑ%8,׆4̫hŤU⩏>C0}78A z݆?. KyܥF4 V0X/køS^##u0(g0CON;gم)e܊|4ެnnlwAkcT *fFGZ 0F$tϪO] cå&[lt,Φ/'z'oSfoȒĚ{ w?bQ ]x{b% Q|7tӎ[ڤ 6{?.HƏn1 bYmR-9zFo49ݰ'!e4E|ijΖFk5q`.vdtճ9宨̠*^(\?Ou[N\UA;fJ fA7gJ5R$I.1H(3Ϲٺ9Gͭ+ j[27/0zN 9<rs֧$g>QF߄L:; CB{1FUx9&~6:.t`8K aʸ^&sڈ[A ®ՌOlM\VHzae9at)nޜR$l:1>g