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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info S<$L ]% HOL-ex:threads=6elapsed=154.165cpu=736.384gc=41.728factor=4.787zXZ ִF ! ] ŗXf1-q恉<<V54T MԴOLgrٍ@qq1ugR$ZP#s-(eeY31d̵t%gUB@F[g0| O:& -\&:qF?,ۿ"Y'0?h c țJV̹chӁbߣ)D0C;TWQU+@ #F7^i҅ߋtfh 6O-,M@;FV)Qv5+A_x{i s^$`1P0;ky҃|Qť &OgN4Rt v*Yp#qj_7^6Rf>,A~.v> EH= ;ND^rۆgSqx.~-61(LONˎAQu]Q[sdَ_|(zAF;o-z'Id|qQ2rx?N;nvt R=K9WyU />Хyڮ"1)1oFCD1 6v@,{3meߔtp*UY SͧڏֲphXZ?0^fTt'zh}H㼋nj]l{"W5h S+қ0{p>]&~rGEsdRpc0ՈI2ؗ2@ C5?ap~Nj`R d*b7ɰ繂!O HOL-ex 놵 6W;33ǂWVHY9@%3AW rCfjLeC. b#[f/ tZͿ爐s\떜Yu%Ϊ˭B 7!_ dI" w!==ďF3hƾgڜ7wdʰ\)5#: Akid_~V8i7հ pDVE84hz('lTGiN3-onoz"LL)h_HƇ: $=Fپ i@P7g'o|z*p\IWjFo7ÜLezniN7&f:x AK4Y;h NrkqWd:pُzۯDN}sΦ[Vr6ZL2ǡ*M^K0M:ˬm9GFk9X%s*0$b=XA/CEr\ ʁdw(V|i>5>=XvL%3v<+*^A}TfFz-4^Me\@]F'