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 ~+ ,l ] Euler_MacLaurin:threads=4elapsed=15.950cpu=59.040gc=1.816factor=3.707zXZִF! ]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& ZPwy)LziռS8K֖i2 8o#SicҦ5sy2SWRbPI"@g)_ܜc5D[n^NkTt(Vvu )rP&&]y%xR"8h.oct^Nj,! د*'g2 VzXe=sOԥ !p*Am*@v1:^Z_T-z:d5Zo* /Q~r#9e#iV(" Z,?6$gYZ7zXZִF! M]ŗXiɟ1˦r!q=4!pƹ $7#d8m 㨩2[X;ہvq- PxxfxxtV{燺+9(q!짳9};ċB dT'!/uw/eK!x,fsǤ%CP,M汩C2;/n4=T fƻ:Ӆ^K#PM`E+{@\A{a攣= a6:pzI{O9BB7QYŸҶTX.zoD:{ zO| fgYZ7zXZִF! mn]ŗXi%B:gs,7sJ;j|i8!:!- S'v?CXNiiD]uS|2d)tC9a:6[_ 5,WlO_-g\_d G Vk\Vu9oYm^P섷 ?֎Y'>h .̬T>e5&tS3( Efp<^l~@\k&4<hfpZ;FN!Gd |UiFْQޓe`2ua0gsu* ՜! _#Kch/?U4$z$nϙR.?Q*#՛7?} (RG0r\2wZbL"nk{4=}ON XarƄl BXAM;kٝXOԢTÿV( H(N=\gU@R1SWQ:w?!mrJ]LHTk#f.8D) A}CX9 W>?: 'N`Kr Pʈ K<31MaAC Dkq}ܪ @ 츧D 4M`{bI}y^,xf)xi?΋YeZyף,-^}uߍ#2:qC)Gpzk]pVm5H(qs@/X+0Q/1W)R|zT4C=Խb j39Ok +=)-Mz(`jo1Ŧo&ůiӃFEFF'ס9prc^$~3-