SQLite format 3@ .;  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+ L L ]% Euler_MacLaurin:threads=4elapsed=14.401cpu=53.660gc=2.008factor=3.737zXZִF! ]ŗXf1-q恈͐7ӺV7VU ۷֙M54;D@RJރDVM СFo98} isw[p tƑ;>\ÞDZ?Yu_F3wHd+8?MkpjR{6ۋ֨|]Fͳ(N-?Y$F ;#c%</:j jjKʄ&d[~>!\TAw.OofM!OM H7;C+83|=?N*e}DZ36)AfwPd_ VB߇73P:2*8M>-,2yؐڐSUeWz!ʿ>0y<&0&[1 Xhs5 nC-^WAŜ.߷XZh}%Y e[CEXZ}_* Z.o5(D:XP"7J= steX9{O,'{D@v܈#7yڬ(!KB/:Y2jÇęà[+zD1IdPJl d6P6 hډ-t~t%F)|jv_M>8?俸8[ Aod̶/*̃}U7Z+-oނfm]5{uUTՍI?|e@v>DYp@Clh@)KSmAg5; &!ke.f*ơ?KKA *b@b:M, _g4KLd9D#CoP]B(mO¹>g7ݜRxq$bA>W۱gYZ7zXZִF! ]ŗXiɟ1˦r!q=4!pƹ $7 ÞpGL6O`'{jթ>%\vOenh#JE$Y^jsG2m:*PG,g {f,y@B&sp(:.;@hWBz齨 1Mږ:W=2V`o]߅e"+q?jlP Gd.fȗh|>לH"+Hf$1sžgYZ7zXZִF! j]ŗXi%L mqauQv"IZ89Q*$l|(צDެ䪒ITDrGWIOU ݯtC%ªr.=Z{ =_rR)`? 9V [ik vx[11aU.EYucw?-q d&@'%nFXķd;EάDz-r]X̂Kdv-#?0(%OΥEz#<^n'Պz>doQ&af[u(55zf [jNREeɗCY j 6gYE+̷/'r".kK(hg_Z8{yIن(T1<xY;@da׃=Q6d+iUBY;pߙr T=e"yy{rX~NXͭ(,[IJ2(Qd\|of?!X(o Ɩ^q;ǃgK*Wvd)õX8z=-槻UW%s#P g?`o?(:G Rmae<\P\x~Ϩ)CWnKĘ9XF=34Ř@8xʇC pN#BDW? g&/l.R"Lb.ǩp(^,$n`YWfq͵qv5 /Ϣ>'?} !F tՎH!q@n#h7rgvEK؛LRНр T e)$mH4:|ǝZÀindWN78^iO%h}CyNڠ Q|1"$.' :6aLX-PT $Ϥ?.'@_obtPT;$坕ϻt(%F$}cI%#\u0 m cK3x Q2|Gh_/w%`|6U ;w0?dy jZ%>/JiYht=2VNK0ZF^ _nT/GLStv+6GfN$R+sD)HePB\qJk\oTk FűNY?[P%z_RX]AL<k&8? JV}]˻<SrB;]5M[)T@Yy3 ;BJkP\-$ N/٤oGo2h8B6Xֆt-k,BV3s!ܞ Ǔ,Å4g< r$UސiŐ.fԇ$ͼA/0uRc8sRD{=0:\|`wgYZ8704d34d7d5e92bf4e107ad80d872de6f5c4c5a1d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 3452b5903839b521e8a25186df281ed84043d834 5dabb32408fa270a233666662dbea2f3cd36fcb9 735f771f38234b3571fb2709163632a0b4c00ab0 + Euler_MacLaurin