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 ~~_/d }/ HOL-Proofs-Lambda:threads=6elapsed=118.674cpu=145.052gc=5.264factor=1.227zXZִF!  / HOL-Proofs-Lambda?c]ŗXf1-q恈ܗ4ޤ9ũBvp# 7%}eowIDn{^fb%aRX+>o3H4?PQ}|b.>\Ea܂ MGSEU(֡KVO|`o \qZKb2m?J1!R"ԳeXC7ː 9i:'fLZT<H;1B= e`|7`d ]>"^W=}.};eV@dT MxlߩiUO,MhWbtH AWq[#RTzurdׂkyLy _B,oî2>SPpv^ݑŌT<@^8x^q~Oů2f.")2H4QkXs ;шs1X5.3 QގߕoWɨM-qJCv>ц(_ ({U{ V#?E8o˸QZ3C ghf%l^ č5?yf9`x/% œ9 VA)(Sfd(nS44 cSҢ_s'mWrYםaVWj)OZCB4eWtZW o%҃BK oA j|2aWbQK歇,e]_}ee"<*%65Nvq7T!}nokĮ`8ieBx "1൑+făa]/Tw*KsP @@X \PBC(ꨩ Neݚjׁr(۴0;iv+$ʽb.O4k}cTw C`k+:, q(@8MeN+l>.-KYhH)ꋍ|T2kMD9O_EowVMeo,p 5bԡyKaDF/[\%*z@M7- C,ai !∛z= Az[ǯkO~_걍iO6zE-nH~|d;>~5 -7h S.#:4 !&0jsܮ jg&05{Bd=4*׊5(ŧbʶ, ((~ܠL,޺4-;~{v7sPkz#A+9NgnrhԛfxdT) BuXbzlU@0э{y ɒqgU}B~j& Њۙ:iD6 3X34= ~ UgYZ7zXZִF! .l]ŗXi%X1Olkkc8.U^u!4%>];l)e`xl%):|sdY6夾wkn֨.MBG1+8N*~*8/2kse1(U#oy)EkanO쒾&}VK  4"`J;Ƌ`:'Ν],cgk@M}ϓ ^Le*7\busH牅xf#ĐEҰx}h# pPʗ2i4*9|gH~Sy~_:AJ!k˞HbfcxaXy 9EnPF*['ztzVwȐTY`.Lt 6]*h;^jEL8P)ǒڇ:DTՆFlsby>flrZrhSwT/{E O5(+xݠ.֧@-;l?:2Dse5O{W%h'qA{iPv_H@r~8wt)(/rf'] ABl#21~}wUr3Y>큀UeߵldUU6OCulpK/  #2M3Qta^-Kms}뛾3.*_\ ķK@=wh#ԦL)MuPm!^=P`=SrO`4d/ =ũ₻ܑy!dK)V2.<<[PI\]5crNmc-N UX'm1?85YSglHņdc`ʧTXW* xw72Q 1aoB,_9J9z2SY.JZͩm@K߻CE\@ ݼ6%$݃쉺t u6?cIp ֧.x>N'#8ˍ^Bb ps8_Zh,OqchxL6a]4QUáGĤ^hW3P+  &n;ʞ!].H\Z.*Ak>FNڼfCXGbw>S>KRzMkROARPɥ:wP3$,BIqW .wz(|ſA/\ȍW*]ٍDw|?sHJ^u=.:ׯ>?<иu|Lw藄|M=ܮnWB"}{|2𗾤`Hspl+A뵭tsT$.j^']/_B7"HsO{F >a楪KԱ;zQ4ﻮlBҡ^c df^kS4XIiK BP+׽ ꒶!.փnqk'!W j6Y68OrXqf7C8OZ&n1E- Ɵœat:W8gt]#\eђ fҘRob`oCӭ%)-sxAnUV$6~`F%!m)rQ ~#սK8 .&2;`rQ -h:ca6a ފλIV]ڇzgݫ4W>{O\Q48I& 4"_%Um6'Up1s}Jq$:&/ip618j"PVK_~pФCUdf|^pWU@Aw&\VY*:ýxAZyHU|xr1TeM\]'[ 6$pzW쁼]~GFo%TJ$u X FhQRZwD9)]t|0G+j3Vx9lI 9`ϐss\[Ms˨*) .3`]+ ջ_.ARWtiG==S3mޚc UZ]ZZ@i/I!{4YR<0 [p)mC]drD4$Hu #p+7n'6QBJ(i|^"@8!HTiX,{沗d;ADL>N;f >.Tgxq)KB։ [s7KzRGxk \;xvNMnV8>L_&K_PR[MLs=gjI(mjܼ$8U3wgA/f'FۡDKV"Ik)YT"0ޭ^TC6Xc`a:6HQYAK _ l}Vef}ISH2aK ح|4*wx06 >PuAձ!\5d{l`]zN`[K^3q#ϞQ՝HFQZol7'prZy$fzghd|m0OWH&SSk;N%IXʽQ̂|[\#DhBFj|S_[-Yӳ֫%&{`|ef!ʿ{jlhh(3Ϲ"oܬr+- lYAՆ`.dخ}emex?|!D |\egqNRINS;N