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 z+ \, ] Euler_MacLaurin:threads=4elapsed=15.902cpu=59.224gc=1.780factor=3.727zXZִF! !]ŗXf1-q恈͐7ӺV7VU ۷֙M54;D@RJރDVM СFo98}  hsq[X"s)X>o*)Bٴn]ap粞kI{İڎ=s4f'd/OF'$,*F'<'udrXh"S+5"RaZmBBmfjV㳏A 3v{OgO+.]l)W}j$D`k?7=@pN8g^) ;?Q=U" 8ݨ,T\!CP|66 "@Eв͜N# N# I?C*ց^hZ.m;. >.jGL'BȮ唬Ib׽RGF՚u: Ǭ/ %#% 01Wo^b,DL/9pVMnFSkĝQHS Gu{,ީ,OTi:L)PNhtz]6@ͤ׉Tv vU^ǯzE![n-ajIk+HIKF𿬃N[2'G\\3ҐުZ9)~ G }2eن(a8RFT/[b!J ub֙r-BÁcMen[tYU9ARx7>%$ЬL%E+ہv֦2F8_q6o%ٚ!ayo.uS**CFDC[:,"=:b}QYt[e8BCgYZ7zXZִF! M]ŗXiɟ1˦r!q=4!pƹ $7#.{2ôeD#66h! ܾ@~qLOɪMhFkj4Du񔾙}UQ͉)!/Er#U}ٷJ%esdqMn,ۛ@gYZ7zXZִF! ml]ŗXi%ES3{:Z7imocJJTKag\#*mʣ E&#Ŵ69I=MŬ?uU~Zz_ :ZB$Czc*xKR޴/i[~/9+c6hsbӝc=k?b,6– rӯE);Icĝ`&B@#m؀׉h|!:*xB[\q4)b$dF6u+0xJP` դVq89]U,tf~in/,sNub_UN}Ct+⋰ :ΜCɏjDon7 C:;jR'i/X-]s%iՕ9bӡYk$/n6~U:ޠ2`- ?`?u߉}JlF;\Io Mh[3,l}YNl/eF!WL8:XT⥮5WK?$*sP:aSl {#4I9<ȮWO&j6yKruA^^Od\c{7 X*pyl*tq@U`Ǻ$IL S4GcNXXBNYwvDLłRYktO{QBj@^ȧލ3{Lt Z>-1QvL˘}Q CFˣVeCN3;>`#fHdzSte^Tt4y; G(:,?m'6Y fNkSa>ܭ\onKxkX\ ՗v*L'_lK3ɣt\Fш|SL;O S3R4Wຝ Trůʀ^S,qƃT\aDj|>=3cCwVf%'dS|X. c3iGEW„ݬ0(I8<=dW߻#+2 sbH}8qpJdfk:ky+M# ũD[GMI1M ji.o[0=`w`/M*feNpi!2\_`$IV@z]&Cǃ_)\c6㑡e<[fBɿaSR"eB"xEbڋȢ_V%+3!8K>/t3K`Y@V6\MH.'y"ԥ 2CE@y Ԓ`dF޷1 v>;9]5INuǗXH(m(agk-+"^'~dTP -^vY6Ul>YD RÛc6jδxq6uB?pWOCc[>\]?u#Tp