SQLite format 3 @ ._ 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 1x6( ]/ UHOL-Imperative_HOL:threads=6elapsed=95.638cpu=453.821gc=12.213(/`] )6i $h|?/}t*d<ᴌ;e$ Pu ,XW:3sM×YlHyULU;yce[DM]Ys8ͻ3oHR@28=4HH]g[FE⍈j/0"ԆZ%|!3'"=HP% pE`D;ydsՃ H0<{]]s] !#Y(HP4 @@+~@($@D$Hhр C4$B Bѐ`@!As,`H E0Ga4dH &8` $EB DCCC!q4 a,H WӵNdB*42e5j3E˱e2ژ^2,sҒ[U~FSjn-^v"3snߗ7mрp`A@!I$ DDpB8P0 ʿ@ D
U{x8gmvYm\i27y`
;dCV'cbM)_jM2Cc!p4$$sSa[lj̾!Adҟm!!
e
!a֬3aŚWZl+N~Kӎҙ7M28Io'W]te3O#+,yt>];L?Zi)cW$Ijd@@ ҨP$ڧ aa(AApF1Q$Ae< )+kDX8xqJ6 BB\:rPQ~pFԸB{b&(rK s鋌6GB,e7Uءb7˼@vPl8"1z2
TKPX{gdYp8ewنV첑iͪ#9IJՠvx
3X@lU?B
1 HOL-Imperative_HOL /1a] HOL-Imperative_HOL~~/src/HOL/Library/Code_Target_Numeral.thy08f0891cff2f74fd97fe4f8d9775b4b780015337(/` L'!@
pۿ{4^ЌUn+:
4+hUuV:|xlrhlHS
4>
2"5!*u*>6[@=4P7rvY-PՏLfUM7{&P_#qf'+iaX($S 3spQC#mr)#-w1U] 0HOL-Imperative_HOL~~/src/HOL/Library/Nat_Bijection.thy4ef79c7626033eef98717c873f2e1e390bad4488(/`i2Eh *Y+nsj>idKU{LjI,0 ݠj3qŊL%p1.tq
S%
vνl~9_LpQTZ`\AWƣ8:beu£颎<)ȿlʽTlj,pzTZYKΕՇo^{wSW:ZQ9uzsRX$#ޯ*_Փp/VեxBLy.ђ@@6ߔ