SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 LL1; dD ]/ AxiomaticCategoryTheory:threads=2elapsed=30.590cpu=37.688gc=1.212factor=1.237zXZִF! )+]ŗXf[&,[mI'u2'.E' n}Sx?xulI>bDl[iօ jpj.r(=O`xKVL-!y"Xu$_ۂ΁Dw$]`q{6r6 Ʊ.)UpLQv4MT_Wd|Pn/-&Q[7,ĸVyy"Mo~N>~+ٝ]1DۧHB=ux6R<8gYZ7zXZִF! cL]ŗXiɟ.|evAASXxZ1l Hb`YYf.>Ѭ 7sh4@^:jhd}}YZ7zXZִF! u]ŗXi%>g B Z1YęTu}} tvo8:IGM%(2SIW-gQmi 4^)b] ")aݡRwƝ<_ʾf(NpÃ:xyH$tpi7ϪJX}Q3csHw ף Qe*Tl#}i˻3t@J "{u:'%sUNn>ïE&ߐb ɦJ?D.&bJz$r ,MB4+#SWȘ> CqDeDCU=̣x):X^5$ -w@k՗75PNah,矿uF !;:VhdTu@Pc5.u<.<>I!IF 𞜰e3&Aafn$glA3oUS}sW)o7Ht܊+b)'u o~`hՒVn(3;h)ܢ&Xڣ>:`,mɫ:/.jKL\H@e_5 gpI(KMs>{?Š![%c"3x3!G @\(O?@X;rk>}so:;Ea=F/Ls1m`дtY\hMPn\f(`ǓWEN&8K??-[0QsS1ڟ"y?ޓz1MdG-e>즛<Z9φ(>Z+1$ó[>LDق̀HEU>dݵֆ݌N'|b#$].57шL-YmWtr1Y!zlYse6Xk.Y*5;d[$ < v5>*q뉔(#8xHo+ Ғ*+A Un2i=Xы_lFigF]*eA5hvGORč1I,EaRʺFgo'wJ+_¸)Em h[McBTUi!rYͦߤU-4$ne,̉FzvćlI#Zg - rڗ['Be|^o*ⵎJt_,9al몫Klx.Osv|9YDJbkV$R$bmil{ԶaH)j*dqlǣw~S sVBn%œȳL1-hxHAYm|}Ů ph؄wڍ:Pf؁H SGѝ;(]ZO&4Ы W2p4];ڏ#XWÞ+b&DܦΡ?ħ'306 b^xO[H  Yb&ZG8vaKx+[kcW.2ms 臊䐣v\gYZbe63782c97639319a7e100f6c3a55253795fdac70779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f ; AxiomaticCategoryTheory