SQLite format 3 @ ( I ( .v i G U--]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_sources u77 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_infoT11Stableisabelle_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_exports } \} [Cu) xIptables_Semantics_ExamplesIptables_Semantics_Examples.Analyze_Ringofsaturn_comdocument/latex(/u> o*6L }A0(kźXi椭iMXBl.*E/B CFsXeCƌ)"qϼ/ogrwEK'a)tc.z"DqB(q4&@EZܢjkQm sPyhGV8$l`P{F[!ĥf1cV 9R5cҋJp4 \ćvDЉHGer Pp(Cq 9e}#(lx! qʈQ4Otp6NDh8TohT*89cC/CR.*ydBꩱbɈby(Nh#T&|#އ27PH3BD`@ i">iXioBs'Nw- ymBЩ0rRhR`$6ixpIͤkL{U0BeBך{=Z'-^nk9̊
B
D"8
aD'-Бzg:)sVEdxwy`ǜc< s!V:H<>B*F`RX@(9`xHsHswV|)ϙjݍ^ݭ~nZ_̙+!Z|
x?S_ɭhD2'd +Y{NZ9~7V_{C="W Dj9\k57sC9@W̊A9L``࠘Ujk^^k)c^[Tֻ-fjrHMH&66i`iS#d`<&h]̮vժb^zx=V[wk-fJk[/!,Lҙ.C+nؽ/hzR?Փ{{)nŴLqIKD6Nb^>2o~$0-h`xHDЛҵׂ:XaߝcG6J&.4y&Sx! BgޜVkZ/wlJ
T,ʇJ$BGb
Aйw[cFQ\c@'Zː,0(pX!@lW+zE|^Oۨ!$)H:@0\6= ÁP<D aa(a(b( IȆrƼzJ\|WqrJZKrjw 56c6SQ4
c*90;A'7}Ei4t0X)
&