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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info DD9; $$ ]/ AxiomaticCategoryTheory:threads=4elapsed=17.792cpu=42.500gc=1.496factor=2.397zXZִF! @]ŗXf[&,[mI'u2'.E' n~+;jMlO|}>3M>t[Ⱦ.N /k?(񛉱'yMW41F}Y \u>2 }gu21fk)nٞRacpA ,;vHwݦȧ=|3P{̭fG$.iƯeY*}Oz0 [xN nFr8cƼ},GGLeoqU2!F."*b%`Zye&X<#i, kB'hä0h᭞q7vtcu)̥qށEějX2! 2AхWir̴ pU?,X(Y{Vځ6hYsě+.S?bwxCܯN Fۄp/Fi@Cb`ߤ }uhN /FqYzHz*AW0.CN$6!Q5a]xֱiH9\2gYZ7zXZִF! cM]ŗXiɟ.|evAASXxZ1l GEHJwTAzUW3ӀsU;idf}YZ7zXZִF! x ]ŗXi%Gg;-L,1sTTN{̄<{[Me:(AIcˀSsr`ŧʚς iDTOm΍SI>LKsaJ%KSJ>,wH*>Fi`k)X2;_ ~^H)srr:R.odLR'#dQMkx8;\4$gæ?486SvB?΀sN| N9erYQrQA2 ͎yV} Ǥ=KE%wIkߦWw n) -Z%MK(ڎt]ÄI2kSp1Zuh5}E>%[(?ujjX@ݵ| 5(nPJ}mVHWG' v:SN`6g@c!oZMFd؆)]9r$‚LGOˋf)_GKGun$q@+WOʷV䧹/`qW/䦗?4Q.@}Gm1KZ>.R\: s12Ӎ`yrK{yذ_%rKIez0L 7=V%Q>'4PZfb5t-Zuc4 ٫Đۛj0$|=!ੴE"(-xPn̛xա?Cz(ٹɲR6&C֗BPBYXNFó2OUTaXmz6G oUYbn:YfPjob>Y*Bbu Z(Looi^HO= lm^7f+mNGߡ{zyi|H }l9Vqh:!0 Pk!,ȯH;:,D"#|&ia{k ϱdg= &-j!XQ:@#S$>wKLJdp@PmyvT7 _"mW5HQ|F@fep:<*(*b1E~q7SK.3Kܗ[9NߚIn$,+ Og$յt6o {Nk@tǨXL!cb~T-& ޠ'9S% a[Htsj}cbG <{ VRdeq%G[LK=^tf}B K9wϋ[a{8Y`U4Ȓߑg9ޗ~F0Qu[empCgYZ28c16c3d5db7692a173a560bfafce26becb5fd4e1795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b ; AxiomaticCategoryTheory