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 ''V+ 4 ] Euler_MacLaurin:threads=4elapsed=16.313cpu=61.140gc=1.852factor=3.757zXZִF! B]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& ZB'vQd5Cؚβ#1>f.^'֮r9KULy1XS &d L[^tq &$ZV:J/."!lqzk2:]{y˓Xӂ2 1=2;VH\:`6\.-lKL)5`{A٩IK6-42s)ghvxF5kt|$Qgw^guM|G>309:ʕtlUmjPZsgpMM,TiNU8þ9f{k:&?15.v?"#ƽc$<aהѓ.m֠vZDz-P|wP4,.ο mlBH$gHG%˅jR- Z2'F]E[Kcܿ~RoR?-|Ň6Qf[goL[M'8;%UdK=[|@0J@ rXmI0ս~7'OgYZ7zXZִF! s8]ŗXi%B  U/e¬j$ +d9^?仌1׾9KVUz|8S. B[6([b*E^E XmerqZ5pKe&]D"JN|`}.zp绽4XHV]1Ce*;@Bqwq×jk8rx*j8zw9Ѷ$W@2siuD a!El PQ3f/NU=X{%os^(|=|uٔWX ;l*;^/ fnn~q5PVֈ!`|=r>q}dR?Ucs.fW )D_Dl .0[+:/[@p-MGBj뉛X@@6?Icͫت__vX_PC1rQo4&]d2 5Y`jqodpZf%d98|[. ːڝ<\b^*x8 ܃N~Ԛ@W d}9x"~`yD9jk,$0nWIH1WH HY5!\~1:/ɔZaPU7MМ\}F$.Xql~|j4Y MC_NRԵ7}8s(A/e?pz%Bw׶5!&S@2`y1{4`oԗc)p74L E'KYXYG۳ooDH6+ FPW<ݺ$V3u|)wIRGI|;1Qդ%KnNtm2m>A94 #[Pg$̘@oЁޔuE%PF]X^v<4D6-c^ 3L#,~wgYZb71d01c579de25eb8ca51ed55585bb2b55e4e8edc3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a d040bb6bb06b2ee524550897c62da689062d71c9 + Euler_MacLaurin