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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info D D 9 t$ ]/]HOL-Word:threads=6elapsed=9.067cpu=45.768gc=1.948factor=5.057zXZ ִF ! )] ŗXf1-q恈͐7ӺV#^RE=4E<@ jZQ2Cd>:cyҶ@`K9jgFCޫND5RtKW0Bn!Il c<l1D/CBmf$Xf֩>S'.8K:PpC"`.t3ʾJډq->Ql&֛AH4{a^/`SO'Ud'_}4%}jx'\XAKj:QR e1fQ2#b%6J( J qaneCڡVQW z\cz7|/p eʪ=Q>z`.=_7c[%h̐Znw&e7p ~*"wnN6w[$*K3v
sϽsUZSՋ>< $]SK0c>~?5ɒVEwaV e#Ƶm/
.g^` @ ( g YZ7zXZ ִF ! }] ŗXiɟ1}?3DDCBCmlOǝ ]P۔~Wwg$&Ig, iރZW
1-%!1eKhkg+
!PڎBDj뵣6L/<"sBy)9L"y+Lܥ
)ϑ*&1nfS.,9N;2CZ'nӉ!Q'p`؋ T*V{n,"I"]sPr'Ȅh?ܭ6`)S Jk"_ \d'
M6JlEUd>l)z|G;DXT8DpV5T)\ڪNj9 ʱ$i DMr fPg YZ7zXZ ִF ! 2i] ŗXi%ES1[Ppm~j蜿j]k%.