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 b+ D,t ] Euler_MacLaurin:threads=4elapsed=17.007cpu=63.012gc=2.336factor=3.717zXZִF! "]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& Z_nUMThΒODE X1e_ף?=PT^^)lƨ/-k#Ljqۄcy8m3\o0{4Zɜ)6EVFT~׹(5SыŒB)pMPdy`%. p/ @?0Sg KhvI p(`H%̮ࠅW LJIFt?, KAY$PmwW6hҳ!pŝ始Y'E]K~Es7ߠt4෕q(77 Y0)IrfB7I}kh6"t"$껳eVQ @̤ll-kۺ_Eӓ㯝j.Z Sv|leh/i,rL{ V珮DwL(pZNe=CHKb#fA>;u=yЀ6w"4 v]aK ';$nO_^dg OwP+U_7YK4PIfßK;N:ӰC3JqwRySV^EzgYZ7zXZִF! M]ŗXiɟ1˦r!q=4!pƹ $7# ˜_YP\wNNڀض̀GwK~Gas^S.V¬cG&w&[1,E !2Ǥ3G|3L@d}:ذI 3k~+J,6ۦT]?#pQ涮j.`UlliK0&za6~#gYZ7zXZִF! x1]ŗXi%G> d %VW{sB]/ UɆC9I׆/$Z 2Ж4}\sԷ^9N;iB{ڸX)(PTM=b Dg\C|{bQVF@kYfG8٣,zHlp@L=Ko"ݠ1Vc4ɠ㊆1*+ PoyF{[YO#`Y6M^O]\jѠ8ak`uXPj3gG u}Ro W0~mO-IG`IaΪjl>^q2/],'hC3a>Z//4u1*FW,Y.MR4ԠO{V'{JOl[\Q&m4 U`3^ǖ#/y঻]@) YV7OE`Z7x~vЍLO$F*E{kC*G[|řg588#ζBt )~ֆ4]eUWKu ń=zهO2e7aŖXX/*h&1XpeF(H`pȏEv: ~y$pN>Ӑ(Ԡܶσߦڮ%k+/)>4%@߼ҪTY TC蘜ҮbaZ(+#) t4~&c:S QWϖˉYU,A~m;84u#ns;' $4s570ɧB)u+{A+CYeX!r*JJb?u; BtP=kH@JhTN;Dh^mϮ xp@^tAEm?ɲA߭&#mcʙ$nObZrb謑[)EQ|.@Oz3MX)rF ̣Ayڄwo^pȜ l GQ1peZ'W4@Ǩ3Y2h ]9"#wk,NTx\QڭM(Z_&Yrpz(#/"Şw-s=.2q(&yy~XʪAPA3v- ńy(>1.NK^'`qCM'$.vcq A!BB!%tul@?k*zX7Ez Ϟa %k2?u/Ybx~I+|N'bԡ7nwdVZԯM2 p+EB5uvϼ9Tm7ݱ?<@zz|dRQ썄;H܃w?awu"h^O+2Lss0IhAPEyRc\scJ}t zNͩƈmr<:|b=kٙBYx݇D}Jz,fsF I4¶.Qc[Nübrg"F!UIX``ԯ9R5TmlV0Z0%3__yءdx/RYx}=4dŒdCႽujUI"z8#>nfc4B1Q w4u)cXJML8s=ظ=ÄM?1wTiF54e^oI|% Ƹ I島_.JGM`*uۖ_UЬ[@Uf%u8b]H";zs[Sj #ڏӣmgE^?)j%`ޱm5rcICj$tҠjdyuv$n_!l@մqSaDv6v0Ew?b XbNF:9A VsSv)DxqK))tDP%[+Kk(I?|ńI#bmmNN+[< IgYZce5147720d5cc8db3a6c8203374848c29e839fd64e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 1b16a111f65141d4fa71eaaeb14f0d97bf2a2857 + Euler_MacLaurin