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 #- ]/ No_FTL_observers:threads=2elapsed=229.019cpu=265.056gc=5.596factor=1.167zXZִF! .Z]ŗXf1-/6vR[x:Y΍s8?ƊeTK(DK-&bD`i>8k%xdDZ帔P). 7L&(k9'N?׀³`ܪJEw.>sEk\jWA y$ʠB߰ j+FzVv QF‹czr %`﹧df6-jL/*МzEGWvVAGHԑ'73ذ:8 @ȗa@Jqۖtb{/;޹<,=D.\.Ga+CaNy=\s.ƱgYZ7zXZִF! 7&]ŗXi%6q/"/$V=GcN霗:QFgcc @_ؕS2@n\I.^w"",BaOppRN`K .Ҝtt~]ưѰs[5+qc֛4' Xɗb/7^G˗#ר.%~+K<:2r8E؂I |Wu2;uّ[bgme*SAZ+ 5/Q` bu.UϼLA{*  Ė4 /&kDq?(fMRWt5"ShTz2ؤLI{_d?xhDY$m#+Bݶ|I9|jΥ#%Bzo5[O7a?saՀ!\K~|v-JfNhK-[yG3•DYQDL&wy{0QxfL=kpq /{=&eȎngutU@iޠCBu]G->B[˸3c,+w|hey[گ4qp:8164n`_v\~Xj =b6؏5ݹӁVJ\'|#X7vj&Ĩb6$p@\mאDgV-szŋOߣL'¼|ʃgK!_U Afpǀ@ROE2=Ǝ -{g2 :Q"~pk/Ir,)ᑤjڡxs]85O;7hVH] CDIoYD8Z)/Gt6Bcid ?Tv\ڄ˚[| m=t5#XZ^`"Q ͐]:ЇOu`%CM;D1џh) UF~͚Tjܥ݆ե#m)=zql;"8|x T`إJK>b< ~I?4X£ CY'^WlѶ7,Y%뛻}d-DxD}gb*7l{C̆8X,5/Haɸ.=㥦{DWtEƚ}R3|dfzO?4tsMNMȺ/|s!%66zj -Ad؞7/M[>`}?obcFl5gvd.L :~kc"Uts9g)n sCsjPL87SOz6<: `ϷQ3Uueeޮ.F>;[;xyFJ\Z%\ YVsj}^%q##o6qru^7؂.zTkZ׭ԀsM y4ȱEƌN,ӝu$aZ]OzBuSdY}Q|X4jv[' m|Z|T,99$HqV3A ^5 n漥YzePXhM>jg\ gЃh?Tl 8B()HGNZ&.48xK8pqs]@ݼæc38N,p ڰJZa`{cWy.2D,8YXTB@~juU1b8 e~ _$th_dqvoyn g0y4ǡKQ6(\0XR</ hV=ʼnLH dW 폒U_ Y_$VƔV^F5w.3J&4ƅD(Z[_%L'\先 O7%dl.+ +IDR?gC+u±M:W!{z|{9{Ӻ6Dě?.d,Q`U|bG$(|H1|k53i4{]8-ыg0MdqSn N)W|FkY ; gy^M6QmG ɀ cވ`Ȅfg̘ gFToOPt%yT *vK;/`iS/ ٕ`r%ci/:_ɰ}GmSp cǀIOt:ň4T jcdymUZ45c~p@}wb[@Pms@Ek*׭!>NoU3(YM6A^7 ra5-N"Y~暔__U%>6ug~{=?ٟo M9NOS>_ )N;YGl~6Lv 5+Fߖa4CdxآB/"]( slmǺjnxs u; <jG +*Z~7=cy,Aإa98 URO0٠@X A7ƩEwJ29W~cʉa1q-,֞$Dw/.|,;z4]^!4%%YvUZ."(.Z%ǤEy4%?UՆm3jJQ b6` GeT!T'4Q~yִ1} 98o9:=7OC (+4;+{r9yLh0kP +Gn(=\a;pQ]8my-8HB"34<L8S}cm$FcPۗ*Qr'Zs.GŻ ^;WmLuzg(%=쐜>bSDzY`EbdxNDؖx @ٸ} U^P6wldA2S TgaT'B@=23pb*֗[Oe;9Q^2bQGR#{7UFͤ%"v솝j\AU)WjFA./7`tQ `ʘO$_I>/ʋ<йQnq,0rPhɀE|lH.7-c݂ϭoOIIW˯yG l«P hi4U9L,soP{=d`ta u&M@#3w MT^od3)$݁vX[u-zTHD QHGXMP򑱡DҁnF|pɮT ǛDWdVr+a_[+XB'p :jj][PiO5ICNx͚@yj;stu9WW_3|rFE[PH *ԇ^Ќu_N)0_$Af gW^D x_ێ籶4tcbz{=m:%ÐJWf=Jp sM,/j\4hJXImD񗟂^O@Phfp C1{YnW6Ru_^eM]*ruqmWz=M[#w.sَ,%Lv%\g>0jH5?qѺ_g$4?IC~Drm.0ؖT>G9ꗄ81ľH8w~,=&0س؈ފ V `*(kE3/ɳono}9ޯC^5-n=E%eiõ $ +@}[0Zv[c2A^k$V$#) \-mkODz%dl$EP*i>Ʌ̸l$B>y] ЮHgh҅eQ6x'ƽ~do_i|]*o*`*$P6q;kLJ="a!rSPEh[P>DqGmQ S-;0`$(7l&Lz28(VgK uD=ղdRv]eli:J5N\T1)̸ ԇuIەu믓jE췰r^-f El TlO3ၶ凊.E-o%uD8*IddLSA`}÷lP=]YFC2uEMm\ 4pR8P2{rnT5Ѻ )*O}b*LU~R\2)茳,= YT swMl w;de\zpF1F( x Х%wX2,H(9:3g 2Pzŏ.wna C\PP5lVta(SqNpu:{/sefSkg]\ Y H6ucpQ=Qo*>̳7KI!eY[I|MJ6c`JPqs5xaP+[ UڑHP (QyAqM"F^ɟ8^{+<1z?"o7St1D!u9s 147b"-#_D E+zb=aɜd_.ϊtۡVW!6jgF~]8rE7 1U8_?ģfv0" )E]8uJD;xo#\kDIF%YD32V7W=^>44z 7a!^~|~.x@}R#\H{X_@5 ȹh97`+])|=_-lt$^%?V('}N$-Ild67a4g} ǒh9Tϵɇsv%ݱ=Ń]ܴD{m<Hoբ&&*+{.xP1d'kbW[Rܙש0"f8#-88BWf'6zs`Pj[fxP[?#sƁD9@ߔx-QN#k*6q .^y^=1j4>>Znp%AX+ڌdn2ubYG N<4Z$ǞÓxƫnX{m90OftlH1:r窃F[hOR.JF(\ȯX+%l齠`:5[)(`hfbyVG}2 N]@Cق%yAװCrQDW(mE!ިOcoRzL꓎$c!X],mJM^U IVw uwg3Fg`_@EhAZ$SVUǓ{.8`ۊą?:)uW`um &ۢ6<>|9G~BʞJ~j]&lU*#9p*ML=7{rfSbk `4%}i_/dGwR VۗJ00KEg>(Ead;Fy:rf--'~XQ/xePvֻ8;Mn:X|'rㄳvPIrI{L5)1V`,<ܮ.~65&{[/eYfp5]XW#rsgb ٬(@~^!K A9I3ZEbl:g#0%9)uuPN\Մ_ atdj~s+&8NoWYr 3n%BO-{ -xkpviIH/Pk\4!c 3:gy95SO%Ce_3f9xA}h=kLфKxCW~u˹ #3EGՎ>|2(@]2e(^rm*.rɀICd3O}'5zCrTjV^6>-F~x+SǏNϻ]b]jfBXT,V5jE[HlXYXSTnr뤲]q֡ RտΨhwT jti8Q<hm:Ҫ:3л@1S䗐ʬ MOa 8 !J*>B#N)MH C/g\--Jh%X& 5E$;ݶ9$0sc}W$;Q)买d:oU*9 (3{҃-+d:TNq%i;=fa$C}k{YAH M~\%Idr/?׷nOd.UIᣱ/T7Ԁ\D UH5 izǂ3`}0ƍsYr]צ |A[4M+z_!Kg. cĕB4E ko҆դtDݾk8醰-ދG.b W)l:G{|=>uQA(t+C]emS, *Ig厝&a{^fɰ}7r}-'CO [#!-gi%S5 Y\洞W&-Xk݃}yG~q(/h rҦJ'4 l>˻MK`~.ǻa* K<0Oo:)h@HE͕? ``HnI+Xc1)Sx:*8սYd)W>՜F*`F!dj v)')7zݡN :'anc9bh~%$:C`B]K{-fw1A\R eIztxֺU8D2i765cN<{$+vcGQs%Ua=6vj?U+eX*51{_`鞝.I:MSPA pΨJc:Cp!+LN% gq+7V/˴% lخ4(\Y-={YF PRԱgڻK[ s9ƃR[J5 ^ablPA()C5M#!=D\UGgQe ů؅8-ibx 0d2luNqrԥǹdVH F)S>0]bA  k\zի=K@uwy 4~ٟAiٵ(mAF6Z:;P (K`"Y$B=Y^btx/:ˆvC0 ͕Ľ1&? 3HjGdFx(RE+Z'; b){RD,W Q=R#Y`V F3MgYZ6e00c74604cf6d9133546b4e8292b28bb52be5051e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8