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 i; TD ]/ AxiomaticCategoryTheory:threads=2elapsed=32.363cpu=38.056gc=1.288factor=1.187zXZִF! I$]ŗXf1-/6vRZ]X^JN^1\̜6*lvki=qcb:`mЃPC/Pg{_?fUeHrś"!&wx9'XU2s\Dՙ&No3}1C赨?0CO#!6dZd e{fՙ߯Np;i9E0RT76ƙ|˻m%U9 rqXB ZevD!)5#3&qy\a솈*?ƫx\5^E n 1ri g5=ȔQ+EgA:y ל79f eՓE3 E</luFԱ;tw lg;tf;PZS˜#;y"&UU1ZCq +znꄊ<<5O7Ys264{{& Ƙ_oꪻ 7'kW@+"9~Wb'N v':1gYZ7zXZִF! cL]ŗXiɟ.|evAASXxZ1l $}]EYk `~Eᐰhd}}YZ7zXZִF! ]ŗXi%;Mr/17>dR9 y 1ŧc0%(فYuX *H fM^u;:<Ō/r"t(aJy_fcueF/1aIhTzwgͻ!'ۛr`gfݴ W~Ḓi4ߘ;^- "{b3=HOTS`t8 rYi̖aar;.=Cgîil@c4s|Af**{FƽY|.Y* )$:͏eW;mSp É 7ue"!ˤ'%hp/7Sy}#AD.cv,mM[ҾH*oh>|J]6r7D0biN81lii wt?Enc״*{3Mm)L/~]M5NnOs3XZ8n+msߟ^w}|͟ ɶGEϛZESlow2&PL6)zBn#i 9JgݠtH1I*",i%5 id`I{zk^H 7\ tO}h=߸Iɜg[@c"}Q3-)yŅ8YAEJbjnSfkɞYHJ DG6Yq.! ={%뷩]my8䠈#@^@[ƞ3 .yS·f,OOx&'KRd/ CÊ\OkG-`I(DbWɮ#UVƼ'U+q"µA*C U wiU5"&7讪Ԑ͢vJbpC".T 9|aÕ{8AEm=O_憯`TQfg(ruݢ_qc=Ϧ`FHC+1Xɇ^шїO]r/OhԔ;GJ:5J{W ;{pWaymO?1YK˷0mY\?䬍,lH60VYV&ܭ"S5݁ ak)9{9*(1ٌrԣF>I \4ږOlt 3*u m@IgE+ƋEPNdr 9X؛Ol~ Dr(t{U+[^lO~,$02 "GWgÑ3t]Sž `T][?H-Ƀ^6PjIe2]Xjl%{fi4) qw<>'ZY]CzEt#+S1k8"8rM;Yோ)/Ћo6f6Ip%]00|vO,POܪo 98u*:իxT10F@Hpg Ou>} LU6H뇜l+8;!0x! QB1;bjX85_`{440~NROij$AmnXrQi~'K4)WBUC&ƚOϦ KkJ<,bYeV# NJt1CYUu\b_JF&S"r78_FCfmPz.\ Kg{Z/pgEN¢eh0R֑cV?eZg 75tLxwQL7d({ձgYZ13a5b230a973a3af763808c08c2fad270fd1a3e41cdfa493abc57ab9691669c8109d13bf20bc65c6 6f974f3708387dcf61ccb15ff92a91ea3a0c06d1 ; AxiomaticCategoryTheory 33>;k% TAxiomaticCategoryTheoryAxiomaticCategoryTheory.AxiomaticCategoryTheorydocument.tex7zXZִF! P*"]A-MՋhvG"uIBm5>n;+#[͢BBڪ^CyކLi}X_`fe6( v +U9/M:ϪUdӚ;pQ%ב3tUB+{. z'DA7[]EL,Ne5Piؙ>t cť/2IͿDQz1k/+n9Rok%f ٧d1(H6)xHۻ ^E‚T4 5 ?A~rmJ!`_⶗r3#_f-x6rH{cY<^>|5f>pLjWǞ6biz)d(Efq@KrtkmA^nrp@π9fZGdM6.M#Ph."f/:z?bss$(誵f RSstC]&dA .o>A $vzrD/q,J&goL؜NPҵYj#=i[O$ rfZJ%S"'ec]ZgGscSQ{-ocuCVv6V);9qQC[t*w@ʸB 2۾1%ޜxdaH oBr8_Aկ41; Ghfo۾ޱxf_5d~WШiʶE -/1_4&:t=ܢi 9z%?m/X@N4V)F ; ЗA ۊ}f&#$ b~.2՟;sW2i:azX>y+T{l\BΫ28j5.K7ExZ.j0l%Gl 7ދ5\d!Akk^t`[3x=/VIHShZg3DŽ>OiNoU=:6iRP"*mO pӢ@ Ԍjg$Dsh7D/ȁ'ҏrXQV(6kHᗫG$Q̱kz.Ø|eKwyQlX/fϷgJ:l{\>+wŞ6M}nܱ0`'ʲNh:itjT6ΐ;j-M.^ƊnF9xQ*}\oŨ}-5&d="qblD+ւM괄%3l-I0\E/ʼdno_D',v>L3X&>VA0te|񛤊+lQ(˚&"&XKVƾ (@ɝXUEqMmq>&gm)z.ZF@_2TçԼA:FsjWյV! =W_FcHRjLB"<5BtJq{WeMZn|`eHRyÀHS RѺQX .L w6\E% ˟ gu+ vRGJ ԹvIB<)w΢#wdAh9AU1]woECjkvzՠ5B6$N e.RqXDIG_EIl ZIpu% Z2|1?-h1RA$ 憢}s7Yf 86GbXm R{տHUTtns W;k% AxiomaticCategoryTheoryAxiomaticCategoryTheory.AxiomaticCategoryTheorydocument.texCcPt`YDO>|&FXy VP4y|홥Ӎ]\+4,`~ Ks6JBN r("FTxӚ@iS"C 1@Y|vt q:mh ;2zMe,IYa)d7?7`{NLn|!7\= ehv$TB}ӊ"zފ&N'8 \/%(ڱ5r}_ dNFXH .#ٟ%پ6PQG1:sSoaT[R--A՞Z}M glP%jƼF`pL5M{%pAaJ׾w͢JSr|z /!ӆ/DGm!repE3mNS{I3m;c}WdHѢ ;ϿeDW6t}\u A[xpKr*g~zk6&/ңTu)|6n-EW[ոb>)YbLfvm臨M3 f1=y O\+VvY%KCE@??!K#e"Ŋ#M8H:76nXus3=Ky+^lYnha%.'zVi8-%׹OyfS wQ@ۯ"7 X U GDq=*-*'\G\)$t!lzbZg\ 8"d1(uR+&,ӑ' #D,;|ՖLFw: !vM;u ܄+@c -_&LF((*"xkVKكoxM:pr>oTYI" Z<2}Fηb`^bf4&O0\<:rHJQL/ynB `~E2>e1.;,R=Xn8WcpN:`? 68d{(>bK#b/!Sm9؜8#-QN=QZz5މB&LO5Ǿ{˲$D<%pkabyumiQI((cuT,2壐2Ĭq'ԼnC.dc)Y:UR}&BMe'쯹9ZKÐb^x5xz&6lP)ޫKZ)KղJؐ'rzԽW?!sq /X{Ϻzԛɏ ̣Ɨ(e#  ׫5ӫԘ+EGKlQmP,j/ōұt{c__ǀ^)ۧY !1_{8d~7no4oڃi>}TCMEqҀlp dOK 6ӱ`xHGَu_7 2&6ȝº^,B#t!Ad@H47憩?-[TW h' ǂj/Q[1Wz(O۫b78P7,_Q7|.z^k"z|2E G'np2%px:j0UV-%Fv؈vȱ*k<!aWÒ6(Wf]V݊Mhb Bک/˥XirLLy:ԳtTP !krx Eu(c_(9hQ#I)PM֐H(b$TQIouǣQYOIX$}2R"kmx,| M/b{_-UГ\w Bsv}X;n@8r6M[N\^5Rj1:_;">o NW~di661hr٨p7astYd~ 4_л>ԝD< Wi9D6~AZRId b/G{V1\) \ֈ/+(xz :> GZ$/yZWPn߲J f~ \˼UX4Y|%s ǘ2z8Yc:0b洏P \n4M@3Ts B^/2`>tfO%ڨnN6e*|} pcM{4Gyp,()uOu$ޅL !$|, Kw)oBz=+hB_U]{oj:,A`؟t +hVG%5PIaxO57?MSnspxhڝiG-zhaעie?n!﹋p%mN) ms?-8~7r.ar`7#TNX`֘w5`^FcYk+mspR洨o|) {IM$kb޷&9Sd##R[%F׿qz(CO| &2ia4zmꞇ 胬>8u(1IOq|9K@Z_eV&7LPYZ.QË'5o$s^Ri[% &QmYZsS\3:)XE2Lݐ(b= rJTvdl$4ɑem/Gb~T{1\Lʦ9:] Jx $.ZwLFGreII#fN`CI~ PnER]dխ~^AƜS Cی K{lâi0[)7mP/1;  |?\\ ARb]IOw(33n$%Phj=_~ԥ̃P.E=wm % $#!9N~/XBĐQ8\Ruq5[ ,~ TyNgm|rDL+arơ$B2# W8EX}M3x2lO)TbA&~][Q)g!þUlc[of>׭l@!+ "vuÒBqCfa0߬*E@|i=]C?RCrae[KRR4bt3 cyvY)'>7qrPQ۰d[7pE T^0i]3.ܴ EJ# ȳ"%`.[UF Y1ܤt NvVDhٸ9F dӴ\.DU2jIQc~9Y&݈(b/֚ڛ'P>DtG~ qDѓ±7) 'ۻ [,=pRק J"E.6-: RȐS;d\c:")ر.dDd: A2NNeu[5M"{6մZ3,@ tvwm8b3ձ"q`H<VyOa݁5+xmo@0g!bo1h+;{? l\*9 a:MF[9_W9HRP+.Q;e?3j`e}9ލM ^N,-e1_㓺 |5TG)(0m'Jܶj@WMq:F?Ȃ\fbeUW"B. SQgmd@,=d11 FyVp,1Uf9鏧~@I"cq!]QoA9>,j97Ta};E&yS R)Nl3l02L8f{+-_ԙX 8Ew.nW=:w8%_z_ tL[0|í:xװXVc 켖|Nӹ..C˦&Cǁu4†u=y=7"pFL أhHvcbu< չS<^ ٨5O I%N S\Gy}p_T/emPDխ EVˆB$iKHۦ&ɜFI< mr\L h ~N<`jn-Pt/ۅ򳟤p@b#@HE1}v2K8q6 m1%$N{PitL kGY\1Z/t]ҕ >Ⳗded .2F4;6CMyV &l2M* R jy,IA#dA%7sEAoow6lnaڥ|sQh_ܪ #9ïۮgH_!TPXp5|,KdɃ$kjǦ~6|&[PN )q)q@5h/G*≤]$nCDzq7]] ! +I,o{͒/`b/|lh񨊞#uR <4H+$]lpzk ~ ]aԵ;H?Ylm궶vZ@YJ\yM)F:S)*'ZAJG,ỢrY l7C5sV5Y>[]9!9?!]M<;4 pNcL*ZS }.\۸[8$LP%À*g*q}\zx0[|;8H<3Z۰~E/iH3x0JI~Qqrv 3W;?D dgjrgX 8+PTYkkcI7$RAoʌNi]_c ?EU9 #֯ &<]#31K[I[a'ڮDaoH󭓚`M{=34;-[;S.(R`¿ y;jOZ&6 \^p^ljێElȜF!\ͧIۄƱ(051=S]岍|֙i|>"ǚ(胥9DYşgN0k1f7LEK&3]usu '_z;*\X# oQ̔ ]lJ# BG0!t!1m8F#QOCj7g/|ӧSc {4%NQk-ˈs^SnoMf"dҙ3޷̚:1!Ѻ}&&wyj_bh4)6yQ^n<-.'3t"υOxg^]VX Ufx55 %0v(ťP?(R$_itbTR_>/W>anhZlXR&MRؾ.^ lz]:E٩/1. 4BZRI;>zºu;D[W;®I.YCRP-Cve-7&Hp{7=o;$;٠y`Hl2wxşS BLJAMuP{~p<2:o$nD= 4v2FA+q1emdIo2l,qg;zmo3vc2wݶU]twqKVɛ(;.djʿgwuU7LBGqvh¤8g!!˳:ac4E#n>V͎s ǟy^Ki¡_]mv4ݨDֶi!&1;/LQg ~o:ɾ.wXxݨAYI92&[5FP96T`#ف漿>vU 5>j2Б8 k]qzi6>;͢9ev<[oTLpeE>H"Zb&4X xy2#/Co{ >HbB