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 ; $T ]/ AxiomaticCategoryTheory:threads=4elapsed=19.811cpu=46.592gc=1.284factor=2.357zXZִF! vF]ŗXf[&,[mI'u2'.E' n~+;jMlO|}lgə֠C*8ΎuZk? DB:`g]m T pǢPRֆC1s~O2͢,$HpdhQRq ){i'CP6X^G5a6Ux7je&?wJ~M~H/_˱ z/Ъ^cpnV3%OwDnooc +.;ʸ}}Ȃ e%gv?ebNjUoFP);s+q\ h_i({d#PB9ַPG/&~S)*/"q/gGJ*R5<,s>od!c-­T4먅[!Qxb6cІ=~iޞE6PHK8R\gYZ7zXZִF! cM]ŗXiɟ.|evAASXxZ1l som& 1ٟQ/ma@ٚA|qidf}YZ7zXZִF! j]ŗXi%B) E)Z$H$sOd4 vHi5Ǜ${17>I[jc$J L=G-&cON2v3fƆ's,Mwwcj7O勾 ҅~Kb{eB 0 ^̐r<"kir}qE1]%Z^)ksv"ԋ*od `K<[9EOO0?~7.U vaݸV8 'kV 3\v"V8|%Y2Iҥ_r%fʸ ;elޠ=G P1pH(p ; šQ>1$A9n~P~IƧr:y:d P1 $<HOpd6^X"vq)_:̈I`BA\13 bfLIS=p5?tL݋X4LYX.Ա=@!);g2 oŤͳpR7jȺTfupvʍr!H<ެsCOCa3m0vȁ Iq YaLy̪#ljJ\H`< b(i8^w@T uy'Gi'4kM4oBQZc!8ʀ:Eu EVKK}?=3.*,׷%5)WrYJa[>K 4"C^S@N0?`6,P ϫT)Qѓ\HJc=k\>:8] B3}7x$Ek E\kƆQ^MbG!'u|{vCԁfj4"tr|ƍDT6^m㭉:y_\(Zǫ}/B F,Џ+O/tWb"ٍk¬xG}혨k[* hup (?cBk{%>V~ęs2=4BfVOY,t:gYZa92ae66c406356e6349d801788927ad84881ceee76b019a50eeda51c4b74870607c55fbf00aca327 a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1 ; AxiomaticCategoryTheory