SQLite format 3 @ Z .f
5
T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1 indexsqlite_autoindex_isabelle_documents_1isabelle_documents --?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_exportsU--]tableisabelle_sourcesisabelle_sourcesCREATE TABLE "isabelle_sources" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "digest" TEXT, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, name))?S- indexsqlite_autoindex_isabelle_sources_1isabelle_sourcesu77 tableisabelle_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, "uuid" TEXT, PRIMARY KEY (session_name))I]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
!7z8nh =-
UHOL-Datatype_Examples:threads=6elapsed=105.682cpu=500.260gc=81.003(/`jev g&o[x /}؈>K|y<_KHUUUU5 heҼ=oT,0Y(<' LX ~7.no
u\ivwFhC`G y@˄dYޟM8bq6[yTkܽHR9wogUZ<
KĀ6}0Y
AjzeKLcQA 0OCQ!ϭ8KOPG8g}'D$Ɓ8x8mbաT&Di,:`@0Ҁ8R(RAyȐ!`[Y"FxH$iXCC h(4M{(CqR?Uw''R]*S I
7 HOL-Datatype_Examples
H U7]] ^HOL-Datatype_Examples~~/src/HOL/Datatype_Examples/Process.thy13187a4aa62cc0b4aa223059ec6f092680601d79(/`~N *\P,s0'!dt&g#ߣ7Yx^-3a{ o*nGa]2:Y#ҸWFo?sFA:5YSxSY֎2Vs*WExF%CrkjOPZ˝jSsgCDt6?i/sJNEX
eZ46*`P 1yJĠF%[չ&G)&%sk4;8ժ@MlMMS68dJEV nj'Ih&V
&0Z*8u}Fzef=bF(St
t ulb*k osLٺ8[
#:[@dr20?4Uxmf%T0WٴٴW^kMt|IZelnsжl015C9q1```hH+cKwʾŝQѝ]S%ĵ"Z[MVV{V>Ak6֍R^KZ#lޚqe
v䛯t-Neuraf]CçA3ixXM^j@5q
E4A>ƴ-8LI&]B+LiZ9(UI0XV %c*ػS\C`8QA7X0W&,,
6jڱ#d\u_R}\,WA
2PhaJ
zׯ ` ݊c!vbb8j_|Q"<05*V̶Ԅ%Ĺ;/H%r`baW]gԁtzO4YϏ
/0