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 ^^ D4 / SIFPL:threads=2elapsed=45.163cpu=86.224gc=3.480factor=1.917zXZִF! ]ŗXf1-/6vR[\w>ż e0m7(݁xcCf\le 09n5 IƝ-G٫FsQZ)&/1*BTAHp]ď z,d8ZKjP&503^H Y% p-o\ҭ s~DD`oZ^P4jUqvƻ )#xt^4-n}VDZ'YstN!W,3_N&,($N^7\Ke X뙍8* %CVZmdQx]ltZ ݬ2u`YUƨ!-:瘇Pq4iO=/>n:7v9(y%3VQRm47|چ G2,oƖh»}?j4؃5qY}$M0E?Fr[,PC~rl=Z 'Y>Ѱ4TEs 1 (W'd1DQ'}5`++m):РM, !X*hX=8@)[Wy\ c]IR;]\;f a<`&`qZc0r4u3/{O3M]z첱%4ЃdCvͅC|bDOtKa@0px4p#6Vt}Xx`u။&N@Z\ٶf4 dO1JnMX?::U-%m> 1ߦWk:=Ha%c.e>O)o%ۜP2=cU05 uCJqE T g5SgIw&|#'n8\~L̪Xmf&7FQwpTƱ}%6 Oݔ{m/T+ۅDšJpw~TRZ.eTSFV n,MB-hOΰ)[L6%xmqoIŶMΕօ'6.W g7C9Db7$ayh2&OZ$g23Hh MU@k~1fDǪ ^e|ǘdHn_A8Y`Pl%V| #3rBgOk~)Fw~~cu_k(9AXb)n Α6-,-h%I֛Uw,3"%f (/ewӯ_1L;fkk  SIFPLvkiYnW>p T;jyE  n2zcqgWY3rk&ٺvyq[?] @UPƹ2Պ㚃^r鱆L=(ܢ&7\)Zp#R;ڱIDڴʨreUP@fS*{kBm Q+EH,gHh%gwKwb~؈נ?6dt%Y\- ︊^lÙ+@}WW¥_hj(@.p?`~s5`/uߝlDŽ8pќJj q N߅W RFA$yէ6V $j Х~fjh :P%JD;3 : љքdXfzY ruM`-( /&Gl\fd3 w=P `tF1"D_4 nIIq'<5HFrOD?I:^jNh4_ne>t^'e=<&JtXOxx^se'Gd^YPN0‡qMTҵnR p >/s.a9Tޗ8JZ+ZCo::7M[N~"%Qv_RFq0MeӍ ':C4{2E9 ٽ" fĂ3]|IiѼleP 䗽:/u LgoInڢC<#[JǁԔdg}Y}PG%|HU ~Fd2 aVx>,fnu&78i,Fs$NO\ <J}>owH- Ӻ|WmY:$#Z|Cr@lw`Wc2z.>>?S$"ڼó$\h+~bO=;{}*pme'.Eg8tbLOb߭/Uk gϣёPGm@KT\Gcn. <@CI3{ۚts|?Žf{(:,I]Sקrt{';;|tչ+3(j6H ooxxBf1fHj'tG?II*!CZtlZ x)15yM EavSh?}MaJvot55;xKל!֡_[XD@=F.zj)j~!+׌~Oud0LJ'n1rq:x[e.əv%l=/*A[XØ=׷ !qV1K!A{CJ{u/Ix%`#;=Fl噡v !$m翬O2S;`]-ю%("np8߇G 5\Zx<45أ#0l6scUi;AM26jWp0Chm\i]s¬b7rGd is -@5տjUBg@i[mȄ}8\QD3 eo^Ku9N.O`a!À>qEAx%áޥNN-Aʍc7r#-+pfd%9Yub𴍙m<^ngxm< :7 ^2=ix|egyNCv/HMC/P|dwa7&{g¨znNУS>@h*}T ":ȨLMH tᢘD)~( j}vsVDW_d/%[}]Ƈ'.R?TI,`ߐKnWhNmy&Oz 47s%QmBϦfW5LwKh+ħ@GNؑѸA} \՗En0ٓGzr p׋mbևclM {$0?G`n6N j!@IFO&y>ɣ'UӗJ ]@ 0:]f"X}Z>0K'Wz5s#xˎ~o?.C@&wGN秏x3#eʉ0{,3?[Eeu=\%Ss|Be-x(1uTVQic )ig cTl/T^Ȭj\\+b^-QqRMH)2oCO&Sx)2cx\z(sI* eXl`U@`UfϜEerW[n ¹}:goƛEpxCۛt'Vy)&4#Vȯ)ƾW|[>0Ckuo6xigQ*2xAl"m*G*(xaCM_Ɇs{W [AWS53)vgYZ7zXZִF! ۑ ]ŗXi% "0 Dx@d" REƸĶު*|xaqnl/tI4Ԣ qb>73  4x%|3 J!LjB'17Վ13HP [͐.y ɖ'ۆXvYk_P+eӣsB!e(%6:N>K{6vvo侀h-Vza$~qp=m];|U [()zzCg 2$MK\|!X&vpshXQN|:a蝳F_ӚLcΤC=ɺ$[3^mtS442z`쿫heoaTmR5{ T/7C{L]*쇓"%.Txܒ?t|X6YzRT1p@Y{6IVA{e{55Uk۞y ގ;>Hrݡ3DA>#cI/Skڝ8FMSDd N}86$E Vp0]tc|*C~$4(K?A\QctM0( 9,=z` vuOxx{Yhk=ɍWkhX?k%lO"qJ-Ѐ;+[ Eɐ(RYR鍛:r 7P}au}CZq3 rGXCkA]]֖#wt~Ǩ b4~lfO¥O1v ^ئlyn$I".S[>Xƣ6ʥ6 Ս&>ƵNbhw%v_ g@SƢ!{kHH4 9^U0!'3)JTXߑ*:7r1I$GDYkȂk'N0@s4y';ɋ%jITR ߭"Iem n%яKM04dm mS[.uiX b ^cn;ݘw*x WW{Z {&A D/9^L#d'[YAŘxd\`S.b, *vî~ƯeP"TIQLFF'.KTa$Nw]'ZCd3`4S& BgZabp&n_ S>Ct5YSFiјAfքtL" VXB (}zVϾН0WVCO}=oӞn9,!/,&2&,B`t_d {ک2p,%yuD6=.jPtWNE7erLɳ\/".[(ەwSn(p}}x3ehT|*Hy+wJKJ"dޏRgw:T+we&[at], RʡrU֓Yo9ˏ$Y,8sur5oyh׆&ӢYb~Abw!Vx՟BgS `~F%vQMSS"9Ny( [z@F}xƮ۫W/(O҈£l$L,yU6L|>1;eDƿ)?=Zxnd ] _^MAm6uGFWDO[ E'ieoI4*97~mPBLeZ!jY]b7jnG=1М锗m{Vĕ7b`ZE4gF`6s-j\/aGΆCgɐB)3~@ޫoX'J-!S^޼ZWwۢ I%'NY;HFoHC@];NIXlX˒wW0tsmW](FzиқBy'߸)dꝠ!X!·H`QȎ6qt{etkT@s:YYUy}DWj:I~h@$[KႩ WXAخ/ ֭?eO ZG YL _;í ukT2g