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 $$MǟfO &I!%y9ӷ05{`ΉH.:#w-F=]z|yn f*|T|J[i-jx!z-;ٜa./.Vǒ0-ٞ H :fπ]'*sZ!9JeUT#Dbӭ2 cк3|8mDʃ#sE ƏV 85^6eG,9|l 6{Yhqb~UxΙcq ޟOf BfG5Ck9eummm})'53T m]{#!F\ / LWCe{VQOƊD^%^oTG< ~o[d SfƳywa#U5dZQ%nxW"ގ̡0 9I*q(6}@#],Xihyu?iHLF異Dc1`=~2BY粁X |"H^k35*9CF^y:Niz I-~^DT[U r\9(ό<Ʊ=s6[ϭlS ߚyH2ڌ.iG, a- ɥ[;K23M㛨Suo*2/aY|PMHE>eMb)m2"gO T&YܧW9cCc3MUY @Ab(R1~M~e Vv2=L( /^ `;GPē8e,Є+BK|Ck1V! QjW[ƃ`(;?cth&0}ڒQdFhQQ됖P1cKV NT- K y!)Gi7Gy8Va*Ѷ7ߛ!K@ Vzа qϥQ_rv38Zs W:,lS@ߗnL%Jm#aj<gYZ7zXZִF! B]ŗXi%6˻fT .ո$$8Y\OG/ps.cޡ;(i MgRC‚r0#rRHZ$UD{)5v[uWFXngӜ\њ3rƊhx.8iyMbI}sK1;XBFΆJxw[)^HUL ^f'G~k@DrX&C5qxR    Buildingsd6‡ߵf/%,_)17xį"&blFl(6<J\\-DXm 3!Uf<dH:& F`?$4VsWisUvX:r6Yң1xYYI줔-Ċ[w-[ੁf  <FWk71ޛ-CK ,8X%;qMЋJF7i+#l}V#f^S2.'{~,ǖ~2&}WGpۋWa^C(Ӛ:!?S3:jY Իz1SsL*R zsŀYYQ"T)I~=ܵo5Ծ[Kv'kp7vXS LQomi`Z.wr4WCj+}\np̫ 엙B<U`jpJ<9h`T+-,YLWSۘt}M&nDAVjK[oDdJ8*9M~mӇ(3m܇,b>!H0%:C?Ctx \ W6Z|w/tU78.!Xu׮0Eၹ-d܏_ځpMSy4։{ ޮwjAĞB[13JK !B_~,S+Bܝ -`B\~-#%&)RsC+3>ig/ (^){qsZD樚#IeO|?Lm`8:;f y#\\ε<#KáM5V &o(!:3#y\hc NO33w٧|7Gε=FD`kݙƪ@Ͻ %sC~,m3p4K I7 \=:/|p4 Rj_-DO-C': dRNH*Jª_QJ\9KXC>rPbHa"&gD+Ɠ}M2\lFIUz@a s2AgW] n7*JuK; YSL=6shcC̿T߸ ) d@AyKtB]0\(+Hl.8ٌ}\, oȡ~gZwYxޡ44LU1GQU5p8&kp#3R;-f5Z.tF4>ئ_iu~~k ,vPu]nф:2N;j ;h$f8Rx\ ~e? uKUE;*J,O6^&LC62X'~OPOX'&EDžwtx >0?Gmo{?ϢUY~WpbGjn[V7ON.\rעdmc Fɨ iZK-CYou抢B7NBJk~?M["Ie*pډJǜE0b"bmTea䅉\$;q[˥D)ιR:v ܚGFt~šqW$Ψ݄͈&j;y?{i}v@.aq,ʜr7Ru\gZc~/L7lHݒXTN?9Rc9`8LqutAM*زGC!1z㴤x 5E BN4X=+ qy2D*j]nOV+ ]G(ͨ,N]0Ve^jή74)JrԂm[ڛ-S?Hz\D1d;7hķe eC=q8Fb cNWh0IL,<`;]%۹I؛5;y\V'Y6mրLJt6j4tQ_XHWͳ}jVQ "+ϕ2m ] f#A 6p",\i"^՗ m2|CX+ӥ2õVŝ>Q^{=$P`uԾ7PpIQq wfqWca3tK3)|J7G + gIR =Cn E^Cwtǖ}90aphƚlL)n$V \[(0d| |#-+Bs |`לY~]R" BqI4Z]W `.Ѷ#OyQW9S; W*k\[Q2K?+Q yy+QuGdN1]yN!1<QV]z":>$5:p]0/;ٲ/K8D')iM@A_aGF߿Mh =PNO];7JGuNL|&YlՐG%Q5$Mf[} 54he~c"M{3l$\qcM#L (k8}/k/UJ~FX~ Hr!.pùPiQ\Uⵢ 91rO*㲚 m.`ew,IU2JW\ƎNhkK?17}4Ц2h~;E,Pެ> sL#W! I+xB{Zw<0xPSaAy]5‚Z ulM}{+siҎwwhY~.wڸUq%iOPkcHc4}۶D*v,ocU,SЄg-3Ձp !%VdAc-u`[Ίg.ܠYs-krOOz]FD CJtEzv?=KRQ i炟6{8^wwE_r38K@jd&5P0Sb`wNC?( _X jaˁ'I'Wo:&*j_Nj}k:=0:<4 q<=U$VCϵNޡVI\fٌ23ʹ cE华D[Hrt9I 9壓`p,n=SJsiHBU;_(B$ħS)XKXX> &}\TD9VxLi.1F>$R3e?ȦhPZEmUMACLpuk*lʄp Р6|YLZ":7?J/F͹~5 WҮP0R -W $Qg\%m{X[P+uGowpR(lv랎w͜/cgX!cY.C' zzNC 44d;cS,PKp@ޟĠ8Ǡ-GF+4F{?W)7O@8vAC;rxϸXǡ'XI Q96'ew7"cL\ds0%>WE1\$g[Mnۍ c`r mKm;lj+.i1bB0Ҡf[’i 暪Y̪Eb[7I_}rYTsjB%5(xj`*C1@U>iZ%—YmA^gbT]`ɻX5w809ǝB>WCD^ztZՇfrkwmc%RB5v=mf̪2-pZr*:f!t2Ir6[3cGά]tic>*Fhegc\w֭s:z!hY!^EKH0>)Oj .U4""UHɩZIjX`_גyh (71#k$ڦ%[ko<6v<4aQUiC=#;,A\JAjv4T wa iLLbAI nխ7IM% hg2B*%*+ACq%.·tZxIQ^ǬSt=:΂ aW˄ ha$Zz .47U Ǘb[dR0w ɵ Fi+f lq2BQP͕Y6|q fZ^g&ŘyYگl tCÚk+K)bZg}/<U{7ϥյgt4&sZ^qq2Z&PX<քʝCYL"Һ5婸Y`VF$Q!u9 i"&VyJ[uL#NF]gQm0yz8i7~U~%b!AR&>b @s{ >3eg,OtώCڡMA-֚W^\|@ڀ_1W{*_LltkB>lbS2~Gb1$s-I=Sxuj9Y:4yRj0NoI!H->סbAQk]\npӺe,*R&m&*Ī:\K!3D_oIxC~SKڀ *sBL"@g3ȱ(;5 ;7PƖ/ >E^RlQv`:V w C5A,uпGAfF5evC0 \.֭(˅EE`&GK~GTR3QCl y.~lTh@6ygMbQa@]9>rx#xqoce8%(WK.Kv?'MYn"2ng݊`X91-8#r5fQ> C;tĒ"ϬG ڐA,qdF4F6q$#zjjcs?`С =&(4ʴ&o~QTˤj?i7/e5Jzrfn[Հ21dXV15RNGxUۦvgCv߉=V@W}(S -W _s[_%bAl{3[)GuQ-L>B%GQ/4l@/ /i޾h\_jmC5`5~qM&|QyO;-YZjqHSe" ??/Gx@k۔9U9!Ӑ;:V AH1&ځtz K>0j@x<#q[0HŧN?Vw?[ %y'TP}!I;vنuCY` GKd@9 |4|I5)r6(㾦1-pVΞȊךgA p" nuɨ*hH cB8C.dxR5p퇷U_K} _SD7mOE >AdC`º~ʫh𺽇"Eץ|e82lp|8,ixڞKE puAv?uzw}̀uЗ :aVOL=Vm1{Z酛V,>@jh ð = gYZ04baf43df6bdf2783f8db91a8751efb887afea03 0ae78654d3811c4588409ca82d7ca55c75b9a57d 659f6b9f8a6edd210c75cfe6459854afb2a35204 6eb4d96475242eb7fef3d2781f7b1fbd9e1e082b caf874decd8cdc73658929bb8412d22228997472 cb0168a8eec1f0b77eb8dd4a44620d5a9e187aa8 e2b7f711939568ecad123a7fc3276db604a04d64 e5fe5e1a2164fdea96b2845b767eeb965d90c5e2 f1d5fb8818c75006984f2a44e42b45cafae120de554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 9af8b800f666541cbe138b0c73c675da401c3f67