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 + \$, ] Euler_MacLaurin:threads=4elapsed=16.796cpu=62.484gc=2.260factor=3.727zXZִF! ]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& ZXuhs8U0<Hw𢿖u[pE$ 2FQ@bOFJ*6 pXhbqD(z|泴k(*_NH K~:m@`M]1j3*- }J!tB}eԞq;~nU3b D;]s< :S=yEhHq悾G AfM_?S0Yl}cI8ym#?Dau$]zό "ݮ5/;"S`s{w$HʹQ,֜543əoU`e}Hs?h[!\: {Z֫Ϣ|$sz^].9pq#z]syْx ]Nv^DqǗp]?/)WrXCB:[E#V BәPHWD:1Ovt,2EUܨ^ŸV`U 6؏KCfM's\"Rf&_j2\c#ABnB棺wa(N{Obn;O{+IRC ,H5KATVwWzDak?Vɾ#7WQG-S3C:}R oJ |f*ӖOuY*/S1cuj܊ɽ#vj` ?ű^m }PB'^is  XA"UgYZ7zXZִF! K]ŗXiɟ1˦r!q=4!pƹ $7 gF a{>1RlZ2;C#[UD</CqS96.'>;!u zѥu5׿ |֟ufs% ܳ {xɎ~*rxjmZo_g\95bvgtCxTS0L愯 ȅRRRŶw6]7M\yhh:těEC*Fܳ'HR,[~m@v*9Blh l0)Y-p\j?W&b;l1tCAF 6+eW ؈ޕ=OpnxYU~O^;Iɂ79="x-`eѾW=OUm <-)TI-& y[viUjlq*ir3&CH#fEd|Gt {Kx&उi20W TޣypT<7W_iCӾ٭Zuhp`X,pG&`:ĪYkE IU ^\VP )g-|&s.>4F)k+?Roƈ {r>E0N oN"ZcKF/bcmOÀ!h6дUɇ>=Uͺט2w8\.9mo24Gh-gp͉sJr Glf:n)b#\ͷ(q'Sw:”>/҆=Rf5J4!Γ$#V[7o nǰ"؅ĩ=nR:!aޘXzR7 ul:.ԾsQ&H9>b#I4ٗP\Z";|2)AJԢr[9C+ E:Z+ؠ$Mi"~NQtO ,\Cbw6 L{hPYߓ7o` twJBqf :p]c;yNS ;Cixqtskߐt6*vҖ}x4 Pr6u#JzҶVyZo r"`u`LS~* Tq.B?vg5,,7 Bu54,h$hx,eLQ<= <a!ic|kRgd $w엤B|rwj{<6h-5k4AnTqloVҜI 躖GF΋޷zG 3/F[(s!| /H;VՋ[I1PL! oP1`2/57C ֐NluyRu_O6°)ay'H c\r98FxT?0o*)r EiM2VK@keCO %D؎X5W"1R~xl>A͚9yLEuL@F]d#'g7\=|[(-bѡMVz8~=3a 6bLEYmIA tD h3-dR=ַ\l#*. n#A%57$ŨݑN '1%EMUpEdF>derݨau&[xX9h]2=_SꁺFކLgBMˍV(UnןG(1N\MLZ pBuOQS Ea +*0?#T%*{w4^YQ/zQ?S _J,D},#;5@M>`"=, KQaj';^3̲z 64n?(pJ2 ]dY7NM'!VyTDYhQ;b"k[gYZbde8285e26c48b3d1a6b2e71815dc7c55053cba34b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 87c046ae46345ec50ded6c0dfb6f720da4345c11 + Euler_MacLaurin