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 + d4 ] Euler_MacLaurin:threads=4elapsed=17.534cpu=65.696gc=2.568factor=3.757zXZִF! !]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& ZXAǚ oɋ֥P?D(00PU-9gLǘ3췇NWki^# QnIviU@!OdB)'p'6mϵ(}/L%@5:>ViY[Fj j  `j+.TypEU@m_ptF)&fQ b [8LzɾSmb˒=rmH82&顃S\I6c|8wד0ςSΟI:|n/Ľ;=SMQH>{8|*Lz஭Iom!ጾ%)VL-1-L6Ox)%g66E BEڗ{l0zVĖۥכ5xi^yC@ȸSr[ը"b7G \&+cJ\albP$0<6K, (F8v|| OowWY$v@^ᖁcBʡZPmlg`:iQ!Rݨ)i0r3+xVٮ{A0~"U+;2$SHeԗ%?{{]t]6V:Oщ2Kgϣo곎Iz/c }M>ZwЊUg^gcb8hu+{ğ|0e*/TX+io7$G h wx0Xs[<,tlU6  -Hө̡݆!Y0 @F\)yQ^ %:'{!> R`5ܱ6[O")`\S3/ه nb$89دoUvGfͫ\RM?mE b-iF'kCa~JgYZ7zXZִF! Q]ŗXiɟ1˦r!q=4!pƹ $7#qX'+f-mʝ:IM]kc/wTo90佛 cG/g0PO2BkIk1]P$u1~;!v a瘨 HSxC*4ciK$_jK<`"+<29sQ@4- wzŚ qrH'})="`9U>V^FN$Ja TxjZ|N[RSqsz>o#H?E0"}~l͢QBzFBdb(OgYZ7zXZִF! u]ŗXi%Ge(_Ht9n"2l 33zsvkc ! Vţ$qܪ87eWQ!!mP(V21x/$-EGk|Kq?DRTwU.xOǡʍFNV'`p[XsuQG6gg4hhŞTbzBr˩TcK`힔c%DGBl.PW^6 vf7y5P=ꪝ$< jۼ뵺9t2"y%la|Eϡ@:FJ@!-07~&Ǔ3gȸ0TuzЏd:,ln|㳼fxuA~~@nQbO޻Iy>8DF|yBzG\:jY_ әd3TZUIV^}X;잢{0(rЯJFW}5dPPt̼6 Ոz/N{Hϻl$0 %V8Y,kFJ"VpD$/JaamLU&KחpI[X=iX `ԯ:Ux%uWE2.xᵃ&(c wԶ/gIBNx'ڵ1&8%^f2 RTc(%hOg!S<_smִg<~8?ݳ cpV1]#Io{sspOUCs`UX@^8`:,x a 9qᥒ%-ȈNؕ (6&kXlMv#uOOYlr͂܂u@ Yc(YQ~"?KG~"oPgZ};6+}pNP]2Xl:ٶWa7JTq` }dDb!4a <8xxE$eJWAh^qYmZ=EoJ_P+Z.%"U=K_Cyy]^"9If)JD 6UՃ@;gjaSr?0HARʷ֧=ARH [xbyd U"OLJ9n(%`Osl#d3մ ;r^k݀m*\~&e@ NjX"?ů8RUwAQѼ{g[5.ydj5TZ:9w17k4̰yp3L#E^xf'~M`7{o1X+Eb[Ky%|l{[=E/x$G2㩪<̐ze1 u=AM\De; JU'"`g K85Վ8 *rgԥI9Q|D+< R9o}C4A-5d]- jéuN(d54eT/I}k@q9gJ]Y!^On`EB"5*㳇țIZ\dhlǎl ;—rh&wyW2꞊Y33Y)=Ϣ!sBZ,pXEU~REK9& _Rm]l~iZ5x^#܄"Mڧ6dj.y$V=T4s6A`h-Hkv~Ly؅)`w^|D,p<ױgYZ850e5685a91284bff673c258be98cb42fca4de041795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 7b2e61ff0c86e069f55e46d35334d76ef1e809ac + Euler_MacLaurin