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 a; l ]/ AxiomaticCategoryTheory:threads=2elapsed=32.574cpu=40.552gc=1.232factor=1.247zXZִF! G]ŗXf1-/6vRZ]X^JN^1\̜6*lva+Şq Rw-HX佥Y4'WU"85HJw]4܌yej[.aX~+fTaN14%y8*Tb]v\/;ϿW!t02 Lᖁ,Q@ O2=oHMLS5_ySeC0#E-I|'"]~ltb6& 3MjH\ƪϯQGG "t]H &J'pǽIdb9hk:-)VYH­vk̅W|Z%f6#sb`ٱ6ȢVr(N UQMH'gۦrI6>}:l-5[;lşӦJn/kY9`>+iEߝI}F Кnr^#Ѥ% KFۀpT.}ךTv{3NŒ5!抸^h2q-ɖ*)aDBr; 4=O gYZ7zXZִF! cL]ŗXiɟ.|evAASXxZ1l Hx)e >M-RNj q("2hd}}YZ7zXZִF! ૚]ŗXi%; >uWAAN]g||0UͲ`EGҺ۱C3BePَ#Lx`o,ۧ5(nM]߮GHHMS9vo;9ۮJ,.|1BT6}W]֞z^=JqK"(@2{SacaSB5m #{k{8~hLwqtVG~Z?psFk`)(ᄦ25 |L?F:S?X8dDj 845}_q,҈DlqyLE<ӺQ8Z*UC{C;1EJOdgL{؎/d,8%h|(%})٘+]W* |zB IXv lM3Xt1pฉzWoa$^;ͪ. ҀkqJϱ'ѯЦ>/_]փL eF'PM۔Ű}1 I4 oTl{c^v ,߳#zW ڥ TNeM级?ӓ!8b,iLV2/DIM=(GY5p=*j4yr mO\Ѓꆞyfjx]I \vVXiǓP6qݣ,v!.נ;7 ߋjgxG'flXJn{L2g ,oF8%ZRi 6ɧ#UKWE彎7.jCTQ|2kޏՕVhug[DhWe$8ʾ^sΌEt zK|wɳ/XI6z1OPcu=v(* # BBbS(5ր;0Su=ERĐHҳc1E&֜JT҈\*ؑp8{â;*x'A{PF؟v&`A& .@/e hWk/-7N䆠ERD7TO9taNXFKa'b[T V@B]F-t,O1]) ׷awx`gdHM~)y2 J nWTϺ3:}c"f1=)^Ywu_&~n?^"n(`7Dv LJ[! 67/6kMGP][uqGxN:}QۼyűBVKxeĬjoBT.楻|'= {,pwL@?V媯NԪ':DtX(;hsZw5E'9$f -!96CЎcw!s,>KrMqڴeԹ>XZ*Q+q'9Tw+8B q,ːT;ɫ8/qEQU#% igq>L? wZ%9q<^X)dYà%uY$Pł}4(O䋫[&w!̞!yg+ӊqT!}=uۚXOT >x~~m|-F<ݢuq lڶ^dpƠT E,'pgYZ59ff1bcf3a2e66e3958436f8fd9432a1b3366bee6b223331e017a1273774b77ffd0c2fd583138aba 8b2f2f4412b70f786362201462bf6da4955f0a02 ; AxiomaticCategoryTheory ##N;k% tAxiomaticCategoryTheoryAxiomaticCategoryTheory.AxiomaticCategoryTheorydocument.tex7zXZִF! N*2]A-MՋhvG"uIBm5>n;+#[͢BBڪ^CyކLi}X_`fe6( v +U9/M:ϪUdӚ;pQ%ב3tUB+{. z'DA7[]EL,Ne5Piؙ>t cť/2IͿDQz1k/+n"2_Eޛκ &w7_{e#oJԦV4x;͌8~m62^|(1DfJoI<)i[RL@ZS=J-)E)h x={Ďk%S)d$jX@#jNW0ܰ~"X`BJ5&5 +Z{U?:a{L:۾`сn{_v1P?;H6!n=Dc| zRM&#k@ QVɃ[z鱄q9ϰ׭:fk.}ceH.+ sߝm:g>C$U d&Q<4x?Le%9>uaJVw,*. HVqw8-PI̺5ה|}ʀlNY) `u屰5Daag풞9 ˷Z/ꫨ( /8\kNVinifѡ]z l=Mݯ={ߧLsU&_8.fsi]< nu k>ۚ2w,zZ7Hk) c 0 Q_d0xn8kۮlV5ՂMg ~_#:N>%]tu1nNԖDt[= 1$.ϰkU}U PK 'VS¾tј+?ߎMfu@nV+'w3NU)kEסpY[AP?e*z;g0wHZ+4@n,S5.-ë*/5\9  j3 X {7a%9 u.8x#kjj %w#.7u?-%G>~ƪ{$V[BsK\z=:TY  Rd\謺+nz roŧ|E9 3uRicxH(Lޞ_d1] m߸,R  f/z}B0eTᄍu;g u7@sr7za襁(z"|Ns i7`o>w17\- j֓01F%_Ʌ~Q(6I\>k*+ QOl@9>yXqp5kc") TP.(,tt2*?1 ^:Vz4ꬿ-4#KV&j^~56PNkǼ5 #vX=ۦOQeP Am~6%paQ||\Ȏ ma*'<-`U^;N,5FԎU)2Άd-b W;k% AxiomaticCategoryTheoryAxiomaticCategoryTheory.AxiomaticCategoryTheorydocument.texFzgM-ѳP#n)Fc%€ v'qJCN@e /5$hkɄ r틨>@]= j':;g`Dbȏsa\sNT <-Byh]s|=Yhۇ h~J˃ "77uQ|jцzQhS_4K(/h O^̵D&ίćpJj ߰Y.>$"-FP 9^rYnlm(ܑ-^$%%6RzA LJJ& OWl JX\udLJuPmFvaYAX@Aˤo|nM,Kq!v*!@d񮞩& `g.}z( ^>,s; _=BcEQ ѩ^K/'R$, XP?:(q@v[?*AIz"׮i^\m |>rd~A}2-y]yDN}2-p`Mםù3M1`ۋّCn5yO!B_Zz&T$[G oI;gYfSv\6)g>tSv]UZ7IC2. ̀m:*#f!/0MNבI9vWeRHM[]([2=v̟.Ŝ:Hb}Df͒2-f֜}ORc ~D[6~Lu.5#<3w4Mgk$~B'}thY-kg9 .<&SnKYI,=vB;,nMlsZ)AVmC 7vvSɔNu ]8;BO8q60Klj2EkKJΫ倍屩-h$&S UgR>]t:.*lg& 27[oQP 6`B4YM484qLf.Aau4Q+vA6S, iŶ>[`2ojkͦxtYR{I&cb(wa&Hu&GJZVBH&b.t kxyA|T\1&4#5*HuP4@=H}f읗Z|;~67#f{W,_OhH~Pb}VέB6)bwwxQnb?p[0D-NʊJOTtS%60S>%A?g" {5Ne`AY,a;=Ps=[OoS`(JJ5۵jncH  e= 89zi(n,i6"L_üJ" z;س9pѪТt)`.TY^3'/14/0P]FU^Ƕ8W,m9:[Qˎ,ztu(ыP0J0:m}6D4 ;N;蘾AZ{ġE 9YV``0Xbx*iO|z,$/T3PEW{AJNAKE}R;¸|a[l +1|WbV,*s`-3 :9xO]\<9i 8P11mq ?|1o}rIwlfAM`q !Li*H&zh;(qIy a8}oQR]dү4|**NP׃a$r',kK@BF.MR-2YwEFP|+֚YّgvFGad,Br=ׅ:9[OF](!Y|Ŧ={mv^7iM({I1u<,y"&صSMaF_tsCiM986;!e#dc'1iOے YϏx(7yLmL|e@Hy lG0d܍\fI 1a~qve`GE3s|6O㺯AN,!<֪DϢZF`+W6 ݱGwJjk7|VD+U ; Ul9}|&*=vaᾶ{ĝvjLn]D,B& Na/T!"%}憌:bv" j0` 2h }q a54Ҳ, $˦"XTHz@Hqd{ =nE}}*4{F*Iܾk;$&~3RMb/L0OK=qF5kElY+tΤ7X}"+\/Z8{ P&݇mEB)_Mx)e_ YD7ӴRMV+YEgOl IDs<$s哮AӬGOPpĊ }Z5$'Duڗoeh~%8E6xD|d;#rJ?Lh :،0;b7cP 8oZc 1{j饨-`[:-|Abp\VZuIFf\f-|ȵ&E9v )#pD M% pKTc+ j//<. v;.j^Mx̊uD{ N1>?I΁8;_BrE0{{!&DQ&c|.]Li] NdKݯU 3o0IuNS Οy$c.KZ C@":}Y&hN5naj?-l< [{hDӻCbپ,2W? Ӈ-]8gDk9~KTn>Bt8lwV7&*lD1ewɬ%]SF:r/e 6~HK![Tu@owB狿 |҅H-OQ~d\ʼn 3Dɹ[䷃1_dVfuJOm!gdo;PĹG"l _<uX'Բn&Gן1sݫ} +1U5 RLtGX=@@YZΉ yJ?|͢G#P=O:0A}ם7D0}.1-TJ ͺH)W.w5x]L*XdT}1#CO{_EV\l>z 6 &pFF3ԗJLҰJlNLIh㷂؁ i>:.q_R#3 sSI:OR8=3/crKڶ8(#ԷBY*dƹNxŊzކAw &9xжɟ Х}i@]Ӑv"AQ)Jԓ6[F\4vd_o3m,kᤱˊtvXR5M 0O(ۇYG_ &71//8N۫=pK" ?>AuL +x#9usY8E}ID>Ș=Ѣ'4vr{WpGj#QgZ7U)g/$Ѕ޳- oiyNMCNUOU,ŋ9\Ŕg(Niri[^ G!LQIpL d^6E.;LeU5',4ݕ\^u$>/}xBSt${RBn suA>PF| e~6J1ʡCR}{eubh5c|P )"*_4&a5y_V.'ᆯBԌL@5gD!3=XiP[)7y޳1U+iB >Zj6O/S*#U:b|%￸D>iYsL3j gC:r"}6OBo%G\AUlӋf[AAA@RZ=j1ҦnqPMz AT,3aTh^VJU:RUQv\G})/:p=8U~wnV(:8FTI[O`56=G-в1 .HUYnݲ$m?Q3(q*2P~4'|D7T//X_#{\do]VE%{yU3!Ǥdj/l:`aSH4tc9~F3Oguv`$]rIƩSƧgBPN;MtWL )v'HJSՆ~S&e"C#~>6fuR^(Bg ς2v =n+)w#mG [ے~gui/}h :~/ ^xn~/!%dl{ |A}O%! <fOF8J?^r6jꚷniQw(5"W&\' YTnp)<>/CZ.0|{T"F,d[ԡTw " 0E xH>0_߂yo(9*鏖TRatkٓUvUb(IF d6܁%^o=nv5"Jc+B}gTl,ERosArIԊtnQ` }3FkR.͋\SAi"UIOUBh?r?OgSĎ""ۑEJn^SMRfl> 3⼂[^1Mb 2NJ ێZAi3%~}XSwBvޣzJШKΊ<73J[ىʿHX;EpTۦ՞, ycdcmiw4T|?߭UYV>V47ؖ XG-ؖ]##!ܶ~̕,crkrDta> mGRPmMA < NjD_̄%mCbu'ڨmB '> k{V ^ϾɯAnPKMndyi$JG^E;T=nz>2kX·'cZfe%yVŒ \= zf%5Z͑&IVkuW&K1p D