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 :-D$ I/ No_FTL_observers:threads=2elapsed=214.751cpu=246.044gc=5.268factor=1.157zXZִF! .]]ŗXf1-/6vR[x:Y΍s8?Ɗe9 AJZ$y_eW:l}tn?0ZpVVv @b15U( LT~ն[or].$_5%QW&M '/HpW|7 -;S't}0朊Wx; py&i&/ͯx1%XJ+!2SPuo[FjdzsvDg㴂 bm2lYHгXg7-z+JX_'wdFkiDO8v[ Sc4VvQO<%ΕE0e/?M н;k+N$Qtn-OK(o8|VٜrVlT@ Fռ2j|s$(ɆPiKk h}6YmnXNVoOյS$3=ӃiXs% .v[ET$`*#0@ jsA}=հ ]=:O>Eڀ$`L:ܳj\Ɔmh>KzְyK97bq^<)Z6&vNoXST|# U{G,̴BM(mgh^ 21HH"nWbCO@D#3qb0(Z ѠCFk0ш!Ky*K#>E:T'SJr*ѦoS^iY/GO4WхoCۛzA;?c_Ɛ0DȻtn8!)iE 6}^fpStoDJ,v _\gYZ7zXZִF! p$]ŗXi%}Am9ו^SY1,dPWm6Fa,|dSh3U>vʩqDׂ8gR>???~-JA0PO1%s$IYPSOuB۟:pkV8{l~HM|}@f9A$V &y"'ͅ`kf*&Z ^!LY@d լ|:[ۚTNoMi3* Z 8ey? ^ #Z(=}9y5> l+zeÐm;l_O!q_d]_F%PwEQ@C<&]zhGw7\ݸ'a2y0 XcH\>*DR r]4qC.%e..9(lgZ |x֡ߩ"9fE[~ l)Vos'ŗ+ڨmrv=ZOф{%x{{(o..IwSrW~./]u& ^$ϼUo,}撩|{x)x$75#}+dМ/iNeD-"~XMRlŕ1crJ5>YB6(I$p<D!{*Y%^I~b |)Ͻ,w&>)=Vn-T'hL.vv vdp 2 3peZ[[(+ (W@Dhi?Ia'$}ﵻ6Wn*+XĥFNr=i\jrFIԺB /W,9fS|4XQHTKNU0lePЬ.兠jqp| pk:ٴl; RASA:1 sMtۓ,+2ZV?:ر)̸ o`oo~**p 1d)"n-/& ^f.|v6H "n+R&D}Kw(Myrs3E b}tEڗo*j=Y7 xJ\%f'pX8@h7\Y4\nW?EDC*'zF/Y]0z‰K{.è1qo}kj"[ ҝ.ncy)&\#*;v<4To.| c9h L`@Gg$]ԕw s]1N. F_)Sp|Uy]a !޴tS8ͥx^Z̕XhO1.99Mؑk9o%#Tf8T2+z?'Ո/|8]Sh?}7^X]e7-*Xv'zdǒ}xcjٔjgE{5çg2 vhi0@d5)@uqPC ;dK6rr~,Zf^ ~W)]R):Nq,c - No_FTL_observers|://ᤪ>Q Ae2 ­َv;RP$L=h!X?*hw,;J(BuH9JMӵvU@X J_ }g[.DWR.kcey jޛ x$n#9sd具[jY+MJU+1/zIY*, ]>ȿ"+$I{ԈyR/ӷodڲD9#, ZP eyBX*_/PUxњ 4eǃЫ=/m@-!4 _X*tg nN 9d۸;Qtj\,"mKk$lwF,+,PhX~;Y*;i٠Se۔+::A'`ckmIUBݝ2b E\5> Z]ӖՂz ?4Ƌ5^Fp^Og'Jë5 5+ﰅ08!I >C{S!V˰x$NwZ0$~S>}GOphwa(0P.j|e6la5SXbv7vmL%]Hq7 nk2J/Y-hw»}v*&}D?[\]K0"N״m +SsPV΀% K&ぃ?11PW x-Qa-Ѓ&>b;m>c)/tyE8ՇcKnPR*ӥdFpXdi ߾x!#RxQ%%|zVm xV+ͫ/Wy\)'_ӳ6Cg@JvKhJ3CKE4kty{̝9cjsʎ-:kZDKSDg>fI9"WPrt8KjE@MsU&۸ѵuCej5Y@0'-0kOM0h[$b)<.䞳MY=j˜Gtt>BF@1K]OuH3zC *D\7 zx? .#Yt &CkaZ`{l) S𓿭KPj{Ngfz' ЦsDuE߲=o-yc,!cMvN5/`tj h.?Kΰ>%E_d˻Ϲ: 6VTxHWXuݨ|J,py;HW.`- &?8/AGDi2odKKL?H;؈+7qs-fWpS4!2+G"FOL%̈Ix"1vĨ(,P3Dw!o7䇼fXnnD;S Usk6q1*K N F/ MKP63goX.-ck`sKˀHHu9Jr:2. *d0 jJ1䞷&+[1oU~ }uaҡᲲGT+VpOAo])j;Dڝmu п[.o{ُL!#d wQ*zRjk-NՋ'rKI¿)-PrJJVUIK2r_"4"RRïӅlAqڧ [6X28_U뗒y2l=~}ge喌?:3=)ܼϠÕGCT+Ք~[%9ef\ M gI/6WJ*( g0g/[HYЀw5:rP>G9 H0*{NUjevrehG}(vb\88˦ޮS}ު7=WT]̨$iG,#.%7v'7Xa%Kvv LJvg(q24ǩ$@2}wrw{ˡdBLٺ.ڐpqC@Sܶ0p-5OuVL_q5h 8%^=V z̒ -?ӦtAUڣQ>rی3UE'>7pY=Iuȋ)uGhK.4 "*F6+l8f*3PFрClNNM顛j%2aDAxp^t';Ydeh;Oi4[Y%ؠ91/TʒT;i_OB1 _s E0%}ؤG]bBÉp+8A5(] .i5ß4~ ӽ~GSkq:EBJ"b3CRղD:[Kѧ-ŋ| %iE:W仪)Bz*Oo)[F0\67qĔicCKMqQs2*,1x0=:ΆpfFͭaW/Q6M{2k-ڛmJNMD:d̮0H$ZGγ9 jª jYv6P-NTK 6oX65ՌG0:򳹭^,j/ ?!7M[gn7PܳP0􆓱21TENNf^:9ϘR/X=(U cjmt/W!AJ^tz̓ Fp`Ӄ/Gvzq5rݶ>F]9J}.&`/¡S5wrƱֻ'Wx^eHrjk@|Jv{8iDPHzdQy0Ȣ :Ł?uJp{%JwiM1BWE&Q&)Gj5&LJ,"Y䫂|Do2$m*g )-aYg!c A!(ݫ0!TQrĂ&/Ȇ 0\Q]UB)R:UXi?!XAZ=ٺ@;^=~1Ms牅؏;T9AD)+l61@ K?@suF-o3Ƨ`.T+ʙH:E*RƋ1}bToPxL*K[dBAoIu˼]!Q-6: 2|O#WKk< Yb8D?Q홞+*e~E_4V۩Ϝ7ef SmGPP|hí cl燤Nw}r< 2ߚ;tysE n9لykʀL"q؞aO';g {|X^m &Hye~Dz|}~,}ZG}#[BF$">]iz6P3i@ⷶ!1WT"Fgq:{p\%a s$z?FDycmcS:@L@^?Uj9bؓ bzW^ 9fuK'b60(ı8,u=2 ^oFa?$+x}{v|³l]!sf~L~!KZ*$b+bDa8g)cB-j<04#+_PXNֿVyߙJm-3/-CНr+|Gׯ #$a ?h(%HU4(o™h,^lw{mZt2dž;`qh#Ef~0s|!j3ڤ|M&@p9 ,9q󊇽eS)|iи(XW[]]jϘ-rXƟ1ϪŎ/q]؛K;<9ݞbnȢS2$$x(\3CɄʋ&uLWss.Mƨ-6: znV+[[nc?>Eh㐒<`4>> ) ?6DA6^3sDCpML*N [%֥LEYc``LFffk G'2)Mߞ!"ᒄZJ$V%)f-ImAC2w)s*xI|~6hUt cӖiɊ?'-t J4㓘->6xțpg|v885w* p=Ґ%ޗ{>Է!$5sl4uK4(HA_ g4BcyX rXAFC(JḶIo)7N͓-I볓/lwP'Gl1PFn~v71# ꯄuqo{[Y֧P/49윬j4P>HIapfƞI0崨F" jĞfv/2+d6Qnp"5S})_i} @|O~?B3y938MmPI\QkBt%}E GʒKE\,quצ7R;(4S@zxG{tY[ VΓX3Z=3ქkqd_Reh_/Viw<(`eE1^Vֱ I]ND3uRڵFIw[@E~OѕO +,wæu?Q