SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 -D ]m]CAVA_buildchain3:threads=2elapsed=172.552cpu=281.544gc=16.456factor=1.637zXZִF! Be]ŗXf1-q恈͐7ӺV 1VbkEڄvi+48~XD ؄9AEG$WǯV-߭qU2I"+ޠ~W!^=,h{/qBMbwC`f6KfZ{b5o鉒6Lk~~#<>Ss8/6R:ք`_Dr~pSa$ILID_F=gMtR7&h7ƯO(zӛ|T`,ky-c*/19W%h3U3ן=,^piaX@َ9,5M;p1ONMeu@Q)GtEEF$ ߥ95" \A36f1,fRFoY8[Cf'BbSLݼ%~Y`wL pA"?DH>"]pa K)n޼fШvOMD#s :H!?1jI`=Jlt?;OÉܫg|`rtɚ>@e}nF& KhsjUr.2 LC8}⑞]%oEwu\P  zҒW}ASSa~"el.zU@_l/J#i,@^뙂# %"d,$Y7A!csH.dKѢgd72#OFOϿYr._AEr,z< kA0%Xk[rYh~5̗ $`mR5&d uNqHyX3/l H,IZNC-ŖbI,.\AE(Qw>(<=s-[־hpG4YCOSϰAi$VIW ;OHWxTEa nā:Q/^$J Mb~\U a7mjhe]`m V\*")Hw$Ӵthk*3$)/ZH'ֳ@˅RaI3B VRbƗSjm. Gi1_T^}s;q&C_z<89Ha=D& Oڧ ؕ'1h">~L8:E@oG\-4 ?ƦH~o* bFJe4+i@7~ yP;!&ƜpvL߹`ԭNnn]դ4[?ׅ gYZ7zXZִF! ]ŗXiɟ˕BFSItjw_,^[u-9Hu!in⚆pBۣ:#pNLChq{ԃņуRė'g1+h@(lQ'+0+! %R 2gަ5ce$~-N82 2 #҉dہ9b+> ׻oyPU':-sL<ѣAk^D"ILR'r)O]Yi1v$%<1WAŬ>4v$1:}jg`Iup}tI%yYhůT5[C>7JܟM=(׆qP6ŵ?T@%f?lyAS_Cn2@}flV>^hqC*o&⦐ebo6̉!K˦'FC.ꓐ#`¶{$v~wa2([܁`kDn+Z/3%_YlSȶ)p2vZB=}3YN ܥ;/E_)xR;R< 4OG7czNfR#G?``HDr ~5= ([6":˦12uR dOL.՞bɧ@R8taZE7nK8Idb~MKG# xni]\T0)8J,Lո㋝ dr$ʿf"zcjqY. j T1hD/chq۠щYo{P<&P&z.fBX`.7%qÉݭ4>oO%⟴fj\c0N"2pNykX´qx63rOqxs:YրtWB\i1~ȪzdšWnϓWl웷tAms* - CAVA_buildchain3  05"AoVO=j OH ΄/k{׸UYB w x{ zjBQ9={˳R؛YZ0'1Kegw誜5՚)p:BJ/?Y?Aʝx6mTs/|1 F )0T}\u[[8%69䨟IfW̖)b\ ՠ%*@3ц~u3eVfHF]T!%\i $V+hL[o 5vij^MiHJ},r޸:A˲{e5GiQOAs8vHn}V8˨ɧ'ǣUDwf d w&FLB ;h ͼ4Fy+R0nMǗ[?Gƫܙ''Ǘ2-ڛb9Zz`3ΙM9`)ϖ{1o%,u}a'\k o?ЏVwu#ljvetpMqR:͡XTAc 3%aIW݀$y"(_-? =rZ"0h/!im36 1yP[w+GVt9Fy3AD":3RZ>e^R& !'5h~mP hIn6+Y]IdVZg401LLDn[ = ٤L|~E^]x(wrͽED=}N#ieLgDls]kz,-wD*) Ρ@rWPĀ?Ht?\3/0z%V~W<3ހU<HU ϨXQi,6rg /30xqݺLܬED#Py]Q0FVv ޟcD㰃;(I{G[H*5=i L!_0 DKAlǖ#sQ2‰c:5O(enB@v|CLخ}pxFur9 l%F2~cF}"*NڣK-#䄲 _.x/pKV>i$M}x"g:ϒ&D^jMJ Q@8ᆲ[nDo>A T7䰍ה<)*gL5oC8;-%؊@㫜6A  ܙw~kK f)@*~K5/r߮O4/-6_NW8sJ6ČFTdq%$W]r9>I*fciEm"]pt~u38{Iy5JcOQ[8.-mdl3X4h5;EřHg,`+;w{5]7F )-LF2鏶bzwX~]5991n{=Eu80Z JUp6p]|^[ET2Y$pCiE=.׼Xk)ynLn/)xI[ʂ$[yR`ٟPxު$BtU~}'pW^T&8:Ns\?/Ǭ1_*p w:96<8 Jm2 Rk[ `&I[AӿM`h2B#R[EOaT}i5Zq*nm3ru`ޜgn"/pcoca9?'q#APjqn)y 0 @> 5KDdVL̬3?+syP_H8"] bD\Q1m?/*l،0(5pՁ]u 22!B ^ `W\Wy 0}UNFTSn<#=7K+._hOϸ%$r{ԎNw(^1Vތgآ,o*{)s(||Sl{_bL7=:;w:nCN=`_+E(u"aS@>,UFPkhsT@{LZ~]mR3uC ՙm#}]@VXx[Nׄۏ$ܙDjm h1s)1$rޫB[ZAݾ3W|,jV$L<1_xN7mPI8YZ9GLCus1X[aRY ;jr-Iے#fy܃ۺCvU{ŏ\ld^fo i#3T)tft9gN K?_˫UY< $-`;o!`a!t I/b/{>/qh UfEa)&bQy{wF(Srpk!#緟Z̗_@$%wy|5%Unq9FyӋ1ķ|Ί9_@Wf-;x/)(D1qe's5z"K޿Zeб$A{71a>)+Y M8x\{ϳꇌˆb?r-Y>$I| @>eތ3*gTӊՑz.j5A):C+/7o l_EE1TX%HKV!i| |la#hxQ诨A:4>e9΍o5aw[0 z*uw=B3SdȞ9*XiE70B[cFDME%Ae Xx'CRZ̾'VD݀FuxIyWB:R3(Zh:_8vu\u 4^Y{TX %PDPB~?x~sīLJR8[GOɅQc]Z ZC{>K^UY7'" 7jƥFpY!["ujxRG7e 4}YoCL#~ϱS7Z2s}WHʦ$Rz+1z,HzaGRoCaq A9@^'v>ʵžCu3"v/!+eA7jb2'ℌgC2FBvOd`&` F&{h}ZȲ)h U!nȪzU6qHq,=qطd=տQ B>-- W"J CG 8> bG0e*#YJI{y(r) _UhYȤGN!׉?(F,/Ci"qO6fBt" #V?`Paod<#ߊ` 1wp}%ruVC+Yo`ƙ@Ǎrِ|uR){^f5P }S N{z9(mVg笄SH!!ꯟKs*q^`ΐ"O{A~\+9z'N\9ZPZ?pvA#|KJ4>^@̶4ͪB`RgI$ 0dnO%QKR>'7p3azڻB; >xT1:ϟ- ~^ (L<# bZmès#rq<6DgؼZB1p~lN9UNZ7ZğQ 4VPil¹;HRp̖3>!v=Atv_jɖfB]_+iMI ]q?~I݀ⓏH{V$7?) ^X\;l 0gTh:JMOj\RE˅n=`O4)pDwэ;(ӂCRxշEn9s @O󇈩( 2pvc(i-RXL \LIUˮ1qز(`8S{tg jLZ3w_`u06NfsrIŰ6ȃat7  kւAҍ 궭 r3f2$ p^E⇐lIm|L`هgA8w^QG\'('mM[(K"Ƕ PɭfRqM" E2j!a?aKK|ËN?U/5YVZy<&6GQ3kTj_?oaU2H $z{-A)PDqW$?T\FcHQ,baxl"}=P=ZڕE`!\ b(bw #nc6򧁁^|{჉xպ}^BtC2ଽp.Vuu}椞l?LA2kz%'2O²^s7v~T0X Krv9veu_/߇;X}IR ۷)}F5umT04p#6j O+8tX ;PSgCI]?7.ZjU=" I$- I8/xt*]zaݵH <ؖ@\) 0SUv1R$2$ݾUʁ朢iWL쇱~a0v"Kq.sȉmӣecpS.0r?ûVw֭x c1hGt-gkJGI9ޔbADꉲoL@NkBcc,AG 6|/ ks˽+9E d.b+|&&RG=T9H<ֿ?O*PpJeL.|1K7k&k(bF`*Cl?&sAS]ʈհU A!"~jV1Vh>Qx+)Svk H 0L4 .7_0_Y8ECO)M";Ȍl8Vsca =u|taBOsE*IlhmYdB9\.1d]WaYMقJ&,-G{z3-TA0vgԕvW^ JZ=AW`@eIY