"`΄ذ'Hurkens%Logic#Coq@()Notations$Init#Coq@%Logic$Init#Coq@*Logic_Type$Init#Coq@)Datatypes$Init#Coq@&Specif$Init#Coq@%Peano$Init#Coq@"Wf$Init#Coq@'Tactics$Init#Coq@%Tauto$Init#Coq@'Prelude$Init#Coq@0)Notations$Init#Coq@0&v!D]hwnv %Logic$Init#Coq@0\͉!Ig)Datatypes$Init#Coq@0.i bYN Z*Logic_Type$Init#Coq@0 1jc6&Specif$Init#Coq@0;RWMi\N'Decimal$Init#Coq@0C涳N*ua#Nat$Init#Coq@0eʤģPSR蠠%Peano$Init#Coq@0 jha|ؠ"Wf$Init#Coq@0q+W,J+'Tactics$Init#Coq@0/9m+ a%Tauto$Init#Coq@0̂"&/rk0JqTttֱoFVtK{x5R3L>Р'Hurkens%Logic#Coq@A'GenericA!V @"U1N@@@#El1@AOA@@'Forall1!uB@@D(ForallU1@@C"u0 !AE(@ @  "@F&!@ @CA;91/&$!)  +k()+$ ' + ++% !!%'+%''+%'''@:A QAjih@:B B:XX@JA1DHs$Init @A@@AA@@A@!U @kicaYWNLIQL&@~1V}rshPBO^Xcp@`f@= +k()+         7% ''|@<2@@+"sb @$lam1u!B!x|s@ewy ~ $app1@v!fG @@%lamU1!F, @(H3%appU1:$ I"!zu +ܩˠJ@ ַ@  @KϷ`!r @@Ldҩu@MZ-H,1$#C )!a+HJ@"Q6( @&  #+-/2@+#@-/,@N w@5-'2?@LJDB:81~.sqxn{,@ +k()      +  + %' + + ++!!&' + +&' :&+9"+g+n+w!!+j+s!+l#' + ++% !!%'+%''+%'''+%''+%'''+%'''''+%''+%''' + ++% !!%'+%''+%'''@@@"le @iga_WUԷNK!i@1V}q@g ,Kd@m_c@yi@@_` @@l@O@АPtݐM!v @   @@Q߷@" ')+ڷ@@Է@R@@k1V(!?Cܷl_cdV@RK7Mǐ@\5շT ҠԠ @hP@k SEkprt@sB@uw@\9@|D($+>N[h-  9P#@+.5eJ4@{S1U=?7 @>@ A3X@I@R@/@}(+]dwfTNYPש47H1@vtnldb˶[X  ֐ 8+k()    + / + ! +       7 #'      + +E +L+U!!&'     + +&'    +> +  7 "  +  7#' B       7 +'"+U+\+e!!+\#' + ++% !!%'+%''+%'''+%''+%'''''''+%''+%''' + ++% !!%'+%''+%''''| @D:@@3#le' @ܷͷ}ҩg/42֠% (5'=;.12B@U1V@,|@'%P@SF@I <+k()           + 4   +} +       7 ! &'     +  +8  7&'     7#''+ 7%'''[ $@@@y&induct @߷׷ͷNL86&$"#El0@єy@@'Forall0ߩ@@ݩ(ForallU0@@k K@ީ>sa,+8EY @@ sqa_]PNS;931,*&( +k()            +        7%'   + %      7%'   +  7#''{РX@@@נ"WF @?=75-+$sq!v^\VTOMm$A3oW&r@~4EL_o|-<6A}bdS@Q$@UW%(@Z -4_^@1W$\cv4D@rpjh`^ݶǶWTt 0+k()+ +& +"  &'y    7   7 +e "  +  + +   7!!     7#' + ++% !!%'+%''+%'''+ 7%''+ 7%'''' + ++% !!%'+%''+%'''X2H@@6@@/!I @|ܷطɷyηD7G,h@t@C  @S@շ@ j$!@4@ٶѶǶHF20  !Kة" +k()+H            +, +       7 !!%''     +%      7%'    + > +q  7 "  +V  7#'     7  7      7  +e " + + +  7!! +  7#' + ++% !!%'+%''+%'''+ 7%''+ 7%'''''''РࠒB4Htl@@@%Omega @@ @ vt`^%beta1xvV`xJyZl@"eq @PTs  !y  @@rrmk[@bcd[guk^md&XY&betaU1k^ `a"R6U3.&0GI90km@ejfC`@@@HH$lam0ISǶéQö$app0PSζ@pU@@ %lamU0J@OGG_ZTᶐ%appU0թntcrdSNՐpܠȷ@Ð+Ɛ 㠩M4@Ԑ0АTd@=@z1V;0 $m@h@^@A1I!M_@EA1J`Nc@ABC@@`&lemma1 @@Aƶ53 |{xvrplhfXVd 4N$( !%hR ̩u@Z1V}es8B\2@@@A8@zA1E%I@9@ABC@@&lemma2 @@BkiUS׶Bն3̶J@V?8@6.,L4v1Hf 5BO@DLАU~r-@}0>Uw2BO@^@D@@Ӡ'paradox @@RC;931)'20!p Z\TO߶ٶɶ`@a@@@@@@@@@ NoRetractToImpredicativeUniversejA' @@xD"U0V%u22u1@eZ*u22u1_unit!ck@bK1,u22u1_counit@gg@RMk\Nlڶ.u22u1_coherent ʶrcsie`Xzn{k%u02u1@^~%u12u0@Ҷ*u12u0_unit!b@y*,u12u0_counit @@:ggS:hhU@@@AA@S@ABA@A1GKU@@A@ABCD@@U@@ed@;NoRetractToModalPropositionA(strength @@E!M@A$incr5@@@()Ҷ!P@@?@ @:r`r@@@%MProp @'%&Specif@#sig#* @/#0@@53HAA@ t+k+ 77%'+  T''lDd@@@@"El @SQ+@)proj1_sigY(@ZX@o@A=j[߀ _(ljd@@@@֠%modal @@UFywj@("@5<:n%0@@@@젠&Forall @+T@L8CnA@+GI 7HC!hK GL@˂l6FUV2]j:6=۩Z@G='ȀtC#"@Z/. 4+k() +  +0T:'()+7  7&' 7%' 7%'Р#P @:ssI@@@;h @@G۶ֶ$booli#p2b@j#b2p@$p2p1@v}y$p2p2@1@:ww:xڠx:yy:zXz:|֠|:}}@@@A@)@@'@ABCD@@@@@7NoRetractToNegativePropA%NProp @-!.@@#notШ@A@ h+77!k+ 7 7 T''XHPH|@@@@ @*@@9@58][!XgP9H|@@@@֠ @@TH\@U8]@ @883ۀ @#@  (@8@:Ҡ@ :A:PB:C:ΠD: E@@@@@ #NoRetractFromSmallPropositionToPropA @@na@{ P+77!k+ T''XP@@@@-} @{@@+@*9vXܐP@@@@H(mparadox @@I dK@*9@ @*@ @ s @r/@:ʠH}: I:HJ:K:ƠL:M@@y @@J<9@ɶ4@1@-ζ*!@#Q#ߐ@:DN:O: P:Q:@R:S@@@@@7NoRetractFromTypeToPropA%Type2 @@A@ ,+k7$'X@:<V@@@%Type1 @@)@%.<9% 8+k()7$'2@@d@:{W:X@1@<@A@@⠠ @@`K$down@T@1.<8MB"up@ QC'up_down5I VW@Р:Y:8Z:w[:\:!e@w@@A@@@ABgA@A!@A#A"@%A@AB&A@RDA@A@wB.@ABCDE@@(@@87@0TypeNeqSmallTypeA4 @@Ll:"iK@@8:#(jT@@!X@)eq_rect_r:#lh@@$'@'eq_rect=߀:#gky@@4%@@@@@o @@M?q9@%Falsee@@@:$@:$q@A@A@L@@AMA@OA@QA2@SA0@ABCD@@@@@:"@W@A@A:#(@O@A@:#g@-@A@A:#@?@A@:#@:#m@A@:$@ABCD@f@]@h@:@@ABCa@1DH%Logic$Init#Coq@@k@1I!M @J@@ABD,@-@A+@B)@}At@AQ@xA1J`N@ABCDEVA1E%I@\A @AB]@BBo@CF֐@+PropNeqType ?A @@ MN432@@#notШ @"eq @ F@@) ?@@@:&v :&[w @]@@ L@@AB@Y@@1FdJ[@B S@B `@ABCD@@ @@@@@@ ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@A Գq@ Գq\ @A@:"@AB:#(@:#g@A:#@:#@:$@ABCD+@0@0.i bYN Z'Decimal$Init#Coq@0C涳N*uaS0\͉!Ig*Logic_Type$Init#Coq@0 1jc6#Nat$Init#Coq@0eʤģPSR蠠)Notations$Init#Coq@0&v!D]hwnv %Peano$Init#Coq@0 jha|ؠ'Prelude$Init#Coq@0JqTttֱ&Specif$Init#Coq@0;RWMi\N'Tactics$Init#Coq@0/9m+ a%Tauto$Init#Coq@0̂"&/r"Wf$Init#Coq@0q+W,J+A"_39.z"<-"_49.z"-> rHȠ@"_6@Ƞ@AȐȠA@@@ȠAA@0∀₁ _ : _ , _@@ @A &∀₁@ }!:  !,$ @@@@@'∀₁ @A@@A@@": @BȠ@@A@@CA@@@@"_7@cc@Ȑ@c@AȠA@@*_ ⟶₁ _@c @@ C&⟶₁ @@@L@A@@A@@'⟶₁ @B@@@@"_8@ȠA@@ȠAA@+λ₁ _ , _@@ @%λ₁@ !, @@@@&λ₁ @A@@A@@BA@@@@"_9@EEAE@@E@BEA@)_ ·₁ _@E @B 1%·₁ P@@@à@AA@A@@&·₁ @B@@@@@#_10@Ƞ A@@ȠAA@,∀₂ _ , _@@ @&∀₂@ 򠐐!, _@@@@'∀₂ @A@@A@@BA@@@@#_11@ȠHA@@ȠAA@+λ₂ _ , _@@ @?%λ₂@ !, I@@@6@&λ₂ @A5@@A@@BA@@@@#_12@EEAȐ@E@B@@-_ ·₁ [ _ ]@E @ ᠐%·₁![ v!]@@@{@AA@A@@&·₁ @@BȠ@@@@@#_13@Ƞ̠ȐȠA@@@ȠAA@0∀₀ _ : _ , _@@ @&∀₀@ G!: !,# Z@@@ʠ@'∀₀ @Aɠ@A@@": @BȠ@@A@@CA@@@@#_14@cc@Ȑ@c@AȠA@@*_ ⟶₀ _@c @@ &⟶₀ @@@@A@@A@@'⟶₀ @B@@@@#_15@Ƞ_A@@ȠAA@+λ₀ _ , _@@ @V%λ₀@ Ҡ!, `@@@M@&λ₀ @AL@@A@@BA@@@@#_16@EEAE@@E@BEA@)_ ·₀ _@E @ %·₀ @@@@AA@A@@&·₀ @B@@@@@#_17@ȠԠȐȠA@@MȠAA@2∀₀¹ _ : _ , _@@ @(∀₀¹@ !:j !,# 4@@@Р@)∀₀¹ @AϠ@A@@": @BȠ@@A@@CA@@@@#_18@Ƞ)A@@ȠAA@-λ₀¹ _ , _@@ @ 'λ₀¹@ !, *@@@@(λ₀¹ @A@@A@@BA@@@@#_19@EEAȐ@E@B@-_ ·₀ [ _ ]@E @ %·₀![ U!]@@@Z@AA@A@@&·₀ @@BȠ@@@@@ 2 Q@@@@$_105 @ 1V}r@A@@@@@@@@@@@@@$_1062M접 @ 1V}rEDA@$_107'`o@ @ 1V}rE*type_scope.function_scope@@@AAA@@ v2 Q@@@@$_108 @ 1V}q=@@@@@@@@@$_1092M접@ 1V}qECB@$_110'`o@ @ 1V}qE<;=?@@@AAA@@ 2 Q@@@@$_111*@ 1Vw@@@@@@@@@@@@@$_1122M접@@ 1VJGB@$_113'`o@I@ 1VJzy{}@@@@AAAAAAA@@@ 2 Q@@@@$_114z@ 1VǠ@@@@@@@@@@@@@$_1152M접@ #1VKED@$_116'`o@@ ,1VKʠɠˠ͠ϠѠӠՠ@@@@@AAAAAAA@@@@ "2 Q@@@@$_117@ -1W@@@@@@@@@@@@@$_1182M접@ C1WIDC@$_119'`o@@ L1WI!#%'@@@AAAAAAA@@ *2 Q@@@@$_120@ 5g@@@@@@@@@@@@@@@@$_1212M접3@ NMLB@$_122'`o@<@ WMmlnprtvx@{}@@@AAAAAAA@AAA@@ +2 Q@@@@$_123y@ 61VƠ@@@@@@@@@@@@@@@@$_1242M접@ O1VLDC@$_125'`o@@ X1VL̠ˠ͠ϠѠӠՠנ@ڠܠ@@AAAAAAA@AAA@ 02 Q@@@@$_126@ ;1V}e#@@@@@@@@@@@@@@@@@$_1272M접@ U1V}eNKB@$_128'`o@@ ^1V}eN*)+-/135@8:<@@@@AAAAAAA@AAA@@@ 2 Q@@A@$_1298@ +1=@A@@@@@@@@@@@@@@@@@@@@@@@@@@$_1302M접X@ K1=$_131'`o@b@ U1=R@@@AAAAAAAAA@AAAAAAA@ ޠ2 Q@@A@$_132@ ڝ@A@@@@@@@@@@@@@@@@@@@@@@@@@@@$_1332M접@ ڝ$_134'`o@@ ڝS @#%')+-/@@@AAAAAAAAA@AAAAAAA@@ (2 Q@@A@$_1355@ 3ڞ@A@@@@@@@@@@@@@@@@@@@@@@@@@@@$_1362M접V@ Tڞ$_137'`o@`@ ^ڞS@@@@AAAAAAAAA@AAAAAAA@@ k2 Q@@@@$_138@ v:y@A@@@@@@@@@@@@@@@@@@@@@@@@@@@$_1392M접@ :y$_140'`o@@ :yS @#%')+-/@@@AAAAAAAAA@AAAAAAA@@ F@@@ @ :./theories/Logic/Hurkens.v+++,.@3unshelve_#_4C69D51A'Յ= +++,-@1refine_#_4C69D53EeŐ @@@&++++@@@@.++++1++++p@ 1:y@>+++,@@@@G++,,@@@@P++,,@@@@Y++, , @@@@b++, , @@@@k++, ,@@@@t++,,@@@@}++,,@@@@++,,@@@@++,,@@@@++,,@@@@++,,@@@@++,,@@@@++,,@@@@++,, @@@@++,!,"@@@@++,#,$@@@@++,%,&@@@@++,',(@@@@++,),*@+++,*@+++,,@@@@ ǠrHȠ@ 2 Q@@@@$_174 @ =i:0@A@@@@@@@@@@@@@@@@@$_1752M접 @=i:0$_176'`o@ @=i:0J@@AAAAAAAA@@@ rHȠ@ 2 Q@@A@$_183 @ ˂@A@@@@@@@@@@$_1842M접 @ ˂$_185'`o@ @ ˂F٠۠ࠐߠ@@@AA@A@@@ Ѡ2 Q@@@@$_186@ =j[;@@@@@$_1872M접@ =j[ߐ@$_188'`o@@ =j[A@A@ ͠2 Q@@@@$_189/@ <:nc@@@@@$_1902M접=@ <:nBB@A$_191'`o@F@ <:nB9@@A @ Ӡ2 Q@@A@$_192[@ ='@A@@@@@@@@@$_1932M접j@ ='Ȑ$_194'`o@t@ ='Cg@@@A@@ 2 Q@@@@$_195@ 13@A@@@@@@@@@@$_1962M접@13@$_197'`o@@13D@AA@A@$_198@)131B@@@U@AA@@@@P2 Q@@@@$_214@[1l@A@@@@@@@@@@@@@@@$_2152M접@p1l$_216'`o@@z1lH砐@점@@AAAAAA@@ rHȠ@ 2 Q@@@@$_217 @A@@@@@@@@$_2182M접 $_219'`o@@@@2 Q@@@@$_220@83@$_2212M접 AA@A$_222'`o@A@@ @2 Q@@@@$_2386@@A@@@@@@@@@@@@@$_2392M접I@ِ$_240'`o@S@F@vxz|@@ AAAA@@ rHȠ@n2 Q@@@@$_241 @A@@@@@$_2422M접 $_243'`o@@@@f2 Q@@@@$_244@q*@$_2452M접 AA@A$_246'`o@A@@@ 2 Q@@@@$_2626@ "@@A@@@@@@@@@@@@@$_2632M접I@ "@$_264'`o@S@"@F@@@AAAA'@2 Q@@@@$_280x@3V@A@@@@@@@@@@@@@$_2812M접@3V$_282'`o@@3VF>=?ACH@@AAAA@@@rHȠ@2 Q@@@@$_283@A@@@@L@$_2842M접 f$_285'`o@@@@2 Q@@@@$_286H@(.<8h@$_2872M접 $_288'`o@@@@%2 Q@@@@$_298d@06J@A@@@@@@@@@@@$_2992M접u@A6J$_300'`o@@K6JD@AAA@@@rHȠ@92 Q@@A@$_321@D,6@A@@@@@@@@@@$_3222M접$@T,6萐$_323'`o@.@^,6C@@@@@2 Q@@@@$_324G@@A@@@@@@@@@@$_3252M접W@$_326'`o@a@B *@@@@@ ϠrHȠ@ɠ2 Q@@@@$_327 @!@A@@@@)@$_3282M접 $_329'`o@@@@@@@5[gNk2up{@Kd@([{ք@.vPiEy@r䰩x>@wqF@>@ns@wtk@|\@~e@[Rv@(O{zhcm~$LQ}o!eթHF@q cv` jgh:7<۩qx@GI@L 簷;QSU@@@ @ (dLH<A,n0ZԷ@=Ʃ4-ĩ$%y$ЩsᐩK7N8ө.)ĐN,ߩ4ܩ( $.7W}mɠзͩr,.8Aa@lʷȩ,$/ENWw%zc(yxSx unkA,&9PZc'ŷxoyé+ oj̐om{ Ӡ@@ lI@:v@C@w/q@`(',kvW[$).mxLL[JH1LJK5-25$"7/@2kF@@ 7}$K|ndj`8pcb\t"h0gX)&y}vy 6I,3gl @}rqppumA> Z,Dx}@y"E*QN(UW?)Qǰ$é^  $Ϸe'{78+׷56/v @l71,/>@B  @@\C۷@߰@@ @]@*(0Fj5! l!e&(z(Mm,"eҷ}yvppn",}>-+@*{ A9CPu9#*;Y\KI^O`6 48'%*"!!  @@  eo|+ܐpnj# { s_|9f:됩}{*D6B}3M,7kp@1z C}>J@L:= COY(Cw|&)Ee,O2 CWT8ACWFHbnưda^amgdްifF ϰg# +ʩ2% 6}34wu/*y% (68~@ @@  @ @@ @ (&<`_6/  7RJXQf_X  ~{@xZz@~) @]^Tg`)Rk:,X\ngYZB`da[Yũy]ZJ@Y3R@acJ@P;@h?Vmoqw@^hI@`bq@^^@h(k"Vtoyoy$ΰXd&CCqԩ'bdCCC 4@6q03p9tC~C`^"@&"ǰ$A$ ) 8@@@ ް"  # ϰ· !Ʒ@"wy{@*,Ʒ@0$@1T>&/zȩB@5:۩ ` !ze̠ӷЩu,1;DdG @s jcG`8[eML(CCC)'!  ޷wuomfd^\US@>O.5HS{Jڠ,<OZfy[34;@!I1V}e68GZe{/FF+ǐ/,$Pcnd#G H!8%*ViCUHjYOP8-2^|>]FLB) 'E52V!p?ҩ,8=Bn9V`^?`蠩+,INzyb@~mkqTSRTYQfjv!qȐ!h% R8/chT~@ ␩]8:nsjoܷکra_=o"q'C@ m8J~ P.P\R[LOZ"U^x4U +z&\o,Yf@&8d&GJG3,k@/ǩ 8˩@8x:CNʩް@?}K`շ;D,21'@2,< 1  3AC $ #GF:$*NM0@e&˰bk,YX$/;Nr@YͷSͩc43%s"h'q^@al,@Vzy2E\zķSé~OM%JIuIDBNJ@ΐMРA,BH@D@ؐ #D0WS$L`v!&eD@%GpnFkjjec!   #@c&egRhB@T@@m D0y$\rGx鵷ԩà1,O?=> nΰ}V@ʐ* xذް]l@JF|O@'eq_rect=߀ːҩDɩ÷D7֠K=àC>ƩRDEKL|zѰ~@iʠ̠@@Yu@yf_ŠǠɠ@g@ik߷@_7@q(t=<xP( "FE(PSR5 d,    >q r ,o/ @3!@@!>,  @ ҰY [!M2$S=bTU+:[\/GАa`a@ĩӰ  I@Q@I@bz@ ~%')w@h@q@c^ @(98toyoy OC> װQOU26*k,9&. &A-35'(.I/d2N@Ɛ4̐@r] ՠנ@z|@ @Zٷ@@ӷ@x@(gs /46bΩRϩаөԠ _ `]ݷ^ $7@YTW @2h @:< @jv@AzFHJ 9@ *@ 3@ g@P(Y,BVl G 5 0 :OV]prީ^M 8$JHBNL@ VK  @  S ] j j."v#~+)F*  5 ^Jmk Ȱ  @ yҷ@ @C nڷ@({"f   `Tİb4V^\\;9?@BO F@V?  T  X   >   yu٠۠{@~g@@      X<ؐ| p {sq{y7ytשv ީxFqB @;JڰFGD?HE l{8~0.6@9 /@@  C    7 %  ~ 'ҷjҩ*,v"$/ih0usp "lA 9L  =ܩķ ĩ$"ة:$J3] M :  ;K! cҩO%  C"ǐ /[G^ Z  MO@i\$ l?Ui Z  ZVLJY ީEHJj$zMw [x{4 @^\: Oq \"/ _+ĩa i( )6 f2 6,76 w jԩm>:  766 $(ED   0{LH   } ~ N,ON(SOP! շZͷa@GI Аd7M7Ʒ@9F@R J G@WY[ Ʒ@H T@JL @ ʷ@Q(Tj` ̩$Vlb  ֩cw[ZT ,*E #? )idk } ,~ht 1 ;  < L 2 -  0C@I@}L АeM@O@  V @^ @`b @ @g )(j / l $$l 1  " `Dh # ,7  4 J m c! (; 8 N q g Ɛ +CC@ b R Ͱ n 4    %ϩ y , M c     ? R i > @ u [Y 6 V UM R 5    ڐ f ef -ɷ    <C  ;  ,     + \ o z  N+ JC  &  ,     3 d w   c3@   [ WCbC А P Ԑ 0  Q _C   F  H%  E$ j  K(:4 K P |         G d nC 4C  d4          # B o Q yO  zPF8 \          ) h z        y w ` ^ M K $ "              ڷ  ѷ  ɷ     (  i  p@n    I 4          ) L  @ +   ~  {  S  ( K Fx8         + 8 [   s = I@  #~8 [         & 1   0 ]         ( 3 : C C@ 98         1 < I        f        4        4 H U x @ W      V  T ^ 4        ) I T a  @ V    (  @&lemma1ڝ L      # , 5 L U ` m       +   t  r f ,      " , 5 U 8@ `     Ұѷ :Щ G 0 L K     " . A J a  ?թ  Q M@ z          q , ^     5 A K ]  0 `     7 C M _ v    e a   ^ X X V    0 F j i   " 5 @ V _ h     / - '    &2  ʐ v  @ y  4      K V b u ~       o      + ڰ   {  A 5@  8     7      M 0 _ u    % Q d {   ɩ   ;4   ( - Y w       . I  G   H 2   G@  I .@! d   @  , S   Bx   Z4     G x       H     { 9    ǩ  ;  . ʰ v  3  R   w { m4   & Z _        ` V O  L  7 $ ؐ   ߐ  1 ~ %  -  +  ^ `  ǩ  Y    X    kW h . ᐩ 4     K        LA:   N K  ?  @  H  F ׷  G   ͷ ͩ Ʃ xu   #   4    d        :  b V Q I- 5 la Z    g .` pa # ,  - '     vs   j  4 w   4 3       I   4 ~6 > | 7     ( 4   ? >     ! + 4 ]  CC@ ?   7      V _ 4 M L     # / B K b  @ M      ߰    T ߰ R L J       ` \ C tCC     B   . , & $                     | z t r k i c a Z X E C  T @ * 3@&lemma2ڞ .L ? R ] i s |          , ' 1 > :@%Omega1= 5H F Y d p z          & 3 . 8Ȑ"U2 T TA@ [ N O"U0 R%u22u1@ ? ?*u22u1_unit!c J@ ] G ;,u22u1_counit @ Q D@ N  H W  4 J.u22u1_coherent @ N 9 8 S ; _ T 1 " T a ] V [  D j w g%u02u1@ \ <%u12u0@ @ @*u12u0_unit!b '@  u+,u12u0_counit  @ | N   !X  d C@   ) C@C@ C   C  rC C   lC  @'paradox:y   L   @@     C  @@&     C @@C@ C    C   -      C  1   @ ;   =      d@  $C  @@I      ȷ ĩ  C C ʶ &"@ ʩC@'  ƩC@ +C   ȩC @@C@ -C   $C  ߩ  ޵  f L8C  h J ͩ5  O @  ?UC R@@=  C C Ӷ /3 Cr U ݩ-C V@@1 $$ !( ݵ Z m  A C _ ^L ް& f@3 RkC) i@ c8' W Z;4 ^ ̶@A BC7 a@@ ZF5 G G + KJ 90p E 86R qCH ;9 t@;54S r @` 5CV u@@S 9 9NJHUP JhXC^ʶQ5PqzV~@bFCk^@CC@zj CGEC@FCy @@CC@ Cy CPpaFC@P EC|z@|vuBC@@ xC>56@  C@ C@@𵵷@>*ACG@D𐩵O@ #C@QCW- @U 鐩C@@鐷^f&0[Ci)%o@B+L.C@/qHڶr2Cy"0C@@322}5~5"F0IHF@(eq_ind_r!2# |sL۷MC^W[ư+XOcS}CE@\RfUC@VbYj%}c8C @pͶ@max)d5C@es*2;I9C~W9Cݶ6f[_3C@@baadKdG/C@l?쐩)C@@rtNVRPn^ܵf@ѩ@Z8TCm߶@@?mC@ o Cw@@ C@ɐCyCxvw`z9kXC!@ CC@"%C@z:@ /%C@@%C@SC%?9@)C@>'C@␵C'C@@C@䐵CʩcCȷĩõVsʩuUCQrOO~@S1کv`Cx@@X@@=ECb|ʩ;C{@@?00Ͷ)4ʵt@mܐCz@@\C w@@Z@!{젶 "CH l@Y!j$#}C&o@@WwwUC[öz@TrrC4S@@Mff+H%kL+, ;,16MCs+J@W>MCP@@PQOdC¶+-C]@@P^\rdʐ!M@A$incra@@oo@lRS!P@ sѷkp joyXm!Hl\P#!"P0;NoRetractToModalProposition@%MProp=j[߀Р&SpecifP@#sig#* @BBB@@@@D!sB6C@@$@"El<:nÐER!mC@1A`Ta@թ fZg@Dΐnlig$boolL#p2b@Q'#b2p@+V*$p2p1x@8;귐$p2p2e0@CEo0 {Q٩SC@X1C@4C CmC CavL@&Forall13QCЩt0C&@@{AC@DCC8(CE3)&$ &76FC<2/ @B *R<8?8CLC?=& @?C@&^< C@Cnc?C^@@ C@ C{p`EC}]YJXnda@MA;CqgdHĠwH^ʠKk3͠kCvrYV1CX@@4%%Yy *V"B0]g\J{CcmbPV9@EyCE  &[" C^@!ɩ>  ٠÷ŷtCʶlx˩|שCC|Ӷ@5C@EC;C@@C @@E C@.C m ^CɶکN cC@ %DC#@EC@@ >C)  <#.C@@w#3C@{CǶ (@䐩 C@@䐷+2NC!ѩ.E:C$':(C@@+))-T,&;4:1H]C@9?6"Z)A\jzCF ܩZq ȠfnSC@Ҡթjs{wFuC Y_X]H3'C'9-g2} 3C@@644.8/7i&C9@6@ÐDC@@GǐAIYL@5eRD>K@CŶ@@QUJACɶ@@ C@C6ЩCܷN(^1T.\g;^۠ ݠ C.?@橷CJm㩷NqPjl @ Y\|R`w_b%C@@gil ! CPJ@,C@O +C@ԐC+C0@@C@ՐC2VC0,+AA© XcVCLL?#WS@\?˩ĩ DLDC_@@f\LL2RGO/Ce`X<ECl@@Ii::?_3><si @RB^SEGnH?Cw@@Z{vdѷRaX;HI C/@,c\6@[+ ;`CBֶ@@^C[@@U}}IMR5 ;K-65C]@Аc@TXX:C"<ѷwӷhѶitC϶p.C@@Yu޶vzt֐7NoRetractToNegativeProp@%NProp8]@  @B83ۀ޷@@  @  W@#notШ CC !C%@z1l.#y_ "H0@@@%Falsee@"H1 1"H2#6C@02Cֶ1׶@ж@9!C۶6ܶ@ն@?&C55C@7DC:GC@I >GCɐM@PFϩT[CK@YOC@Q>C@UbCXeekmC@ j~ĠlM C e@ʠs̠uVC@mOC@qՠ~Ctou #NoRetractFromSmallPropositionToProp@*9@  @*@.@  2@$5BCCC C  FL&M5FCIOP@I@CNTU@N@CC@CC@" C_B&@!)y#+Cg*@'0C@0C@409C7ܩ3<⵵Cy@9A;CwCB@?HAJC@JC@NJSCQR*'@$@!@@@(mparadox"@N"x0"#}C@)proj1_sigY@2%d5CC@n#?CC@&C"A0@'O޷! C@,O\0ISC̶@Đ(:ӷOkCC@7א ڵ#CHCWZvCؐgC@ܐCC@ q䵵@>@ܩJ-^C@949C@>,o"#C C@+ @IC~6y8*+CC6@CC@# G$down@7NoRetractFromTypeToProp@%Type1.<8W"up@[ "'up_down\ ׷XeMIkC@Lo@@C@ C@C@@@~CCC C萩NK1L0@2KC3@@$66C@@ = ?EC@ B@345:C13@89:) ? \,cC!^+O5SC)J/O>S3p&3C5r(2 1'*5,iA94.L\L@TC@@zzzL3Z_C@\hZC^@\C dP'RrWVP*!tLIqC -_%;!'/#$kC*%i CA,-l5BtA2/e^$_B@@@@@DM:i\;nt @5`3GƐ>C1CACEC`mg]gtdjѐ?gՐ9͐eI\6[Cx}yOZXީC@ 5CΩ1C֩% CmkC@.C1 +@ jCA@@GDDC=@@L@@, dC"N P@VWX ] C/S" U@"def(-)k(>ַ1 C@l3+r45vCHl;/{==?CS@@]CVw@@\||<L\YiCPi@\<[ZUCZo@Y9!eW_ V CN,{wyq9CW6sm::"i@@A@(T:#(j@@ :#gk@@  ! #N:#l@@ , -Ȑ >Coq_Logic_Hurkens_TypeNeqSmallType_Paradox_internal_eq_rew_depM1DHw@@ͷN¶SҔ:#m@@ڠΩ зu̷b3zgo"jڶpLxMeP `v?9[MzGz gȩ C iʩ)nhydI\R=QG C@ {zC@C@C:$q@@ C CC**&0TypeNeqSmallType@_,6耰!3C L%' ɶ@> C4 @@ C2C90@@C@C59 C6C/64P CF297@9 W4 Y4 @` CV@@ eTנOK<JC^UQO%!@QC@&MC@C_OCn@@C@CjnCkjfWe{gnJ C}ipIT5 P@ CS@@=Zz/3WCTd-CU@@1$$g!(dY CXuWE^0@ C3@ #*  )% C   `aF0 CI3@ 5   @3b !C5@@ ķƷuC˶vu`i̩mة&(LC)* C@@X*H8G 0F#)sŷ (E-z,2@v cv bv;sC< @>@ kBCl\gTE8$c~</  f`jE ^{C4"sF9@- .;$7" qA/>67DCE3@B:L@3(4吷K6hCSP{b7CZ\QU(C@@XWW_Zȶ`Zĩ*Cj@gb󐩵&C@@hpjˠӷx൵ܷ{@ߐ C@@C@8e0C@@ C@CoCٷ ҷ C %!@ C@&C@O@C$ @@C@S$A  C/)" =7@"!C@<!C@ԐC"#CA@@C@֐CCfCA=.<RKEo)Iq,QRdTMTdCZWMp1Ia8@;;U n>MChx@@TeBB;[?F8Cnha|E=Cu{@@Ar22Hh+6E}i@VyqCo@@OC}@@M Fw#|dc!0>wdoC1e@/SO:pfCT@@Q=OCDs@BNzzCM@@GnnKB wT1A.p12-2C\+c@zjC@@JҷgжhzjCζo+C@@J߷tݶuljАe 󩚠@ L Ce@&eq_sym X_ mCao CCuxԐFa: