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 ~)|4 mS MFMC_Countable:threads=2elapsed=66.079cpu=117.520gc=4.712factor=1.787zXZִF! H#5]ŗXf1-q恈͐7ӺV ̪t@̀M3V+07)sAs6! KI8NX0%L:aOltN)YVSYؠ]1.O`?~KoY%@.΁ YnԢj`_/z$Tk:ubrE]7ğJ]F!$=+@ oy:^\d k>^o. 6}~t # z1SR*7>i 1?\«8rAAY뱶gyN/( ,>-{|r}v>پdR,ݾ2m(>Bvރ{ k.1U嫦 Lh*70MgL;1TPM E֜t66MS2È{5t9Z5TTc(>vU`_:[Mtgu}U4)*l9s B[~{.NAq\m8yPfz[DM(7 Y#r\\5<x0BplZK'/_g3~ִ]\i <3Ņx"DA_ᤝ 1}iRpxd>^Qs&䬔H d'SEs hΊ:ybDK&:-^,ʆIRm x7:Ǐ/ىrGB䅕SYp4.֏Lz=ّawG'6,*$'ccY _;w[mI(f}5Rr'ܯ|,'j{x Mdy;µw `>܋ lAxi N \!` i nu%vϗ{z?-_Sq"x){.eXp!=PWbv k;g@Ic9<.1iLR%cQ7NTGwi:#ƕp6 ",di1suQu7O&Lcd3NRU!+7aʵ3i_IAz>9)8 H#'}?~ɹ"3Iz=,l ^uǧ>' XYk:(d;i^e WO8vE@ ?]j5ZtmИ3ӂha6[ꚽ_MWCn|򸧒'ֻÝJkyzDJ>Ò־ięym*(2V L!_eU?ݫV*O NB–N!؎|^N0Rkw;W7xY6|^)^; -5^mE`s-XHY"}72o`ΈgdrS )tA&r"-bڏ۰`㇪Y Ss{4v<' gTIt)g=f3⤺*fxYZ͝eAGM'2 Q?E_j|)0+Ź-422ZYK$@:&16hE4r'"Z1$F.z5M{'T6X}u2G4b5\mpK9>UpZfm0%Zw%pȧ_ `ux汔8y[ZApjq;f)|=sJx?_e_k (6z q7 $O%BȶLXۼv9g246✞Lbީx ޑ7xpv:T\2C6P@w&*qI5P YDbU0ۭg*}/_T=ЯȒ%)ofR yG޹m p )LV'JK)Et˶9ܗ.sS>[:_Ex&#Ʈ^s9R$_ɳ^nYzcQ}C<ǏJ{^瀑NnCF@>[`9˔E_dHS)RT[y}ͣYT/Hx8}s`s, ;Er׍Tx ZR^euIj1=ʴ,Q|z2j,V{wU$)ta~챖!9;m0(.(v`EQp4-gW{vʎV'k^ ɏn^2Gi\F#wTJ8!i]8HTDSV4zYҠU,?nc&I ÅU{1+A*;.'_*`oOGAp:Be7ְ/HDp6 -K/~dokY_"2YG<uo̒/`/@bNk׸?hoaMgjӗڛaԀ տuְr#guB R)^ik˦27Y4<2acY7-I K-o|AS_)sTzy<~Rmb_fr!:+^/QEеߐWQ&0tn[OwàhVX4-|w7!FciV&Nf `0Jy]LVr !fYQɪb'޷~8EHjfQ)&YB@CwB4#>Ȩ`nKy/eڥP_.V ?e;O8;}=9g?D,v:\&++BmMZnCߪcПl7NNUdPH~y;ȨRU$Ѹ!D6P5%g4<"٬i6)f+ XYS7NYasE-ޘJqDrݫ$0EM6P=G\=0d.Л4Vh[w`=a.ppQӨ/x0 %>STh.OUzeN'lݖs %YWjv@XY'4Ei'(ŘL\xB"Jc+rx: RX('IO0;OQhCjZH%vC9ggۆUmERJJByM^KY(d4Kj7UAs[wGx,&WofP45m6+ )1-Mt^|$qhT/_oDPVA֬#XC\ӉzW9;tТؕⶒ8{&#ʨU2Х1:  6X3ųS<̬eJQYpD"}ԽnZZJ(gNMؒ *]M pGBRY,_2c SXPir)t$_+MK'Ne"z!CR`:6 =jms\摒{IvD7Nz|tǂ׼+|(?pn'[|Ił3r1rYscVЉ3PtzܡYm)m vS{.wuDsތHi||Ӹ6y<z]WIAwӃywQnQ'6mo?^U_8 +0I9ǀe=PNp"eDBR\ZrlO5ᦏ&BXymOɫ}OmZTlGԣFb$s#]+|ȫbei= a:Y͝)f,SdٲL3f=hvXT ץ_ /`LhiX[λ>vc: j kljEtcraw]ãZoD aB$ǖpᅥVgΗ@ ԂAwoY}r#bJ@s;j ݽB!udZ,DI_6qp>,MR<>LgO'…=Q"srK!j_gb&0c)d{ ۍ0`W)Hb}_S8 n\^Ju9ǣV\2*N2 W¿o˔zx#:f?‹5h-EH.-1vyyP9>;~!mT[y)>׍ARYF~VI5)ZhG72\Ş:Yl> c sT9A+mK)9)poCnbrrK+d:fTE#}%q?=f{0`8f :b k5Tea?lY^ _$ߒ1V ̀H4Jez/Te%T˔ ?JΘqY#+ i-B8vʸhqSܥ2~^P[ΘXvOfbZ)cŒCv 6Q!JѠz"@I~m7pwOGx}dȨeܱH> E># OD20BBGxR$?fx;c1̩JSb@ s}BNhjuFvZ,Q >eK;>)`k p BhlLbD3ECp}EBlUF "|5*q ٤.s|kGTmjwB#*Ҵu9S&|xh @(b#,GܐV0c-}΅O AF=Hgq߿^2$VD³?7d][v̬Qq ,1Q(a.HLd/uXv%3@9ԣNuUڞDWj ? 5F~qKBr]6T1kw|ĿO~*mEhoX>9 p7bqζA'Lj|7/~XN2$ j>R;њ1!|mV]A3 X> Y| % Gre%ꂰs;zhb]0C c: f٪c9ZdV|<~hQPNA^/`iyZ N AQt!rJh89G{+dr#sN+[<`yO(0ٴ⒄beYra[nsUlgEio p3UME %R%5jDs<gu|q \. |/D'-ur;4̈>yhȯ .RK߷24V[ϲl^04"^]j4ʏcR~ 1vO/zCfZ5g0$ "u0^8"Lͤہ,Jd!z>ĝ2h;"u}{dڲcė#תsϳɎÛh0D 'Qu4LRȈ*ds˲͙^F T ?:/fb9/iy@7 @@E-KoSxD0cqyt̂ix@73疒KK)bh$$zַ."ƽ΃DGEh Cڍɩb .対(ܒƚrY$+ ;aUHa2X2eo(ߠj8 BpkNG(lliWR0_PEjt~_K $) jo2T<<'6:U l6>3Y:o9k*ϡ/F 5x4X؄,? ]5,44*%.)%QOXOFOyH 58BPO^c`t{V bDt(6˶6oz4<[rrxU|RlAYz' OfG*[=S.v_7F՚v+sW*;XC bqs7qt73 s^rp=d@5iYM9h'"X0׵%7Q(ݶgqC gpŻP;ؼa*` -7V ygmF-|uc41:](YHw#Ԋxthi Ѝ?8*Z;nXV|?|'B9l&dND[$|ңIll_w7BbPBAx{=5~iuϏ]6pIˠ-uG16%jnN>דB>BWVާ zVPX[3v ƎvJ>)<~{>xmrqdi;iWth 9$O$R-`J=aEzdCmj#I\πW6żE)?Ux Y ;.?S+>FCR'Z}5(SLW.CP˅OCCBNlxV S;38w"o/ >?ا}JlO{~jSd?F-3(?ݘAh ^q?[9{s,@"LI>D`"p}LV˫G.ӦOEv7ĭ-۩̸ѧ6kSmwI#dC$ 5y"pTO3'Boß@ ^⺨AM ]7*l#m 8 a "dbDŽSYSR:- Cv섽'; 2 3hڕ*Z xm߯0?-?*+ v*%zR{q /Ⴠ}kA!2wQޤagu{ jͻs<.um2^m@s@..iQSc†6X\9m@NC7Dŗ6&ۖ-U~\:v}X|"K癞8!>MHNbnTmR[n%jB bfLsl9DSb!ȞtR<"૮-y87+Gn][a="i|+P T_e ԣǪVՒ| (8~'}6+ⱋx)xpuE_/^e@ )-[0DV1?lge{j)FAîָ] #3KUAuxTPDA Ӎ)'g5gh'KW*HrlV7@EٌvH8L} @"Fs9`^T\|)`m1g1ul5$[OG^a2:VzzHX,7=$;R_DM}օ)iJ,jO:ܜ3D11:k "6{!hwux.̕=%pDCOa~)xW_!Gl$ʢ3GPjt_xqk2L51]$&3DY$Tư bYhqLYuUf:fwm{#1}bQPL[AJ)vI3₶DYTvhOK.í +7*"1?݋H[k#Sc{shS%Dȝ]ky3O~(uD/vx% mz! 3@7?:vLJx*UhU꒿6 !dC4մG9ŭnR(D=Q(hJڗ]5%Qj:|GvԏqLg,l-($XQt z>g<-hn#z&N/fJfL:0vJQݗ4j5t78^dz :2)~[ԍme|rCIQiΜ观o =`eN*`z5LKSx0}rkKzY*h4j୑1ܬo`v+ &hi>R=-F-΍Tq1N;#RK)Aof7;Sژi`:]ԋxL_0 VP Gף_ ,W!utX