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   s ddT ] pGCL:threads=8elapsed=12.091cpu=74.447gc=2.317factor=6.167zXZִF! ]ŗXf[&.Ir?.kL|{3z3;b'7ɲ, U⦶[z}~Pi{\ӅEPO \fd<7D[7Kk=r$`jeQ,="V=(Y\SB8iz,˔B Ht{tO8.+SJLK'< ZP:7 f]}^$}Xoמ)30! 넬 ۢq:೼uv]C4bOIo잌/# Gڛu1ۇƃhBd$lُG}`BI~4!=5 xUCYfGB\dX.;N'ݮPV<ʧ@42% Х߯8`*9hycm*vddV_#]Ėv #[g/_z!AM!Y-]#B,u# ʟ*c" G=ȒZв},#8yV]sV/d^0n{+C 7]F8<1]ShOTwFA_.pӁK"ϠXPҟ릥 ЁT6颠k?UX^J[o/IbM6qBN>8_m5ظXs!4v;rfgYZ7zXZִF! N]ŗXiɟ: e=o݆$.bu'`6~^%2oqϐ,Nn~j=^H D˚gar.hjJ %f|84Xݟ[T=e-=onUDZbo՚ njPfȀ{^_Goil0kʪ6OKi:̡W6KQ4?4O.VDpgMaaV89.ral(+]t{bA@u@4j3(MWVl 欿1r:/X,*/FHAVɃPqqoI/u@5Y/rhFxB$}∗aPf'2YptgB3PG'zYjt|bA}d>KdUia PX/P z0E5j)W+h- V;< um^ ֐xr*HƜP|tަ|(3#J9K$Fj[2M gC#}J<'EC߫ ,.=kc>N2Z!gU&{˥&-xO ~+ͽuӳ8 vxsLSiq)brke<g뙸)m{UOpK:%'.<fmmƀkU]$Ə|¼- (be'&H1l? /S,H0m7 ŬsTA;ajK*N GC;ۘ6i&K4޻㐄1F8&1t3YAQC\fÅsnG>vnȢRKAqlO*IΒP(wn Ok7 eN*J"{{kP YW"3^d/6AY[ގSC:1 Sla/ O[aI'r &9Ȩ}c^ &S}EMue4k]5ch*ű%VJd^R]P>pwAnPlb!)fa"!la8[N{?&]kRl=v=W 軬m*(;6(> l~|%74pU:Bgi]F롹7y%^uH:5 .f s5