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 #tl _w List_Update:threads=2elapsed=134.065cpu=229.228gc=9.392factor=1.717zXZִF! }O t]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE+*מopXK !<8):wR]xk&.LyuÜh}CIZo4$h4JDGPpkΊ :ꠊqMyGe77\/$"&,޷tvsnL+$*3y(9zo&_+Z>-0#'F5j|#Nھ mߕ auUZfx0xdw 4X^}kJrѳ}H=K$6_3LEnR%Ϝ.FVOdἵof&`QbMI_ E%$^]v:iY[`\ #J<KbiICVOtb;}/.lFjYU+l#G%ˇQ+pIn?<XF Me6J51nC *xowR|~PV$Fi1Ns-HFp1?FA;KGX9j(dUҾX`F!zx8{@gIAw[ލr.bvu>0σ6m!W =e Ȯ`k+8RIJ^8.A|~̤/*^'kԁ{ӈnF&eLCwby6v<0NdJ) vUU.i|yJ b^snajUMi+3ψLQv"PŸHma|Nt:K 8F "fNQ'T9'ۙ "DRQ?+Ic> -m)/ϗ'GOQZgE*C.Kxcy ׿dۦf C22ptwJ4ހQF5~3*Ѿn{6Ibcg]Oeg_msz!wޘ=pԋ>`zw˟׵|8L s=azm jU^ͽ<Y~eAA*``$owUNN#5VTS b0X=ALbO6 QܠY(۾&0/Xs^BzVAbD@Nc\-OᄐGŦ+@F2Jm+uϬ˧¸~ 8d2%/ƉR/`_8B{H7v+cXm"/kl`FقRSNoՃHa4$Mhva=[hpachj}1;!Z;3ˏjՇ ~eOw/nO|]O;]KҽB)ʯYmav76Q.Mg[ c>G“6z>; \ܤYIƔy`{Ƙf B8Bbg ɌR.> Xim/onK ,ʸ_YZcr-Hܶ;'wu50` ɖI1pb9Chigvı?Yp! /ߦmgxEnGr-*wrr)pRXQkVQ# Q;K^рnKb%0ٙE9%]IE}I;0gYZ7zXZִF! )]ŗXi%6y2 nҭs_ܐ ]5)~8wWJ.'?S1yR1mswjH+wjt U^܊@ּ>wMBpO%ES%AjL5l7N$/=J0R!BpWNsPPxǃPv.Ԉ&r6]!#9mZUfM &=0J$FoV~V \cG$d87~y! Og0P  ;g}qɘD?г5^Q(e"F2.oS0º@a*!B "ӰbӀɯqGۜ`$-UgfR*4>}sJZ=3}_ (p\#a熃!pr c(پrT88dn2 # List_UpdateWD^ q+xK?=Aqiwo״j?%8ZQ=iv!UY,zǢu> X>;[𱠨iFUnmOfO?Lgׄm^T4HȡdYq_Ntё.jYKj|h̹j3^Q;%U_ࡎ SyV&C`!8[=Nױ\'G9+t턌+2ȹێ%F]y_,r/^P+SոYW]54}7&<}@ȗ>ooT\^p$Z.MbSLs lү8#gCy}IM.+maS-:aV|HuqNesCE~w.8WnInKG^$CT_JLXrW;ݸCS]O2 #(2Pg` |;bv/2y<{cC xhUN3&ugE|TmDN }DF*$ yǚr6kJަEgEIt3z0K`Zs&{9G.VSW~!.g aZ˕LGa~ǯ>/I,XЎ6.ވ X)lh럼o{$NBJO> [dŎ]qȧȡ\HiqHuZփSV`/u&@!5i~i)6a %[9dnR@jAd ;m7BƋ=ڭ{yBA7^̡:'j(U5R.csbj6gّZ a%MƏxO ;?c "-G <Agѳ3?rC]a$Xthn.-=w,6v~P$+0uLAV TlƉPE uWk^  txWBQLؔ~# {r0cON8äXEȔ؃~xZRI!jA}źPU:ܳ5c2YcP;9Ὸ{m΋+7T`uU K8d0 |6<QءXL\*|Ϣm}QB)G%iEk>3m8]P4IB~d8ma=!viAᅢ=(*w's[. nMȑ;kׅZwL ;_soi-oT}0A#l_rj?b?'Tel>\{/zT 4[fdYUJz&6K@)I4ă>4h^/~`Ǐv Rsv6Yh=9Ym8ryZA\V|*`TMB_&Wyc,bљ:%&]e5F!f[1 lP 9z$:U!A0&-&h$I1ۖ/M@LO%=i2^obE:+DYc -z;)c\aDWQ)M uv#H#jX8WL,Ֆ$86?ۭE5mL>:y&ҕ ]9va(A!lIC]#P+t Ќxu?! e;3Y׮>갫h[A~u"`YBX|?A d$@ Geڄpl uUĎ;_Y6֍ 8;|_ TbX sVU;wrB۔p*bDg/){:`ڛ".D~4MDXSN0JJ;ޜ,8cbY))H藕޴M! ;Ïm8nJ_wY742eW4uy 8LXe#߈=*r|^$yPJH=6Y4s ~ WZ;VTfablҦj?wGS4qC'7 y׸U5oK-M N[2Z:0btL87%?Ym Eݳ^A?idtNoY}_ Xt2>@eu03*p79Ȗ5\vse`7)9{c?'lu+E* SHQ' Y A腟AUT"/W%r=Mfƍ*,)ŕ?׋B8fgɺCI` I7h>ۑ.U J㳱.$ "y>P3$[F/SmPtJ9x*E{Y.Tj3c~3) LE`緝J)`v6+@!OrFb#o1 ʰE-2!R4_Ue ,m4a%7! z\vbjeʧ CA=k{\E6`ha Yl 2RCݡdEhy{FSDxLUye;GZ]a :Cǝy7قp_c44`#믖}Aڹ~<]L,)iOTK#>J15gꓟd{A2*D .1(xtSa/7 ~Tl?КZ42$''j?\W#tB;Kdc2o qv$L>vŤǡg%:0tt>?Qb~@@e;xeQFp>1V+9NĢ#Y]ZѴ>A90J[zMV d ,H.O!1;U3ѭ; i>"zk ҝ?RZwoިC=/.&já.D'ſi*YZF I*I/'^3**:J@ s߀x) ѩ-q>R8 ! jS~uۙ"sR ܸL[RuS~(,?rIgRg(IrHi /yQVSn..T:~AVkɞrw2M JpDnYx6t\XfM Xl $ۏڿK}UNdp {ڛcT&X~D$Eڤ&kw]/*N, N32A!)uCA:y<  MRJ<ϞVLn>!e HSw03K(]G`0:ye(xjyUw ë3O!upL`8:j+Ha B]\Ajw印$?x;x p>[`4MͿkj#0zOL|yzR3%-`펐[tlB(>Ee(Qy0mtY $<\l=ԭ -IOF͵.ɠSafi',=~Fzj<|3`'Taz5ɫ __,A =NV6v g<7s($&0[}ٯ6"gU]VAg="<[&sxA˾zU%W>bفghQLkk]RA"攢cD 5_?&VŒEB+Tr,HO\Udr})@6TGD@m,r*+xo^\È"#n$x&NOJ}YjXrf#41qUڌd$f} KMw潆o^nb|E]o",m2ҏ&bބ}5