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 hhL! 4 -S]Containers:threads=2elapsed=115.046cpu=202.516gc=10.520factor=1.767zXZִF! $]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE+1?Wؓ P7O?_X\"kfif rVqd$.<8=(TpUe ņh-N.zBWjb  %vPI,9lz{WtGJ.]n Z֍G)H2˘ x׋yC{hQ G59  ! Containers z'Mu;[Ŀҧ8Wyi !jo[ޮ|h@(BQm3vP^JUtY>ݞZJ }tعjʵ m1;׋yTqS(㉓ۈgJRO*aӼ@P0}f_ @&Wp,>GKS]5N#sM<#W'?ߏߚlIGG:TvH`#3 MALF}&"/3iU8nė7_DIw49o{„L|+xꥴF%胾Stjq]zZ(z/lR.+C;3옄QJ3ˮƢ!^>^.B~ ;_ RNY1v+\=X_n³G*7°D 4Cgh] Ƽх%D'|aom8cm콺]ihF@zyVv{F XN{dM)@}MyUr`\,Жϐրkqmʋ']~-Z=&K{('r#*܊~U(栽|xE4׭܋ʇ'<)utڙxƆ:\/H@6hC.}M . $\4i^CYJSQ#%_b:84[.7.S 9iCh&[RP^^<CْC|a52ȯy8[$.~lfXZ Ʋ@OHBd\5G\;UT{bǔE~mpl25z$iy6ݻ*w$YG1NF]c^q.q9CQYxqLnA=ASKn?ԷK *_YKz]Q9NG Z+Fnڐ3'P;+YM1$S]h쐵f^95zUJ*rr. /srug sOFTMS>@бDf I{g,lE@4wmE)c;5mI/P(Ngj5!˯z<+Rр5 PW1L  ,P@SUws˕8 G]RJdJҴ&|^Ek,CJa`^x2 GgGf`0hZm !(VK@*#¦Ǩw,4Ng$3jsYD_$¤zNn.;#6#ıat.cz[JR? sGGdv +Rv;6~+ 0|7[ c&HmVQd0D u1[ jpȍ.^t*e2z*4BGl6-~dg޿k{K$ZOL$x)he0'DxI73p'/F,5s@9bYĤ[a,Vt[E/W0`vڈ QŸ溠+~|R%OЛ<.kD~{:lC@kyEm*mBf}QZH+2=|^,GaDĈN7LA.SrB0-?gaGE) p=eTh*NN&wXI!hz8dN44| J[ z7^ξ^ od{ZD,oɝ}F9÷B-wxv!+`w^Ɇu h1՘\Oċc6EgeF3E~,NK|I"3FONdpA"O#/O^oc@5.L5Yſ:sWQf 8Q1U4c-ct$7ߒ$KI~TQ8):\<'ݙ@=rZ :iM4ت|V/ q1[ZInde~~:6 W9ud1&ZP]BZ/m3L52>p*R4҃Ev5RFLaZ/W_29>iG++WL7|;V{G( "Uz@ڲR YU.CA Dz,OԗX8vܼ8 Z{&%vAhk S?UHQb!Jz/E(tԩ. 3Fba|! HqHܧfu9 a4c2zK׮@FOBj $n{"yԛcG30c EƨDw0Z.,9Ϩu]+[`{)P:' @q@ء(݉|/mAHLTo,Bw[aYDwڴjqKMLɴMV9G6i9'tkI&Ķ*<c k!n*zԅw4s 1FGL@.#9W6ߨ@J=hO.~I~E(ɧD(=X P˂-le^#ôdinY@ۭ\on]aAVLW zbF6a=/i$ {Xcg %t"4Yze^dTnqWf٧T*{垼 غvnSҟ}'X 9y|rc3CTu- h;ohb1BIx$hci!7^P=Љp2]ɂLGp OmF!AhTDƐ,Or*zqŒHs9\fЬc@RgX7֯ )rO#JkBsr,]ͱo4N(ˣC!d9nJutDCNFF#caNYo dsDI[E WV:d 2]z!;1Q)0tXmA##'P=AEeFdNӾYr?PP*sxd8]Vni~]?ޯ84{4dQ/(/!/Ea{%s h̢tfWm==20T t*~=M<)2}-1 m[%cH/'OJ"hɹ/|Wg,&D`qy$qf*໩-HY>N҈^ɏ4/ԪIDO 6 &1炈?jС*_ؠ.T& ֢xy"H,0em6 n(zZ5|I^Ut[*]T:;]~j㬔d3">D?5 >o6gCj&pAxȈk܈u^{6,?-e b}-׳/y,dMw&(2唌>ƠD_M0dFفBGZinHo˿NT&>ObEn9*j_z%b K(d_1] 0~OPAKA8Q[aĂxJϯ+0D =}:} |mܑ|U'1F;WKy[ͧ#d v5]6&+>Q|mz:E\L_krfzέX!=CX[~@e_ TorNtq~Axs OQjM}_EϢg*D ݬ@SY^x76ۑg'B}VӃ#b6j:mҲ[ `h ڢaQH$biDGY 7̈>R08*~6"śoZ•K#^ O!Do %bhZ߻[B @C@n/q@U񸲔fNL0Fu `d*]z<]ћ.("x`i(4;1 },+W .Mr=kV|V ߯#-]5'(#̀AUBPii[z͏bLQ[em`c~8 hemu7JT`[S8 cXaɏ|#'qC}pD@ Ja2Uˤt4aIAZ%޷nW^}A*fqN]A Gw@0_o *cb9.|^6dqn>tCy0OvFn A+e.J ?1Ą?rΰ e3K{QR~Hk[nWablX#o%ԐtI8tn)B}V39qo=4} h0Y ֋&)="__E|sR4KD0c>$ߖ!*Roa{{ehZ hj^i'OM"bl=,6@yJ&8NknCJgI+RAɕ:H6~PO :ҥM/ fGeq/bзsݾktDc lH &|cSyGRWH扏`As΢hML X>4W*Yi{-+ǰ`gWw qzn%h^#D!tvAk]gbѲ< ل%:"5o5t5#hehcҡ'ÑD ɑ@?._c0yBBJNCز3pA@]},x0e?:i]Q>xQ3 RQfԐtz} o6Fya_qFR @C/w}n/dfX6߉ ,Q ܝ}_ڦtKM- &C-f{3ȻJvP:TXylZ v>XY+Hj_ ܝ79ÞOij6Ȩ+Up|}? E{S5qnAJ'gL2MDz6{*5l⿠@zPsf3@G%)j =S/aŲ-Pxy_r?fܞ0,8XnqZz$m|FC2wg:[^5K' =u$X]0\3(,pP{.t/؉T^9qOݥ=i2iŧTZ FF3R$Ʋ {rBo81a_Q̙v2OO^1nX &(0f4t_\&xIJvANhTE&pșޓvA<9Jnv; 5a`i?$53ܗ[ϿjT%)^y6q!];%u^>7Ucida&YAd|l\$@TN#kJ0|/>ԁBtݲI`-mw(mr~w&bA`bVШ ;XмچX!8q.Q?eu&5pMEbM+xw]¼<=h0\ lu;׆UWO<[" w.pK]ա d?APׂ Tw#e&PŚTc.vF@l$,K (w a8VPH u4$X-Xp#$^{&YԽ;)ֱg:g[XY.XB6eDc$< vba&]WןBGd}+ՉOfwndn<,ʟqGF9u E!AGY ~ff1k҃tn"K@3iXrB~xѱ*ĮWnL&Aܓ։ D Uus(bI(f@;DSt&4 RYtnf :LwMLyXl! a2^ޓ-O^圥>A N?890,F`e[p߄"y^Cz ,-c-s!c:r [r? l!nK/&g:&y)vvyWҎg-1uME,ԉJ[fuj<`b3s׬AueAxx(ϖ\r&>ɽ7uNf ;Hus}yǐ&#ne94I=Ͷvt@CK͆dр1vY?J:Ew1¶/aԿD`d3u@S0+a)w/29loZV!Yf贙[!g?ⓓUݓ)edE-0sYF 4vÁ .?,gA- j)_h]q3Ts3[1-,z؈PwR4Hi)-/D[ҮBd::6^  D5/X-ex|"?DNM1Z{8޽/Z-468k vVޞHRqQj >#BYN9o[TOҗyd՟Um;HcEl]02"X|qnbZ颵FTC4SKL-B[TV'&f$m U߆Ew{PҖ}Ao/gQ*U-֟@b1\=72GxRMd/ydĘ2YVqIt]yKA "=dXY"Ih肿sIiӃ{W܏zO!=Hxx.GkbdTxV;:&G3;éer$lxO&}dQ!"<A AN&`#tɬJ~J sSVwî&7_f5=c8CcyԖ>'"r0PQT1u .<&3J `@O/\)J b>߹OV&wL&Qlqn zc۞ x;.=P>7$f.P,Pë)z=F$R C0jq"KCL Y*sni^T:!Ŧ^O{k 6ͮC0_ڿK6 u>5=[ >·^ %:L}D|U =. =*+iL +#B0Wp'Vr2CA;sli?JL#A%Ԓczj"|W2m.Np `2%olcH᧘.AoTnYX)5i1];jJ!玹qnMXs ĩ+mt;Pjz)"GD`%邞GƊO˂Q" 3 :If:؊R3¡/ 򮨏؍߆l1,WK~un,'4o{g)cp3NVFydtDEԩNcΦh6JL]]W)P6 Jc-4T;azh|olP̞p$46Y4{+gYXgsU Y,"1kDBR ٗ27{{C3  XP79cS){)CB-:,vgHC)AN,@<&Oa i%>?$z`d/CQ~H)Ӷj*5hp SߓF͞[8wSm> NӬ E3PXA}ҁ):/BM*ɣ$sECΑa1J /3he` UGYaa&uI|zU.# ?y鲒Mm5)#7A#aǐ"-Z `-.k!y:ZL d <-k'b-P\{.#x.e|kZ9B$/|mȁi@3 T<)fSDUO6Mg#EQcI'`>uz&!Uw d.Ayk]!8̃  e5il^XAlZ h >p!`e̜xezŽRk>ץȴ=j l.fWopְo T3~k-%I)F3a'gN2Nf r$ɲEYys{DqG+{>ǃ\H Cp5 wbQtB$pQz4iY`yX5A'CzS(1O8jz8£8?=>.Gk 4sqAUAȡV`[4$_c/c.F9()Q ZӤg~a+`}UZvV؀HX:-~ ! r]UɱgcozRͻOV~Łښif*"wlզvȟ>UnYCKk$ҤHlD9h!R\nBoQ[Y:x&jWBXv(IPxf[ӣNӐkB ‡Ed)5B)#ܬƞ F=ojM;4)+N Qh$9ݠw.QZA[**1ƛJs@|QI=˂V`|yĬ/p݀lE)q=+eC0wr߾¨KlXށ Qf/zN, Q[{c9423+\K~4|uvb%$kD4S8N>B㻗Z!hDL(i)NO|Ӳ Ym A67rHz*!.k9pYg0k"$)yIrI,]",WEˣ%']R,o&>}g⢃ וOP/a roiFh|ac. iy%8*B!nqcrw3Sd'M1@#_h:!;ʹwuد>/UX#m#1G] !V%(=ND@9AYJWhy:|&{L$:z~RҤV3a$.-D< r0m\ڑu/r~843G Y3'(I-ӥ4iϻvƤx?7ug^b&ͶԌbD{'HB c(u[.MgěJ E`Qm|1C@Cu|~A2^A\u0Mn14?m'7JM;mi5dZsz |QY SDΔƨuOc11A1n<asd0bA+[띸`:D\\=0LkA!v,=68k,V8P䄵x7lbGNBi'!<4*x=C.55zx,|&<C@k.{kvԟΪ>/MW 8:#F ZRӟjq AK- 0wػ! %T0lk{md^j,aNŠSEx]b! `:L{|AW]̔ (CKĨO4șDu;8צZXRB- 0jo&[VLmsdt B}!wɺ'ϩbrFݳcYsrײlaoxP躁rό*sj˜E5?s{sG?"g-?F!\hq9`cCNqbbSmu"Ka?UY'$AdӢ 6t(Hhk}Tcޚ| Z5ޟ<@m%E-s𡲿Lsj1%mӗi^b0gm^)46 ˷w7EG%J%/ +?bhc -&Q%ZQ%pZ̓{bzoA:ЦvX߹ѷInUxDJy)Պcobyf{c +J{|?޴DȎ7f?Il