SQLite format 3@ .;  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<$D ]/ AxiomaticCategoryTheory:threads=4elapsed=17.258cpu=40.056gc=1.2727zXZִF! SV]ŗXiɟ3hFzI,jA(B.#N!Q5\=.Ndo&%Qbԕ4/ZDs۲ 96Og# &9+u$}m7oU#`X>ֵsA$Q毭?+kXpGM胟$⺣?i]*\5>DZ&p_A''E; x˻{XْhƜEwm N,wՔH1'(iպ5d7&AAilv&ܑDQ%,Rhm(ۂYGF\ *RF5%CReoPS PIWDN;'_ .勑0./~l !*4ďnd*mdt52'^ ?ug˹56! L   '>IJ:F곑QQA~~iOp43iP26YjwHfغ 0,|3{]8|tr`zK~FG-ׅvG&3>\_tU.N̲_!YLmv8qh"ysWya=5IHaf:EgYZ7zXZִF! cM]ŗXiɟ.|evAASXxZ1l U>*E:9{1&b!C.p)midf}YZ7zXZִF! u]ŗXi%BzTJ6 ef鈴?$kIae3qJp֍-h _zݥ>VRwZ#BՆ<=k }$iA`KmQ+J[\LM.-_z*K~ @'‚ ~k>$:?Sl܀cµpm/hojnJ=C\Z dg8#mK^` I~s؟sRdqzP7 x*FU姨C 5UBmp\ZJҵ]ŕ-ƸL$jA}٪jݰxW ^qj<7RgCb"4{M2avʫfF^}"`T7V3f{1u;O=2yPŻZW֘}Q}5sμ|XXp>8}Q|k&c!B'*y[Xce&uP787,w|ZƟcV 7B7chN$r:r WnL;Wڡ#x~ōN{ÀG=UҬZmq  qy E07{\m:.;aJT;Q!{N#dJtK7OFv?%~d?Ivl=}=S׮c!J">o0ݮ4e '[[bաN+ڽz-Ɣ=7\<*;Fl&2lx4bǠ@@WIV/AI /Xҧw!0J=/Ϊ`&^d,-C5`p?wX⭝`TZ`MEsl^yfʹ3-VwQy]ıjdd+wl{`|OAudKχDK02 EnCG+W 3\9D1'h MkeQFJ v3uw@sNYSK; |LI>E\$b#*ZP$ ZV4Ze^4624ZHNdD\C]\g=hK= ][X"9T;Qa{^@ 8vV6/ h#Py㗞ϩ@4vnxNkwA%t~!/;YH|" R0 7s%f {ڇZ_km^GwGq%ٲa PyE3%Ffؽ{1]͠"FAdŒ'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Ά W;k% AxiomaticCategoryTheoryAxiomaticCategoryTheory.AxiomaticCategoryTheorydocument.texd-bFzgM-ѳ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:.wEզVy"{NBĚ# 6fRunf )mG06󸇣̐<)F4[a%:!aY<4#%JfU50}Db/"`:k 埌ȢOeX03y25Qݾp%FJ{4M[0uӖ4xh ǹU7f/^wYj?GS*y=D *zNJoox]QL?I9BC5t>xRe|@5EC\"{B o-c+]؛^mo ^kIs>A' 2}E/`y)8q1&zNpH]ͻ&, jEXfGStޑj|hLQ7`C.6g*%{.%T8zW77(ߢMiOPߖVaj]wc\ϴ Oؓ9`'ZYfu$ <@'nC=rgA:Ir~ g5RPf*i=\P>JlefԛK;^8\K`$gU^{`lةd + k4Gsr zs\s cB@} M=R|Ae/|/|vduHYvX˫>+ӊ9*&x'gYJ'Br*i*ƃiG 3'IzHy0r{9ѭnmlܸH{f^Jr%&eNdɲ(%Fcb^I5tp"rȃg'rhA7-N =ܵH[ic9yb6rCL OwLtK?`Lep8_ҿT+ {Si TJH֡yGȿ*y,0(ltX' (^cZYlkPYxJ]>hn׋H1*B 'Zڤ: f~J+&[\^5)0U[6(kHVXLûe{ €ؓsy,Ԍ6#4g6uu65ow]Ge,20&&ws U_IH߬m<A4^ ²ذ⿃Ct:R6ؿe6m#'d GQ,؉Y__K!Jף\1ڸvϕ$NhΦ rGP`b s JO$!'q1d TL\6CfDEwi-^Z} ߁jҹJp?T-vR8?q[a1m5*0ȉh7M gG\"`&M^6뒥?%-"]1 +"IZwLÿ ێV4SBTˁLN{@]i^ᅪwOaF|m䬖'SFԤwW.S=IޢK 52p&ZDƒ1kPery^kHuz갋wm6AfTȆ YFgYZ