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 AA<% dL ]S Posix-Lexing:threads=2elapsed=16.053cpu=28.952gc=1.560factor=1.807zXZִF! ,]ŗXf1-/6vR[2u)qS?'CΠPhuM2bF|Oބ2\8~eRL1Ƽ^Q(\_i5s8Ve.G;=BY8!QMِ@-%5`.:fHЂ/hc\9ZY=3s^={F̲+yRw#Lq1u~VwM૰ݩ=ôPpI=CzIecez"s]TQrhoG00LU;m +Su3D,z@{3,ۥ[G+Q[9 %gYZ7zXZִF! `]ŗXiɟˏ6t-utD>ь@z?HS(@>zr][DMR83CbO#.\0+奕U|+mn${|OYgYZ7zXZִF! [~E]ŗXi%>gɭG{l$D*$kdܩo;l6sPAR8d8$3[[83t]P?#:2ݝd)ѕ92²,|}UJǫъ |%1ৢ,j^Bz|H<,OI)iҥujV]̛ۏɘpk3\4AG $^o;9$eH `ڰܛ=[g/ 0Y~z ZZ>{fЌ5d`v"=){E^,(LyIk ސ 1n-1/ӣEIޱM9d;tllԕJgN7f `Uؓ~N<!I_ _X^ }׾\dCj=Z ܩzXGG9f}y sOsrnpqntuJ龇HU|Ҝi3ޜ̙!`ۓBhMoj#;@㐱SR˔?7 }BЉG[VHAL?̜6# %-sGE~ y5g*^Nqyfgwg3Lh`F#1ρ26FjwY.\vd@S'\ 6Ҥ#j}Pi2ov* t0f2K%PڗѪ͡`;s1S&ˇ>YGʧ53yaAIJ3Y&>KrBqҩ9JFMs^,ട Ȉ/>!.j{-,_VO))5&,.20|ڪϡmWs3֯+|J>9wKmKt) ǎ8g+NJ% (FV7ƴ޹$ ]Ѥ$>uzuODhlQ2:hqR2:c