SQLite format 3 @ \ \ .S` B 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_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 Y%xD$ ] HOL-Homology:threads=6elapsed=87.751cpu=415.438gc=24.9997zXZ ִF ! ] ŗXiɟA5qbh, ggrJF3bT6dⲬ*敱şxiFT76ÎwiǡH7OV+q6OyfS5ձ`ymӌ:us!_dT9iWܰ(l-Bk^E.ZU^ ʮO([x5fIN'r{LGP1ocK}bf5sėl.偓"BCKo*~L̺XAwk{%YEP787J8N R{pϸZoRlkhblRcƸq= 0PijNFӂ`m9kvS )M^fyX:ZWnM\0|*6M.ysBdlPdu< xw NS?GO wqxXݎiP>)S9,̞fW;w}wBs[Nv;,yԖOT $j&!EI*(mU@ r(MIH:7,S⧞9s % HOL-Homology { @ ~ytoje`[VPJD>82,& ~xrlf`ZTNHB<60*$ | v p j d ^ X R L F @ F%O)HOL-HomologyHOL-Cardinals.Order_Relation_Moretheory/parentsMain%9/ $HOL-HomologyHOL-Cardinals.Fun_Moretheory/other/fact7zXZ ִF ! ] a0{re^%3l*5cإ?#8v5 Pj "FsKyփK78b}=#DCYC?Xx HƵa>Hwc>s,}!|0wfl~lB1J#]g_P\k8!sd~o0~ GZKS4*%ʁx[RŇTR4})o.h_> R(g+˲9[jP#nF>_ eh?647Umφ:! G1In,pO $0Y{ U{} *,ve~Z~7#l@ -Veҭ Ycg YZ^%91RHOL-HomologyHOL-Cardinals.Fun_Moretheory/other_kindsoracle fact bundle attribute method}%9# HOL-HomologyHOL-Cardinals.Fun_Moretheory/thms7zXZ ִF ! ] a0{re^%3l*5cإ?#8v5 Pj "FsKyփK78b}=#?K~!N% J߀ h Py%ܤd7/ 19mx>h]ט8 &- Һe ^] \I2ĵ AT' ,Aӗkp шN%F(fcxu"uX_dRe{LJ)M-0Pkv/b.[?e?'6)xr% J!Ru9z3x3>1ie"AJ'ue(jqy{>BW7=] wb/ `g YZM %9) 4HOL-HomologyHOL-Cardinals.Fun_Moredocument/latex7zXZ ִF ! 'R] N}T':=Q߲mZwb3Kzd pZјY