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 ~+ T$$ ] Euler_MacLaurin:threads=4elapsed=15.811cpu=58.864gc=1.904factor=3.727zXZִF! 2]ŗXf1-q恈͐7ӺV7VU ۷֙M54;D@RJރDVM СFo98}LʬRv%Blq o.Z{lg#]jdm!``8 PARXq%#{US @&;x%ӭ,ߟY΢E'wnEͦ\߾*)w ͽ%˄~Κ#_j :mPS^4ӥ953F0pr}c%0uyS r[M&`suPvJieȯ2ܰF2wRЍ`V GH陒ܡ?FI. 32oq Բ;>/V!x'D GA!:`/b+ pg&_:mOT6Ʃ4(7/ gV鞵%MkUL T]RAJ Fo0 F5i>ڎw ;ֱ !zmglGÈ}|ΜY5hTl-0wqzXj^lĦg]Wp oJ2??Q%G!2+z`KrM/u)BԵL&_F8J3[6=bs^SʤSQ̇9@7q@*;SE:1z/ۯ^-48A;B@)2b ih-Uje4yH&LDD! NS-֛R9Q#[],"*\#wъYlk:T ҾAlfU/T2 heD9apUM \EqoTa}r5oC3u0'srCRƠ4Nv6AgF:!X$]~Dz@n$gYZ7zXZִF! L]ŗXiɟ1˦r!q=4!pƹ $7#ԅ VTl0tY;sm,ѳ#t(wUl/(Հ1X<'s4`Mjs_^x^mQx2$+NH/wn H{1nw3n'12V=$Ac/;|eSGM&Mש襉Ui$#I2bBEϬZOРĦ'j>`6E㕛ˮB} +,bE<$s!a#8_9l%XeQl(zla[yW>4gYZ7zXZִF! p]ŗXi%B۾2ĻB)w@l$єk"ASdZ?@D!{q'"n="eN+ In1+͛ Ủそˬy`&K*/31.!̈1wITwP Lm ["(FMN~1p08*0ekUԵ/IR*(9+*p-izxɊo?jv 60WpT5@WgjɀQtX-v=6!/s0DmqTe\:oj/z=1&\"czSI~g;z}lƧq3]3.b͖F _Juvb&U0dT[~R/ Js) e>(8!| ?pPB.ؙ!K;$!|No ~ѻIRc/X"p !HdzMT`Eu,CQSBN M^M :Ǩu@Yg3sύ +Oeg07EJ<<eYצ. _u#aO҇BfUL$<|CjlӻRLA@ 䃩%A˴Bಘ{V/e+bLw Xw>}o'>WPZNJ~ ՏRDr]ĺ\z>YT(); vt',ʒ[UQ%]Ir %-HiI)G+T7jYᆹX7auw%Ue{/P*CLyC$0DS6KLV{}s@cP;o22[61 ?ȣZq!!q|x! u* 2PWq d tl12eHVkx)4ff2G RҍJiruTto,wW:JONJi~m)(KY  8 hMfAӍMV ꆺG^GeSt2CU_W$FJy`*`ȨS>r$2 ^MaA806qAzb"jiq@$I{1rH-S ek!41zB,0c߻p~Mɩ.- ] Kxro%gYZbf6447e475e9e3c5196fd95e5dc65473f581be9b76b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f 2ba2648cd2e9eefa4e482a87a5d42b21c90574a9 + Euler_MacLaurin