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=17.430cpu=40.632gc=1.128factor=2.337zXZִF! ;]ŗXf[&,[mI'u2'.E' n~+;jMlO|}le(m`YhT Dgl;~jRi,R+ꮑ9Rj]ةq37M+Sb$?rzC2ҩ|q9ݖ]9oR\ zi[ؤp8 Ի]OĘ5īN]q.Ȣ$}ɄPi|ܢ-Pies H9O.?<`og dۢ3 u4);?{Mq L/MCQ2B3ZmLMN>AT4-S黾O1qE N[c>*oڜsS2ӓC=bk!~TYj (2ʕTi(D5z&ہ?Pf ܢXw 4U#Qb5EmtfA8HҞ̉ݨRP\vOu+t6wLmZqw l8W1a@Kt;OjOtM"8vt{;gYZ7zXZִF! cM]ŗXiɟ.|evAASXxZ1l NKKQVgo<{^EV8b8Bidf}YZ7zXZִF! x t]ŗXi%B:gpk7uw1}kܬìߎmG }bUOLƿzdiE^XQ KF;(pţ_zuIHgfG T/M'zFa,9ғ1YI: RFC0/Ci*ǯ!{;6'1뚶:QaO' mY%}РV>c-PF_by(_*dsɈ~A+8/.}7xMeXHq:ir= pZُc3BҒay='l֡TGGӦSg{][3!'#E h8<Zl/o`5ɳsKqbř~҈ Լװ, s Ay2~I!5V2ed7P`lw{udWr) aȹ͠ߥV{9[)Ϛp6=Xct".="D s9M٩kX)5آJ ġu_y*ϤP}:4}VV8ª fj߳4sz)ZGcX >uCu'nv٫k^]uH^8un$0eSyԻ::vxt3`Um.$}׳iaSRX'~գ.HvܬI==݀!a|Y;#dijl& )]aQ/aYzU/Xvw6$8k7WkQu q`:f(pZW-uV[j@l!w;OZ4H1{Y̧//nnxy3,|:}9/;G @O'nbNH~v)Uk%n]-ɟn15&GXť,jة:!`˜ 6t2@8¹,U 2f8LI>V=#ᦗ u]L>>M*px}a[<<ݹ2||TnlZ-QN0M-y2- xc:+W]?O#,,r* dڱL{A9U9 +(bqI- 8vAȤ>NT3"Q}^9~|rFP%T ^KrQ66-߷ʡVu3ouʻ=[N@zPE JQ¹Q9Hp;k oڹz'[ʸ`p vl4WGAt8"g]P}-I 1 Ts>VMp7R{+bi\|X}TV~+< -ado)Us,e-M^s±(,C7ta A5[Knd̛xڜn.`zWmķB4@KN AncΌ Lhy$VY`z}{ d.FU3Г@*؅__QA88uBO{`qN𹯱,/eh#.-pPx" 1KNä#d.-NĊ_Mu OX/*Ĉ8c۰&2.ypghWQr--z:pnN^߯3c $eT5kɒs4+TZb#GfUgPb* *A[=zw]3WgYZ75fc3f410ee210524392cb32b17957b5f58e8eab13f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 ; AxiomaticCategoryTheory