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 z+  ] Euler_MacLaurin:threads=2elapsed=29.493cpu=55.672gc=2.224factor=1.897zXZִF! "]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& Z:?cࢲ tA5ee'tFdYr σ 񛡜 3幹pgvm'~ȩh[irmW|&S~ӵu`>En%k&!r({ZS6;DYPG#.;(Q“Mk(-kECwy|WjPXkg+DXJ>cfq8QPni _֋YKynX?EHb`ϰI2KԂ:u]E!c XጌԄKjnS=@.ybzK񣳔hai["PeV GFMf60~APfq0#c)sqɸls Ev`f*iA1b2! OlM0s ߴ)/(5td؂L~}cl9'{⧏CѩsNдg! 4ڪzٯ}Fݴ$lʜ LίL oaoI:"&gfx^H,^\gF>6iw,94 .HjXun."Oy`257=K!jg Mǔ&#͝UD zy4.2)ѧ=4g:S,63xx}zIY,5ffc۠csc8 L[7+vGW*:7FϹiM ..ޞx._bӌǹ"}5*I q?]>Rfmo[wA),1BgS4bxM- $1ōj.?Yb(4>0 A&9u\:CyhF  DE[%gYZ7zXZִF! <]ŗXiɟ1˦r!q=4!pƹ $7#NhX5WU#$Ww܍13?{0+Et+ޛAtMyu'ž^k5'1xEC pG_w.->"2d^Ră?ĕ9lJ9bMDITRN- Y>g"(;c=Laګ@[02zycC x0VBlZÁnX'Ү8ڛƏhҗ$96ﴪrwD*ϸEE+ [8wN$gYZ7zXZִF! )z]ŗXi%;CT֫-.B~apz&yuv !gg-2umY:)#g&0V`:O8I\.p[wOH& onOt؀k|P`.2(vj n.3< x0. `7p&JbvSe7QS{Vw"6P}RI@g=`iP;"T7:|!r/6?<õ=YSzq{C@'1ZSa,gM |zD3|,!Up4Ș56F'y.{ 3!rGu}Ty_BVl!)dSlW\#Ml{ːKO_w$R꾍a{ #Aꩊb[ug[}&uqW@^;#db8;LҋãVRyF Vk+%j]]~vPZ_H-;@bB MFD];]2)*(S }~}Y;1|yFoP|5N{^K[ h.64f; *%~`Ow A\4œezcU=J -jX cr\_>"P.$7â*VĔg}e&YD̡>GMoI)iFOGUΗ)kdҘ lqn>Xb2ug)+l]̎0:Ry3q<=\ {Q's,o3l'k,z0T9!d>BuJiF.p4`2 UvkPp|#E.;sa!KHv0z NS\幓/\A@Z)eT/x#=|WP@H׵Qنpw6 o|,M<;VY s`ݬpzY k ^#Vj~F9oOƣ{߿GW\((0:RdY\gR.)qo{)kZd:qdysjQ*G30'&?dfe+.j]BM(,f뢁:y@m4#H8tn)mro_Σ<| =П_X}8 F+Ɓqzč&pXddrwɢU 瓛|FlxS"$r=ꢹg*ry Ah$_J޷/>ix.{cue._4&R)!abEj`Y`<ozτ8t>qBQp6Zz?Ii~1e\B26I'*>71-<:4HH1]v;ϧsDUs1T.HuJ_q0o8@ou2@$h|Ww˜K\ \zɝпlUUSSp^D_s ۖ`#M6hIǑM1%vPk%$nuTƳB+[P%sH$W՚N<`BjLkIy_x"QŤriYC@} 363LY^YQ-v)3j}CxmÑpPDP݁KډlTX| Jrt.uc 뚔f(H7ҝR*]+,UyL_3/CU~THÜXt1+߱1@MI)rAEWo|uZnvjyD]rdOl|HI,2f ʴ䋡RVXer`A3`XyerdO8..v$cwv(!fϑl3e@oq,(b:S4!d"vc[4`5ˏMt|@'ÍgYZ9e57855e4042347f59a0f6e84428c6bd94431f3ea70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 bdb07c009ea028fadcca50675dca42ea3fd2d6d4 + Euler_MacLaurin