SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 ~+ t4t ] Euler_MacLaurin:threads=4elapsed=16.759cpu=62.980gc=2.268factor=3.767zXZִF! !]ŗXf[&\z&OHiv;rb|^?wNŁ3-k/ob@ΪGx1ŐQbŌF $E6znN+%xH(u9cp _0ҙsR\RulQYR-`%9ʺ߇[Z/CM^BыJ UTc+'=cnTY ݲŁx_N.Y3ZæBU(#Fb%#Q]@7NXl.@w9S8>IXj?kw9ͽa8,^lCeE+H@M oS$ͪKas7iƣ(~C"&./Pěp\b;!]ߕJ0(p)RJc5g b1Vazz,T%7˷(%*ۯYtP"t+ Ot:t?_sCN|ۻ;{ʱ+,&J:!O(>&4-mY* =i88j^w4N=g0i_:'%O她O ;ͻcd'yDpI%җԴ Qdķ g/i2Fx|*.g'(#lBLj'PT QKy磻|j Q oW!+}v]4\VѰw9[ǝfv ' @k(SRHz竼˸PXoU h!;b蠬L,]V ttzaCץblR^zPi*UbBz'bɃpٺ:3YA1u TS;+WP5LR5kwQ &/>-w(W%:d# bΝb*);|,)닀xDv+ا)]Ķ/BgYZ7zXZִF! R]ŗXiɟ1˦r!q=4!pƹ $7 }W_ZE47ω5K1ǰNrjTw1dcilEWQկwvxh KJ5;yjbs~0`TK*yu2ˇt1?m%"[oa =. oϡ%ʍy5=Դz˲X) NrizJGB^Uv@8os9EhBǗbL:lv -0Kyh{10BnLWq~ h!LƲcloQl=VRl<<嘪J{ w0v$QyɈ硲JaPeD4rY]aHR-CCP;$?9oJ=+!Dѱz)9Zeԓ/ nold. 8Îd p;`J{6Q6+)j%Z"*CG,ٯtc Dy )~;v1\& tmјf6I1Y?uKJrW XQ˫ј_$cJ[ZU8ANp$2C!fgqwB[6擶VB`[ Oc=F&+٣ xN.`&"t+2rKQ*u8`Csj>I[XrE c  k;9@T@4k) fX^&/%ſG=w&*,98T t/ †O\]oyQ_WZp#jg*Y,|y:n'*G XІ`K}r~$~ .oc(ޔPLZA?ֳ~ur&6l.6W6FPJ˓ Q9J إn[ȭ}W;޸2Dn.,#UП!:XbX:y@0ݫN+Ĝl / h>^wnXR-P92h]3]3qbe-;] Yyy>g6x<豸ZVbzo4Sq8\ jNEXojoB33w0 @4[Z3j0iהGޡ613N!dGD s}v`jʟ:~ _\pJŗe.#$QQYGOI+H/So=>J1ڞx?H%y["Ayvm{SMi1Y G-Z+T\M&TWD]=I<#C :(I&~g,kt-&Yj;5I& 0ʏ)pQ^8l/WB)rCPto1Q: \'֮ŢBhni-Y-]8ɐ:RA /6⣭=k<^!<cir Mb:N"kc6j1Hsy'͔L~ܴ %Ck9y[, -*V{@u44]^[q,-RI 1=V@[BQEod0 gUkpCֆc4>nmdސ4kxŚ:Y_$ܳJrZoSʛ,'F" 䁃HQ\o":Gn'X+n$zr:J82P/fdcה];r}FwFY"z_7tä|z\O=Θʼ?Z $VIKF0*H^Uo,niEAIVH#|6R 9t8hc2%ο/4zlt:bbT~!sUz˝ oKη83G´-}e=dXoh2WCFx%cͧA l;"T6d0S8)R|&>!WgYZ345f8ccb46cd6bd928647e9367569f0725ad0db21795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 605abb464c62516833505a816fca1fe0cc006c6e + Euler_MacLaurin