SQLite format 3 @ j j .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 q%x$d ] HOL-Homology:threads=6elapsed=87.003cpu=410.182gc=24.7187zXZ ִF ! ] ŗXiɟA5qbh, ggrJF3bT6dⲬ*敱şxigrAn, bf$G2@cp r 4UBI7i1G=ɚk\?e@w\UGFP0P? jdӐv_EI\] "fO IppMm +έ9XۏHX0b %c.&G 4p[ce8Zpfq^`ŇuspDČʅ5\~ƞ؝=#2'TY6`7Tvf n8 % HOL-Homology x S ~ytoje`[VQKE?93-'! ysmga[UOIC=71+% } w q k e _ Y S F%O)HOL-HomologyHOL-Cardinals.Order_Relation_Moretheory/parentsMain%9/ ,HOL-HomologyHOL-Cardinals.Fun_Moretheory/other/fact7zXZ ִF ! ] a0{re^%3l*5cإ?#8v5 Pj "FsKyPcST:m~O` 5?Q撓%MFtK "7@Nc,YEh|_LpF; a [62OaBeئ]\% ;j)Xr4IkGMtZZb 3/ rnûnBSH,aMWTvOLe2='Qu<nOAŤ9Fokwt0f;yū611a:m]ܚG!^! j Tc:JE\KM(SD > )g 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 "FsKyPcST:m~O_֠5cbn1 J]M$VM870C/liFRCww\}-U$zW-SΥ;c[~4r +h)2LHIDD;+3&:uq`;5&T5j̍XqESY.~אUŜUW{N,ڌb,C[eUg~vQܻHbuhU74Bpn"/&g_`. s? ";=v%_9?q+M}ջL5iqټ.Ĝ*O- ߔ4( Lg YZM %9) 4HOL-HomologyHOL-Cardinals.Fun_Moredocument/latex7zXZ ִF ! 'R] N}T':=Q߲mZwb3Kzd pZјY