SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ^+ D ] Euler_MacLaurin:threads=8elapsed=10.024cpu=66.163gc=2.788factor=6.607zXZִF! ]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& ZI?}x`MUmBuҘyƔ nrߺ -3Ȳ*Z{@א841 x\2n~}5}L䢖$dAKBXbUw{CqL0W|0mܲ-D, 5}5ȲwXhHp-'kI?|\]vje '=}I/pIf:pZ< 5|ԍoSyƭEk{(N^fI(C18b܀řy'>9:%Ag,$z)Shsh4ПQY(3\H+K58x9JLdd|'z=;EPh& <H\8QN8yw2}r4AL,mWC(X6t2RR&+} h90~2$V{< \W>l3y0|G9;:0S= yQ!jsJWo511d~Qnj|'Z2MGHo+ ḡ ^(tFK\rmz2^dE;zרIל!K6k|XU oG:M`k65 z{0yn`L"^R$pCˠx5v@* lJ5fg2&|B҈eQ*^7IN] ]˂#ϳjclz,m@.ȔGg=FOgYZ7zXZִF! []ŗXiɟ1˦r!q=4!pƹ $7#ҙW7Zftq4OzЀ:uq2GT0}CM'f8ymD FD? s }ã1j qu'tFl)ˮ"vvEo+ 5[nVQ*;\ʺ_/ ]2H<4V/U g(!KG&sa쏌;$3 8vK?l"[#Je)"b[l@b)}/Snv2ZEX9h"3㖮޸vَgYZ7zXZִF! D]ŗXi%>t{?yv}%*-Ju`8m+Mckp狚ed-GW^" 1S3*Pw73_7pC+cHij"oj dӄc-^+~688T:ëߒI @ >Ɣ nf".hg@ 3JRA/<{<=[ot]omDTWПy9${#nN4)O)p[Gb- WJ=>{{qݎZ:uBb^b3KCApCjaCbfqp IMQ&~<ĿtVE(gӯR fvܳ{Z0_^|=>:c q*x[j ("h6`v!Oˑqk>g񑰧C.Y`xJO ({V:gߎ&*ė3H Qe윅:AY+!;VV@\<l<՗gP- mUߗ]{}R;]Qy_H _ 'uK)ž6D6i}@[1ZsN+.l8 (dIfxX~6T[mZNEATŎCgk,uP4J[xπd;D~ze3g8^t ᘷWB7?RƷ/Wƶ/ D 7URS{L(a{yц6y_Ft[ϫsí"Fuob&Y.FƦFs.2pd UVa]TmƄnB1Sj*>r.m5vB,9m`N@|#L=Z.oi[#KyM4:~ܙmS/1׮I@bt!% ^zޛGAbf)EGu<W`U\Qm0,UW  ᾴlf!q=$.=B VgȌـ#8#f\gw-,'Ur [ $Z4X#vvcz[iYWPi)X9[0K7'jj"+@øb'g.AHvf{jh]Ai˱(O҂-ೊ90ԕ7]>kwho K(gYZ9fb541fea78aa2f9682e9045facd534fc3317be1c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 5f5d9af270ebe02ef506a6072735bafbbf70c6b7 + Euler_MacLaurin