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 6+ $$D ] Euler_MacLaurin:threads=4elapsed=17.598cpu=65.896gc=2.600factor=3.747zXZִF! "< ]ŗXf[&\z&OHiv;rb|^?wNŁ3--ʡ%`NHy\Z}BR ل'U+bG} ȼ輂`bIc|b1پě͕![!ZqL,sVI 䰬1 phkUvIHw å3 2Ծ4q;d39qG%19Cqc)x#;Y]Ϩ!Ŏ=)?~ V~ܯSsa*Vc֊!i]g R7o<+:S/z=j}HO֓| Z>z9L_nT8uZ% $HpDfc۝/*[šv"wʆN+]#-^OCG]=PJ_|[ 0L\wM>?7`TniD_ĉgQ! S'}91w. hrA}؋&0ycHLЧם]c:7F{oBO !9F9tocs 9u/Oy;uשB"vb6CF" (P_v{oߓȾOϮxlc fwED=˶UhWgYZ7zXZִF! u]ŗXi%GJTx)| )<\YР<Յܝx]0BSn]^i!m o  >Z[ZO@XaeNQXy@Jmk6SCbtT 31{4pdcҙj$_q%ODU^cE6 EYZ)dзF~h+3-=h+Dv-rӺqS\nL e7_WhA Ij195Au@UDeFޮL& m2T{~[Ld*'ɟ긫^FadfB¹giUm,3G9U3WazxzY\QSB;p=ӻX罻7>I‡(Ŝ<.L"݆mA+h &vSu (8.#GW Wjʹa'm({DDF}%{M#qV={BdGH}xϙ0n-;)¤dƓcV;OvlKSueRAa>Ů2=uFxbok!(`T\79Sfj؄X,ƔQf1wL7mKk֚hم>ЬM5N? 3,q)cGna Yۨ ێ*gF׳gfI^fՆW&CG0Ʃo wC͎ 럒M*.s!{D.U?8b|jPR{ic: I6bM XCf p̓el&Eži%Po {#㋢0x`ApMEm G)?-d> p]Z) 20`|?r'&qoZ][c$A+rP!P}4W67A0i~`h4fH!R:RB뙙ǼxؼcGq4(HCb]AgPg'QCuX!IGE)2QX^\ykUI߰ PVC<76*fEv<z͏vhe5Rk$HV4ːL *c~Qc+bWxӬ" 3X"3 _֖+});=-*+Rq{<Dc<~{\x9e,S.FpzT h5e8cIH]|'K%sl=-R2at.+@>MTcb9@᰾0kY DŽ,D1-e}em*]2V> /i}*MDkKL+Kw}#޽YNG{CZ< {c ,_cr? )gi7U7|D Vp*|B[wUۺU=Púb'!zբ,_z\3(nS$(^t$ ڍ ٓ+)z,$EVsޗ%rAz"6`V$kjA:_1 ]J7>r }p},U@K(pZs}w`)ˠo+ Sl/r{1f0zAY2eS'F@y{AsEdKppsgYZ890b9707d4c2c000da4ba4c3034fdee3859c35ac78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 c8db6564a7ffaed04f8e9e08ffcc3e87fdd94065 + Euler_MacLaurin