SQLite format 3@ . BBh77otableisabelle_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 + <\ ]S]Euler_MacLaurin:threads=2elapsed=18.149cpu=29.480gc=0.756factor=1.627zXZִF! ]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& Z:)yV8WfzJGo2 ^9"8eޣV.sKnM3v_V8!h}>tI4>e^rC_ަz87'Da(d-)Q;i.>+ICER0LQ}&kbPcW8 Z ScVBn<'Il|˯q\! HekBR>¨ot Lik*ӵ<}?vH[;qdB="0f\gS)+^女{̄UC(d`H%bN7`P-=2MioUL!qŤk=N{Ej69WgM!F\jzĀ`rOlq ϣIOȽڑ<Щa{[ H8of4E/?X晟e#%'a# cEgYZ7zXZִF! ]ŗXiɟ ؁#dN9ԝLz L\USLbd& m7Uy͍H]tǡB< B 'tP0D-D?j\6hN(f[g\,:D‰Vc|y`TK]0t)=0B }a[` sgYZ7zXZִF! `%]ŗXi%9#Pw\\ZoJME@rpz&@ .PtC2 _9f\\~D6.V◘9iõXSrF`Eq2&tcB,?NITaVN:98nE])Vu65`})$|WMh0窈cc'+,,QP. y%̕5vK_^!s 4owA/R@٢0&"LPW0 $+Jt6,uVA)J5, pI!_3Act5墦I#vAEBI "[9oz׼ *0/&H Xph8 Sv,<M͏ l3c"z>E?v-ۛNB?:9GGVQq,d^;ռPP9^tL$4UځCVt\/硹Ni2R'm=9Y;,w{Ti" o()J@_=a'tfЭACzyLC-wsSA<"g4@&NL\CܲRH'=4(^xu [lJϚ H]IôB sg9u~! \"@3Ez咰aLRр$TjOzJ#|nhm4E+o%lSiNQ8ִ+M9׍H9 BB=p 6rHGO&QYׁTo7 rN$=`yPaߩ0*k=W_c/(9C&4;քu8 ?r3йKxCnK M;jrDb+pnU2T9Y oy>|{mS1v*B6 T1޾"\.c$/B:t8l3왨J\C cF}M#6|}=EFql΅g)6HYrL5丹T\uGJq|lgԏGJ@ nȊvAi Z[$A^0} EX ,}$sٔ!;yW)56B;vjU"]WF az(PM I;rna5T{:/GaHL cCXEb-F+g̉lVC˦4 RgYZ914bd0067d456e74e02de314c9d179326432bfe68ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 4f980edf476e1d267841215178fca737808515ef 72da3e8ba4102e6270a21c86d3b3e91b237ffdfee69a53b117a5d84f84fa8387d97e4a6cb68495d6 + Euler_MacLaurin