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 ##Z+ T,T ] Euler_MacLaurin:threads=4elapsed=16.385cpu=61.272gc=2.452factor=3.747zXZִF! ]ŗXf1-q恈͐7ӺV7VU ۷֙M54;D@RJރDVM СFo98}  hsq[X"s)Xv(t9O )V7rYi~52a4HqF &yȂfZ͝&FmIe{ܓN5qtRǷ_?-%a5Ҫ:q0kru̇  8-ݯHI1scK_:2Y½Sn> CB5 &]H&@*y95*ou8Ӧ@*=ԋǗbMc`p.kixb{LSf00ug-"9q$ #Fr`L}A 9vvrm8RWq "|X[3揷*qIB= W8]__\7Vl:6^|v&o~rc3Dz\E_ܶ,]Q$K9mJj=M]e Xj9x5r.Jח(/2MH0`T6M6z KʋEZ8V(j\BmmӫqLJ6l_dDϓ{yw/kɭ"Cz=o't09`t<.b~.B"; yLIob]_OH3Νd{ߛNc'( +B܎\ѢL>J|Oh:qɚ*"1*(.N[g^c%L7'\%Z]LNx Kۤ 80pCqeT X E_PK/Up ]U%`=pRH $! Xcc'hlo>>Eu9#F>RAWgYZ7zXZִF! M]ŗXiɟ1˦r!q=4!pƹ $7$}}x6}XIo/o/:(sy ( T*}0<8/nU}KqNyvu?2DhD_dXff4*tjoUy5$L)uiaϢǮmd~ l 4yd&2n=la8_06ʓʃ޷d3SR^@y K8i].7X$Rآ ]b]BqÆ# ]u|h>gYZ7zXZִF! r]ŗXi%Eb⬞d~N*c?riVEl< Cc@YLM Oiވ MYB}>)}deV45;b]We 8P@YOdf=5@>٨d][ky[uI'35|)܅ͪ$bߟ[.Uk85N}HIaLCjږiFE1搜̶hEO ^;NJOl6_pRP\& ȶwղI-*n4{3{= (13yjm U*КG4?Qr?a؁"ұ\MaF3znea?g Ym7aXtfVr$e_@ks3Q5Wr{%@ ߌ߇ѓPVE?'`^dL#~Z˔=f0ڐ]wwuDߎ朔y āke@q0,+jBR:Ǥ i~kosô0<<K9(A1㻂;w:-(IrOun^#?؞u{:vGL];b6jw`fSL>L3"1Jy.)FpWVG:`Bn1(\7cϦT~.ld2/x 5I=v)s uֆK` [8}8k&`${?p}}'*0>1JF?Df;&lCs-JȈoais!]:L&#w>랎~r"PN_䀇YO p#6s(PYkKpRQ橭TѰ 7HkB~&JPhUͥOaLT!5YvSMf\78J4KӺFf ]npE]#k.!ͼ5GŶ{+f(ldS{-7TJq۹汻7j7?g{1HAy=_oMoNz(R/_.$BLk^;W̋D Gʥh |1ԗBTVRyD| .Aڡ 5.Tٜ9iH5z{V RlT#ˑOZgYZdaa68f6268c24ee6763e7b3c67c6715b1ab08c2d87d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 c50b1f72917060442ae58a0553f886677389027c + Euler_MacLaurin