HSI4Wa( 2lNAzsTzP.џD.+~))z9%9F9~d!jDtest`![wtm&wDtest/succeed2 Ϝ|N_S*o-#}x$M= B^*Ftest/succeed/simple.agda]MRO}#)~EM\?ɐ˯Ftest/succeed/qsort.agda]Mt`p57_VX.Hn_V$IFtest/succeed/para.agda]M!{,% X\'('܋Ftest/succeed/optionsPragma.agda{]Mfx[ #M!1z# |2PFtest/succeed/local.agda]M90SplA> te⸳_B ^K?Ftest/succeed/list.agdaiN^NuOӉ.)]Ftest/succeed/checkOutput]M#8hbFrU4 =r=p:Y} Ftest/succeed/builtinInModule.agda]]Mhuˀ6y'ipT}FFtest/succeed/builtin.agda%̋M6U;1~1q;:E@8sLMMiFtest/succeed/WithoutK.agda]MMJ5\%xjUb[;'VKFtest/succeed/WithInWhere.agda]M##Ɏœ%'u҆ mb̺7@$gvFtest/succeed/WithInParModule.agdaJ.fN*YҕQKxu&GmjFtest/succeed/WhyWeNeedUntypedLambda.agda|oFP( $~Sᧉ|E` Qj*#9IbN"mFtest/succeed/WhyWeNeedTypedLambda.agda]MT(6oGFn([1.hS6ZF"SFtest/succeed/Whitespace.agda6P# +` 2lJOį~qye,8Ftest/succeed/WErrorOverride.flags(jP"dEJH#aU|&Ftest/succeed/WErrorOverride.agda]M/N[T@>%\;ӱC'>/=g$!Ftest/succeed/Using.agday5Q(WNF-Lik՘8^J `Ftest/succeed/UnusedNamedImplicits.agdaϜ|N*Vd~gM-' Ϙf>~Ftest/succeed/UnusedArgsInPositivity.agdaN( Yrבɵ'7+'K&#8Ftest/succeed/UniversePolymorphism.agda;M'$"1y{T6ԕr?mWܔ:Ftest/succeed/UniversePolymorphicIO.hsM*qj*Q Q;I& t#Ftest/succeed/UniversePolymorphicIO.flagsiN)E"-ݱơ5ks>(s@^hpFtest/succeed/UniversePolymorphicIO.agdaLN/͹CX} يjOns{9Ftest/succeed/UnifyWithIrrelevantArgument.agdaA]M# |fieo)lUXFtest/succeed/UnicodeSetIndex.agdatM*? VdJϳr>]6ydgSNwFtest/succeed/UnderscoresAsDataParam.agdaqO0%_SVQXzT6Vʼ0obMSFtest/succeed/UncurryMeta.agda]M)u1Rס-DtHs$19HFtest/succeed/TypeInTypeAndUnivPoly.agdaPQJ㓬",G~Ftest/succeed/SubTermAndProjections.agda3Ϝ|N!ŀDb6ģtX3+Fx`Ftest/succeed/StreamProcEat.agdaMhwJ Y_AhIFtest/succeed/Squash.agda ]M%V?[DɊ><΋e XdFtest/succeed/SplitOnDotPattern.agdajXP+ R3KGB͟$ܥs]T.}iKFtest/succeed/SolveNeutralApplication.agda]M'&萊[jIFe /D龯W%Ftest/succeed/SizedTypesMergeSort.agda]M&-q}h@`+$t-u(>Ftest/succeed/SizedTypesLeqInfty.agda TZP+Ӳr_o-M?fi%jibD{!A-:[Ftest/succeed/SizedCoinductiveRecords.agda4BO%vq\>;z(ܕ5)^]Ftest/succeed/SizedBTree.agdabbP#Citxaq:WL6pr!{Ftest/succeed/SizeSucMonotone.agdaiS3[P(SduhjuυqXZcv1\Ftest/succeed/ShapeIrrelevantIndex.agda  --P'ZW6A1*[{%ˆ+AFtest/succeed/ShadowedLetBoundVar.agdag]M=fzS0l01I8O>9ExFtest/succeed/Shadow.agdaEMu Y]~TE <ãfeU:Ftest/succeed/SameMeta.agdaN(V⤅/e }A ;$u72,Ftest/succeed/SafeFlagSafePragmas.flagsrN'_MQC@ZMTn_O`R fj ^=4Ftest/succeed/SafeFlagSafePragmas.agdaCQk%>b΅?gwf OX _}'Ftest/succeed/Russell.agda]MLtXӋL6nzM#)DFtest/succeed/Rose.agdagP#TS%p`v9TEzo!MFtest/succeed/RewriteAndWhere.agdag&AN2e8ݸ!IU`Q$S%$#Ftest/succeed/RewriteAndUniversePolymorphism.agdaqPW ZSA5MYŖwHrFtest/succeed/Rewrite.agdaP8c.qI||ug,Ftest/succeed/Rewrite-with-doubly-indexed-equality.agdaEXP&WVc M lކaKzFtest/succeed/RelevanceSubtyping.agda5EXP5u?Ǫa>tI=xlF[Ftest/succeed/ReifyConstructorParametersForWith.agda {oQ,V(_"ҙeiW6*4I B]Ftest/succeed/Reflection.agda7]M.Ίiԃ[oIt KXFtest/succeed/ReducingConstructorsInWith.agda]M%j1+Gj0M_yCҬ\GnFtest/succeed/RecordsAndModules.agda+1N&K$i>Hyp!k/nd\Ftest/succeed/RecordUpdateSyntax.agdao N)( tIZr-S"6d4rmFtest/succeed/RecordPatternMatching.agda]M%|sSY|o| KG8A|.Ftest/succeed/RecordInParModule.agda O"Tuu3<>6%\~Gz>uFtest/succeed/RecordInMutual.agda]M&V:& B\pXJ/ƴ38;nے:$Ftest/succeed/RecordConstructors.agda%]M4K <9/R킡m.zFtest/succeed/RecordConstructorPatternMatching.agdaoN֡^%/g`a'[0%rh_Ftest/succeed/RawFunctor.agda {oQɕX‹ þH~ ! 9/J_aiFtest/succeed/QuoteTerm.agda[]M)9&l>r@Yr#W}Ftest/succeed/QualifiedConstructors.agda dO+- XM)Q= LHJ\5 f_X]\Ftest/succeed/PruningNonMillerPattern.agdaxMF%3n#}zXrw)m&Ftest/succeed/PruneLHS.agdaϜ|N@^2E_=C6p)/7s:TTN_Ftest/succeed/ProjectionsPreserveGuardednessTrivialExample.agdabbP+eqm}nw2e&ZLĹFtest/succeed/ProjectionLikeRecursive.agda}`N+}䪄l# 7^fƕFtest/succeed/ProjectionLikeFunctions.agdacSO-G8<%y{z F(E>7wzij}Ftest/succeed/ProjectionLikeAndMatching.agda_}`N6EƳѽT9C'ZTzntFtest/succeed/ProjectionLikeAndConstructorHeaded.agdaM(gitlRb% amS(Ftest/succeed/ProjectingRecordMeta.agdad ]MLhj0 I5M+0]QPuFtest/succeed/Printf.agda]M(lƥds8||?MцEFtest/succeed/PostponedUnification.agda]M)텋9Ŭ][1&e$P%pH΂\Ftest/succeed/PostponedTypeChecking.agdaB]M=cj=v6: "\yQ$CEFtest/succeed/Positivity.agdaQ]MnBHZb @d(}hFtest/succeed/PosFunction.agda]M(M G&L_{"K3bFtest/succeed/Point.agda]MAmyZ3)|Sr Z2 TnvFtest/succeed/PiInSet.agdawcO#8xJK#;KVH-LKiFtest/succeed/PatternSynonyms.agda#ZO*$Ht }PkG4~Y Q=7Ftest/succeed/Options-in-right-order.flags;O_Q*ģ/ژ*޺_M+(d 4a! \BFtest/succeed/Options-in-right-order.agdaS]M[Wcg_ T"%[lx0Ftest/succeed/Operators.agdaS]M)5Z<:5jx]Z`אFtest/succeed/OpenPublicTermination.agda%]M'NMz0iŭ̐ },{Ftest/succeed/OpenModuleShortHand.agda]M&Ir8d\,d 6Ftest/succeed/OpenModule.agdas]M2;@A>sf0.P*/;Ftest/succeed/OpBind.agda@;sP&/ H0~}joap9NFtest/succeed/NonvariantPolarity.agda~]M#1tk~/`i^7CvS1Ftest/succeed/NoUniverseCheck.agdaUIQ0מDn{[c$HEh |rFtest/succeed/NoTerminationCheckPositivity.agdaI]/Q&(Ir$Dq^#e͊籖Ftest/succeed/NoTerminationCheck.agdahN N"è,\gvJp6lsXP%ԝ ֬<Z^ZJ,WFtest/succeed/NameFirstIfHidden.agda0 sP3 /%Znߝ8 6tgQ^U^ǏZ-7dٜFtest/succeed/MatchIrrelevant.agda~`YNFtest/succeed/ListsWithIrrelevantProofs.agdab 7O'7ݴkŻt`m>D[?OjlFtest/succeed/LinearTemporalLogic.agda/xg`yj[e@N*DܣoyDtest/succeed/LineEndings9]M$N͈Z)PI=L#SYk`8Ftest/succeed/LineEndings/Unix.agda8]M#TSKjNHNqOFFtest/succeed/LineEndings/Mac.agda;]M#p 6=徿2TU8[Ftest/succeed/LineEndings/Dos.agda&AN M< ?gvm6!StFtest/succeed/LevelWithBug.agda8N$YVlzOYeޓ&XY.y!*Ix0Ftest/succeed/LevelUnification.agda'pN$72t%’) ϲ/L%'Ftest/succeed/LevelConstraints.agdafO9=~i1KRA,K7FUfFtest/succeed/LetPair.agda]MNHpӮ'¹B^vFtest/succeed/LetLHS.agda]M-2U.oHBvPʞZOkFtest/succeed/LateExpansionOfRecordMeta.agdaL ]M7^*fxqrXg.W΍drK{Ftest/succeed/Lambda.agdaPʕ}P%eiɛT|fՇ 0 Ftest/succeed/LaTeX.lagdaʕ}Ppe %}@\Yä'˶DGiFtest/succeed/LaTeX.flags]M5yH& ,=IPJ?{ Ftest/succeed/JMEq.agdamngN0Cε;SZ5"'Ɩ ]PШ)QFtest/succeed/Issue97b.lagda.ngNʰ@x8:(fܬ`15KEt/Ftest/succeed/Issue97.lagda* Ϝ|NQb+WxH׷"N Ë;吷8vhV Ftest/succeed/Issue89.agdaZ^QH4c+y۝$ |EN8OFtest/succeed/Issue848.agdaiƇQ?$nS4Ys ΕW>q!a@Ftest/succeed/Issue843.agdaÃQ v2AVO䢭, HJU6⵭HЄ)Ftest/succeed/Issue836.agda7@iQUDI+X֤v~ uUcJdFtest/succeed/Issue833.agda7@iQ;Է 'UB[pߪؗЏ lUFtest/succeed/Issue833-2.agdaLQ?cޣF @wq/5p>WHFtest/succeed/Issue827.agdaUIQW(?*̦(0O}ZΘFtest/succeed/Issue826.agda UIQQgIމ1l$R4GCG7i$`Ftest/succeed/Issue826-2.agdawNKQ' $ t6IrFA~8(zFtest/succeed/Issue824.agdaJQAI<=lSÐܷ1ǟFtest/succeed/Issue822.agda5Q@ZwIbWdH~_Ftest/succeed/Issue814.agda M6 #9Io 8Zўոh=VuAFtest/succeed/Issue81.agdaBQYb3Od١%`HFtest/succeed/Issue807b.agdaBQ14:U# 2)=mHY dg#Ftest/succeed/Issue807.agda]/Q0aRG0=ʪ#wW馝Ftest/succeed/Issue804.agdaHF/Qlvͷ];Q;{܅=QdlޘEFtest/succeed/Issue802b.agda,.Qdi+2|0EBkf*i6Ftest/succeed/Issue802.agda_%QnbPh:8B7ނZ͙=Ftest/succeed/Issue796.agdaS#QTzңX:i.{;^Ftest/succeed/Issue795.agdaaQ&;>Dw)it#cPOCEu1Ftest/succeed/Issue794a.agdaaQXRhjzd#*^DM*,M-RI Ftest/succeed/Issue794.agday5QD.. itwFtest/succeed/Issue778b.agdaD5QʑQ WA#c)ѷ*'FvyDoaFtest/succeed/Issue778M.agdaB-QA_bxNg:$rb8vfQzlT5Ftest/succeed/Issue778.agdaeZPf:7:2K3mض]/\0`Ftest/succeed/Issue759.agdaߖPS4ֲAV;/AWsQEy#MFtest/succeed/Issue754.agdahPJm"Ftest/succeed/Issue727.agda'P7$?Hx;<Z܃8;|gtFtest/succeed/Issue709.agdamdP>'W}]=Qx0}Dx7-WG:Ftest/succeed/Issue701-c.agdabbP9*nTgSnQh2cFtest/succeed/Issue665.agdaOKJihD,|޿fzߞX_Ftest/succeed/Issue661.agdaUNOP\FI(BC%j`Ftest/succeed/Issue658.agdaAy5Qjn$b28jX̧ Ftest/succeed/Issue655.agdaO V9y G{\faX:O,Ftest/succeed/Issue629a.agdaOUPPIEt;ҀCCaFtest/succeed/Issue629.agda_OOe$1 K5ƷAb$?NrbFtest/succeed/Issue616.agda% -O8}d= jK{e99]Ħ#YbFtest/succeed/Issue611.agdaIV9|O6:+K 6T._{qąFtest/succeed/Issue602.agdaV9|OTMGp(=eM=Ve[Ftest/succeed/Issue602-2.agda?~O?]F?MZE@ sX' &Ftest/succeed/Issue597.agda{O[}vni]oAal;eE3Ftest/succeed/Issue596.agdavO.FznGKk7_d "PFtest/succeed/Issue498b.agdaϧN=k j "ބx^dmFtest/succeed/Issue498.agda]MiTӿF&{1EDFtest/succeed/Issue49.agdaN~25렜MI )Pz+Edv;Ftest/succeed/Issue486.agda܍Nۤ1R`?%y<* |Ftest/succeed/Issue483c.agda{܍N4kJ7[Z9>9b,=d~ZFtest/succeed/Issue483.agdapN cs?3̟CdH>zbp'8pJFtest/succeed/Issue482.agda?P"hm_=wImKoH4fnFtest/succeed/Issue481Record.agdaxX~P(g%9^O: $WG7kFtest/succeed/Issue481PonderMaster.agda`xX~P*[3gG -Σ ы=C;Ftest/succeed/Issue481PonderImportMe.agdaFxX~P&5P`mH]ȃ>B}UFtest/succeed/Issue481PonderBase.agdaWϘP:yt2׮Ftest/succeed/Issue427.agda+}Ns(Z-8xVp6~>sm餶Ftest/succeed/Issue425.agdaϜ|NGX+ dt-`1_YFtest/succeed/Issue423.agdacEnưu /r87׽UI%Ftest/succeed/Issue422.agda$N3 [&wp=W3FZ:۔NFtest/succeed/Issue383.agdaqO cTW ,uxκ$ʣ-Ftest/succeed/Issue376.agdaM]M:: J޼3-lvTސ9INFtest/succeed/Issue366.agday5Q/MulTCkW]w]!kaFtest/succeed/Issue365.agdaUAaN7zu^W#йp|5вk%eFtest/succeed/Issue361.agdawN L "O(& JZ̼jv-Ftest/succeed/Issue354.agdajXP8w9xUedEk/!tPNChtHFtest/succeed/Issue353.agda V9|O8gNj%ܲVd|A>Z.Ftest/succeed/Issue351.agdaoV9|OTY7^ ivQbHFtest/succeed/Issue351-5.agday^Ou3{&F#Ov Xy-EFtest/succeed/Issue348.agdaL]Mh9YB7 cs~>_0Ftest/succeed/Issue34.agdau{NnihK| oF up5,Ftest/succeed/Issue337.agdaNM(Q\xx t\+ ľ Ftest/succeed/Issue335.agda$]MQ.P3⸍Ř)LIGFtest/succeed/Issue334.agda"aNhȸC V=x_`V߿6Ftest/succeed/Issue333.agda]MI[I2?fݯIbbbFjEFtest/succeed/Issue331.agda/]MFN暬uӣJ\.IFtest/succeed/Issue330.agda]M#/ݣ7gz'I, ^j<Ftest/succeed/Issue327.agdaPqj*Q Q;I& t#Ftest/succeed/Issue326.flagscwPfj"Rwp{)&8N;bH~9Ftest/succeed/Issue326.agda4]M<`QE/mGO6׏Ftest/succeed/Issue323.agdaYY>M?"C,0 1D6LIVJjگEFtest/succeed/Issue314.agda]M"簹W`:Ĕ#MfFtest/succeed/Issue313.agdawN++st|M1NFtest/succeed/Issue312.agda{gN۩jA bl4I?5eY^tFtest/succeed/Issue311.agda]MK}"F=k-D8gSV!Y1Ftest/succeed/Issue31.agda]M)uY\H8&D0i˚&bFtest/succeed/Issue307.agda}PĞwq6n7SJIG;|"Ftest/succeed/Issue300.agdaz`:O k) oC!7͂w m1\jAFtest/succeed/Issue298b.agdaenPTaZWzcçb" nFDFtest/succeed/Issue298.agda ]M/khSJc{t${ RFtest/succeed/Issue296.flags+rM#AOOgK 83qmxSFtest/succeed/Issue296.agdaC/zN`Dgߙ*m귔pb/dNFtest/succeed/Issue292.agda6/zNfg\V7HC$hCĆjΡFtest/succeed/Issue292-27.agda/zN tyffj e5BdVǰJ[Ftest/succeed/Issue292-23.agday/zNK2z5Q~Tk)?it͏vFtest/succeed/Issue292-19.agda"Ϝ|NjR 9LW'⻁=H jFtest/succeed/Issue292-17.agda/zN -6ͻM|%鞖iJFtest/succeed/Issue292-16b.agdal/zN."Zpa"74__"M#Ftest/succeed/Issue292-16.agdai/zNBĢ![tyHykO3k傸%6`Ftest/succeed/Issue292-14.agda lMwEևXgliٷ6(iFtest/succeed/Issue291.agda gN?Rh:vW'Dd/GjZhFtest/succeed/Issue286.agda~llN}s7*u]͎.<%\7Ftest/succeed/Issue282.agdaOsN]H"OPśaNƄWmYFtest/succeed/Issue279.agdaR]M)_*S@P-ȭAFtest/succeed/Issue276.agdaN-M`o-;8DCn3&;Ftest/succeed/Issue274.agdajXPl1j_V֙s]фE Ftest/succeed/Issue268.agda$]M8+:$26.%MLNDM6ᴻtB_Ftest/succeed/Issue263b.agdaS]M1%{ r'SaZGFFtest/succeed/Issue263.agdac]MTYaR^ U}s^M*6Ftest/succeed/Issue262.agda`N;)M96"Bn[R*Np1C]Ftest/succeed/Issue261.agda]MbD3yLs8% /Yt䆇Ftest/succeed/Issue26.agda)uNuCy:--mt3υFtest/succeed/Issue259c.agda]M)^,ҥXi;+}{V"_2CRTFtest/succeed/Issue259b.agda+]M>}04mws*fCGaZEFtest/succeed/Issue259.agdaq]MOz8KwB34tb-KddMFtest/succeed/Issue258.agda]MZ= յiN"3L}mS^K/ŸFtest/succeed/Issue253.agda]Mjou6yjUjAhm5/qFtest/succeed/Issue252.agda]MGM豌Enc&:~|;"Ftest/succeed/Issue251.agdaN;0Z=}|c'22Qp0Έ,=Ftest/succeed/Issue248.agda]M-Vs,3qs,eZFxER""j^~Ftest/succeed/Issue246.agdaXjXPScqrtt"No:mm;G Ftest/succeed/Issue245.agda8]M !(%O[G]1 a?ڧNFtest/succeed/Issue242.agdai&ANM. 2TϦـ(pfx8kEV,Ftest/succeed/Issue237.agdaZ]M۱p[ﯢ!At[ /MiFtest/succeed/Issue234.agda]MuEw Zw"URV牨Eڳ΍Ftest/succeed/Issue233.agdaN od_5\0ۓ2ݳ4Ftest/succeed/Issue232.agdaN $jita \_$&G톢Ftest/succeed/Issue229.agda"]Mo\%0:I91lz:kڣ[ Ftest/succeed/Issue227.agdaP]M-HwEf]ƱBF FdFtest/succeed/Issue224.agdaP]Mt'ǭuai~$T?6Ftest/succeed/Issue222.agdaN V;X.t+#M Y(Ftest/succeed/Issue213.agdaN Dٔs+ӟBw֒h- pw 82?JmFtest/succeed/Issue209.agda]M/сYMDcoW**#Ftest/succeed/Issue204.agdavCA/iN?lywjA>R|XDvFDtest/succeed/Issue204pN'b ]pʤ  M~yFtest/succeed/Issue204/Dependency.agdaN]qr }㬈oSL  Jm^2Ftest/succeed/Issue203.agda%]M'be+n'5|~;rh=1 >Ftest/succeed/Issue202.agdaIjXP!P12m,~#NXFtest/succeed/Issue199.agdaP]M<[XUF*+x$4xK2Ftest/succeed/Issue180.agdaN{/b.9[$6u1UFtest/succeed/Issue175b.agda]M[i&= Y^*'^bf}xFtest/succeed/Issue175.agdaEXPfw4{NtWx>Hm%1Ftest/succeed/Issue168b.agda(EXP$mLb@3$@xaٶdN5rFtest/succeed/Issue168.agdaEXP'K>yE`ߵ O wFtest/succeed/Issue168-irrelevant.agdaTNux S׷IU}ʹ}05K ?RFtest/succeed/Issue166.agda ]M+ %m'z6Rw O Ftest/succeed/Issue165.agda7Ϝ|NܾY+q1fxFtest/succeed/Issue162.agda0]MRXp2 GNH8Asw{aFtest/succeed/Issue155.agda]MLDf5RcuO4>>fxFtest/succeed/Issue154.agdaHLLVNmW:mad֦K&s'SI7~< W |ޅk?/wFtest/succeed/Issue133.agda]MbvR%D꤭mqj3WWFtest/succeed/Issue124.agda0]M[`?:fS!Ftest/succeed/Issue121.agdaZ]M6vdF ASž4{@\ŃgFtest/succeed/Issue117.agda]M~WN qK:/6{;;V)7Ftest/succeed/Issue107.agday5Q^D+%fY.mX߷/Ftest/succeed/Issue106.agda]Mu}o: X5}bۂ܉c.u[e;Ftest/succeed/Issue100.agda#O" P&{"3n:*xYJqFtest/succeed/IrrelevantWith.agdaP*sUSPrG'l;x "A&&1TzFtest/succeed/IrrelevantRecordFields.agda^O)bGRJ88J+cHrݝiT)SAotFtest/succeed/IrrelevantProjections.agda]N#OGݵsHi򘘲p.f:Ftest/succeed/IrrelevantLevel.agdaӈN!9O?cY\'uդtFtest/succeed/IrrelevantLet.agda LN86¯Z~dx)ڣTqkZiFtest/succeed/IrrelevantLambdasDoNotNeedDotsAlways.agdaBQ$(ESYJj ֥(FO;Ftest/succeed/IrrelevantLambda.agdap^O)A KID,ǥ0 NFtest/succeed/IrrelevantDeclaration.agda ]N+ںZh: z N("[Ftest/succeed/IrrelevantDataParameter.agda]M)lrr::䬠ӗba@ڦEϣFtest/succeed/IrrelevantApplication.agda[]M8*ʍe7tw4iwO?Ftest/succeed/IrrelevanceCaseStudyPartialFunctions.agda@0DO(m>EuA;4 Ftest/succeed/InstanceArgumentsHidden.agdaEXPPVFxakv>K|8nBDMFtest/succeed/InstanceArgumentsDontDiscardCandidateUponUnsolvedConstraints.agdaV9|O0?K'03'.B[uԆuvI\.̬Pٽs军M?3B6Ftest/succeed/InferRecordTypes.agda jXP7S}Ov?rQ&NFtest/succeed/FlexRemoval.agda@;sPD!rW SƜg1zrQb*kFtest/succeed/FilterSub.agda ]M4j i 2tH›Ftest/succeed/Filter.agda]M%=X!_";Jb:Yc1FFtest/succeed/FancyRecordModule.agda"WO9Y\^5L:]_<g%!i&Ftest/succeed/ExplicitLambdaExperimentalIrrelevance.agda]MPX^ {c%PZq_7UFtest/succeed/Exist.agda jXP)/\gd)${'G̖ŅOw[Ftest/succeed/EtaContractionDefBody.agdaM.mw!WїM'zlE< 8 >Ftest/succeed/EtaContractToMillerPattern.agdajXP)"V1| S}>I P`MFtest/succeed/EtaContractIrrelevant.agda,LQ&FG a8 Ftest/succeed/EtaAndMetas.agda]MWc:Н )Q zȷL#UX}ZFtest/succeed/EqTest.agda]M\|K8?%%xRD rmKl=!Ftest/succeed/Epic.flags#]M #c}0ۖx)b8|]R>Ftest/succeed/Epic.agda(KO(QQ>^%VWDy4Ftest/succeed/EmptyInductiveRecord.agday5Q)5~~v%hL&$ `t:-M۪bWS$,Ftest/succeed/DotPatternTermination.agda^O,[.W0[l@bN*Zcu>AFtest/succeed/DontIgnoreIrrelevantVars.agda^OAP;&巈qĊT}W{A{:TFtest/succeed/DoNotEtaExpandMVarsWhenComparingAgainstRecord.agda]MdBs)pR?tB5DMjP6X(Ftest/succeed/Div2.agda]Mrl%z;!i/dɿ)>dFtest/succeed/Div.agdaL]M!DƬܩ) EI[bHpH2K:Ftest/succeed/DigitsInNames.agda7CQ$/A!wCL-(}%mFtest/succeed/DifferentArities.agdacZO(ne|b{z-@Ftest/succeed/DependentIrrelevance.agdajXP(>] @+2MyT~TU dak/ԁFtest/succeed/DefinitionalEquality.agdaO'f+҂5+n/lsY?RӐH;SHnDFtest/succeed/DataRecordInductive.agdaEXP L >N|Bwb{(MڗWFtest/succeed/DataPolarity.agdayP!ZoX*5.6d21HXq]1esFtest/succeed/CoverStrategy.agdaWKOs66tgOn*lYѦ痈jeFtest/succeed/Copatterns.agdaAEXPz:A?a%NjgiQڒSFe#Ftest/succeed/Const.agda N"XQ :E?|LԗAD hFtest/succeed/ComputedLevels.agdaiN)qj*Q Q;I& t#Ftest/succeed/CompilingCoinduction.flagsiN(ݤ,e>{ve.>8EFtest/succeed/CompilingCoinduction.agdaN Iڳ7))9/׮(ٻ̾ mFtest/succeed/CompareLevel.agda]MIE&?K.Kl6[y N}Ftest/succeed/Comments.agdacLLVN. ɯtCo7CZα֣^v Ftest/succeed/CoinductiveAfterEvaluation.agda6O7OIgۊh`_{[s[44Ftest/succeed/CoPatStream.agda]M.IkS#'`}HFtest/succeed/Bush.agda]M!Pmo59QF~{|Yl">Ftest/succeed/Berry.agda]M!>?((D\dI&/Bk/LҠAFtest/succeed/AbsurdPattern.agda]MV  (ʻn*f\FvI7>Ftest/succeed/AbsurdLam.agdas]M%dM7f/ 2Z(Ftest/succeed/AbsurdIrrelevance.agdaEgP"3l/T?s>J Ftest/succeed/AbstractMutual.agdaV]M ґDPN !q4fo} lFtest/succeed/AbstractData.agdagP”ʆui 5Qy"lpn'NJ҈Ftest/succeed/Abstract.agda]MĤT4+8>]0bԞIFtest/succeed/.cvsignoreԟ+0UtET;A) 8ޠ=PFDtest/lib-succeed"GO-ۀ>~{$d<`V}'OrFtest/lib-succeed/SizeInconsistentMeta4.agdaWP%oKdowL]V똳ӬmcFtest/lib-succeed/MakefileQ .?]o(r _CFtest/lib-succeed/Issue846.agdaR&ܰ?d`Mƞ'm@h:@^MMDtest/lib-succeed/Issue846Q(9C6q1?1*rFtest/lib-succeed/Issue846/Imports.agdasQ, ,LnBH.СTP'He~<VFtest/lib-succeed/Issue846/DivModUtils.agdaWP TdS<Օ7F>aPV=1 *uFtest/lib-succeed/Issue784.agdaԟ挵2\l{* S3&@m#8Dtest/lib-succeed/Issue7845Q'ݾx :Iv7K\Ftest/lib-succeed/Issue784/Values.agda.5Q,yj[$G~4?8: VFtest/lib-succeed/Issue784/Transformer.agda5Q'*0'2=HUOs)TқFtest/lib-succeed/Issue784/RefAPI.agdaWP(hYpr2MpT}|z_3~GFtest/lib-succeed/Issue784/Context.agda ڿj6*ܶT\rJDtest/jsM<8M{4;*9ӑ"$Ftest/js/test-harness.jsKM;~"'[b 5b-. V}hoف0kFtest/js/TestNat.agdayKMݑYat0-w3'ro- 8Ftest/js/TestList.agdaSyM;@VZ>f(;nok%` Ftest/js/TestHarness.agdaKMXZ/?#O:isiI $!Y= Ftest/js/TestBool.agdayM^b8 > AׇFtest/js/MakefileY䚟{ݞiw> ^<"cY3Dtest/interaction+uP#Zrjb- [Ftest/interaction/Stuck.outGF/Qh IEA5Sh9[ 15^Ftest/interaction/Stuck.inF/QșPX&I:}|DT[Gq[PfAFtest/interaction/Stuck.agdaLsPr%uY]˺qosTyFtest/interaction/SetInf.out&&AN,.B>?,643G= \ v],&Ftest/interaction/SetInf.in`&ANn<ҋ<;1M|P ef/Ftest/interaction/SetInf.agda.LsP))>?v— <-:(usvFtest/interaction/RecordUpdateSyntax.outZފN('"em󦑳Ǭ+ue!e+LP3Ftest/interaction/RecordUpdateSyntax.inފN*ݙ75IɯQ2S`.GXYFtest/interaction/RecordUpdateSyntax.agdaLsP,,V5M~4~%6:N,X0=Ftest/interaction/RecordPatternMatching.out]M+eF'^:ikiK܍Tw Ftest/interaction/RecordPatternMatching.inJ]M-\5=úOdiG!H&FIt'Ftest/interaction/RecordPatternMatching.agda@Pp!L$l_(4?0?-\Ftest/interaction/READMELsP't\r5 GtHx"yI'Ftest/interaction/PragmasRespected.out]M&|aκUP rci{+7Ftest/interaction/PragmasRespected.in}]M(#$"\9zz6#!Ftest/interaction/PragmasRespected.agdaLsP&E9 9W*j{SIEVs5Bχ{z}Ftest/interaction/Positivity-once.out&UCO%,.B>?,643G= \ v],&Ftest/interaction/Positivity-once.in*UCO'u; fTS;`Fr N_0c Ftest/interaction/Positivity-once.agda LsP k=e%꺵^ruFy{ɢ*#UrFFtest/interaction/NiceGoals.out&UN,.B>?,643G= \ v],&Ftest/interaction/NiceGoals.in UN!5pe|< |AUmYirUD:YFtest/interaction/NiceGoals.agdah LsP!;z2" uśe`ԺIFtest/interaction/Multisplit.out=nP @4n?,643G= \ v],&Ftest/interaction/Literate.inLQH s4EU'| Z|XBLFtest/interaction/Issue841.outhQ-tKسS0Ftest/interaction/Issue811.agda(6Q o. Hd73J۩|xwFtest/interaction/Issue810.out6Q\(ȥ6\ۛ6gxV톢}Ftest/interaction/Issue810.in&6Q >LOtk*Pk#26T5@Ftest/interaction/Issue810.agda27/Q : a=%SX+ER}f۽Ftest/interaction/Issue800.outI27/Q} ~B(vwfu ǭ -kv Ftest/interaction/Issue800.in27/Q XXWadVZ [nNFtest/interaction/Issue800.agda-Q.pTl7Wȓ=oM7}*X Ftest/interaction/Issue778.out-Q> f$R#(dՓ52u 5Ftest/interaction/Issue778.in-Q h։@Jg&rZI="/myFtest/interaction/Issue778.agdaP:vI+\Lto\_["cAFtest/interaction/Issue720.shOhQE 7Lo+-zϢ 2I@ Ftest/interaction/Issue720.outP 6h4FPT6_RI&(feW+?Ftest/interaction/Issue720.agdaGLsP :Ԥ? \})mG6ڝ^ 6Ftest/interaction/Issue679a.outTo6PmGNA`DƮ/OԢ)Ftest/interaction/Issue679a.inUo6P!PRM騋Ue:e25Ftest/interaction/Issue679a.agdaLsPЫ[sSͤt*~o sMFtest/interaction/Issue670.outEKOlOofAv޳*Wp_'nlFtest/interaction/Issue670.inKO Tsԅ40e\0O6 ŠhFtest/interaction/Issue670.agda{LsP'+3ʧhLwx{\IMN(&FFtest/interaction/Issue643.out%7ONj`PpX}§jNnWi9uX|Ftest/interaction/Issue643.in7O )ϡyT[grs/XIFtest/interaction/Issue643.agdaoLsP7y7= U)Vd"^c5{GLFtest/interaction/Issue642.out% ONj`PpX}§jNnWi9uX|Ftest/interaction/Issue642.inQ O < /_aP7{IFtest/interaction/Issue642.agda P ^>o݉!5ԟtztFtest/interaction/Issue641.sh@P%ۓP.ͣbi)z` _&næ`#Ftest/interaction/Issue641.out*@P : C\4x A՗-_ Ftest/interaction/Issue641.agdac|P(i'}؝d1r%&qyTFtest/interaction/Issue639.out&c|P,.B>?,643G= \ v],&Ftest/interaction/Issue639.in)c|P Ub@ijbv11-.$c h[ Ftest/interaction/Issue639.agda8P8|gD}r#؃jFtest/interaction/Issue637.out&KO,.B>?,643G= \ v],&Ftest/interaction/Issue637.inKO B& d9x0%@!+Cc$Ftest/interaction/Issue637.agda KQJ<+'oo ?,643G= \ v],&Ftest/interaction/Issue630.in/O }UX |ɶdFtest/interaction/Issue630.agdaLsPP8D[Z1]z빓oyFtest/interaction/Issue620.outp~ĨOWݣ2ވJ[O3QD6hlm{Ftest/interaction/Issue620.in~ĨO L'OO !m [=pI2Ftest/interaction/Issue620.agdaHLsP]FCͭ5;=&*TH`NXkNM3Ftest/interaction/Issue606.outOEͅo*U%"A=gtFtest/interaction/Issue606.inRO S*e;ž۾v p.WFtest/interaction/Issue606.agdadtP:=0<P+˼jCŢ4KFtest/interaction/Issue604.outp6sP5vVN.;\,I8p;YǂFtest/interaction/Issue604.inE6sP )9iZa)MS?P1ڿƳFtest/interaction/Issue604.agdaLsPΞ?V$c1TGFtest/interaction/Issue599.outOC=%Dj{D5C;ζ'5(Ftest/interaction/Issue599.in;T|O jvPLTKЉf?,643G= \ v],&Ftest/interaction/Issue591.in)mpO  N^` uhT:c>/rFtest/interaction/Issue591.agdatq[66GB+Z ĹIX~Dtest/interaction/Issue591mpO"+HDsG6t^HFtest/interaction/Issue591/M.agdaLsPq1R>Uyypa2NFtest/interaction/Issue589.outFiOH$ų4U@3;ϥFtest/interaction/Issue589.inviO rE91 ƫ$j_4#Ftest/interaction/Issue589.agdaLsP)&lr%jIv Ftest/interaction/Issue556.out,wOUd-wLA"30N%&Ftest/interaction/Issue556.in5wO /"WY΅ 8܊.jFtest/interaction/Issue556.agdaLsP+) e_{9g"e5@7 |σFtest/interaction/Issue499.outGzKN,lXl'b]ؑFtest/interaction/Issue499.inzKN w} Mn}!q Z/~NpyFtest/interaction/Issue499.agdaLsPN,d :MURP)Fr|(97Ftest/interaction/Issue453.out'OObR˂evtX~k,Ftest/interaction/Issue453.inHOO .D5|y2]|O&Ftest/interaction/Issue453.agdaLsP|BH/}¤r n=k3;_OFtest/interaction/Issue417.outmN)lbge}^އV\y\3\*Ftest/interaction/Issue417.in oN U&?.$ЪNFtest/interaction/Issue417.agdaLsPMeOk?kk޽j-+;aFtest/interaction/Issue388.outV37gNcz8g& 1hSpRLFtest/interaction/Issue388.in37gN D c^ ULc]5.]/Ftest/interaction/Issue388.agda,4P{p_A4\t>RÎ^>Ftest/interaction/Issue378.outC4Po8d~@Ǟa5eqQݝFtest/interaction/Issue378.in4P A rA-DeQf#cJzf_Ftest/interaction/Issue378.agdaP&L/)6(5dW $Ftest/interaction/Issue373.sh/Q2Ct+ (YJ ;aۑ݉g0^+lFtest/interaction/Issue373.out|+rM Y&lk?IIe?[]QKCFtest/interaction/Issue373.agdaLsPTQ_hܾ(g DzqxjFtest/interaction/Issue363.out&lN,.B>?,643G= \ v],&Ftest/interaction/Issue363.in=lN NJMPCZ)q|Ne*Lc@ Ftest/interaction/Issue363.agdaLsPw-K࿲IPLPæ~ GFtest/interaction/Issue358.outValN`-5C5hyWJ8~NFtest/interaction/Issue358.inalN d#j/]¶'98Ftest/interaction/Issue358.agdaLsP7ֱӃ6jqz›mS;L &qvƟFtest/interaction/Issue317.outѭlN}GgiB%Xsk@CZFtest/interaction/Issue317.inaѭlN פUв_r׉+yC^4@QFtest/interaction/Issue317.agda#LQ6 |=)w6aR\ "+Ftest/interaction/Issue289.outG#LQ׶[QX@k-8v$-~e6nP±Ftest/interaction/Issue289.in#LQ l#ĵX@"T-pd%Ftest/interaction/Issue289.agdaLsPd9 =Aw6(0f(W|)ՠ89Ftest/interaction/Issue277.out]McC>Bnab(P`y?Ftest/interaction/Issue277.inr]M wIoEi(xn)ixh>Ftest/interaction/Issue277.agdaLsP1ǂK2=SeG;c= ;0Ftest/interaction/Issue271.out]M,)O)O'+-!-ﹷϞ?Ftest/interaction/Issue271.inr]M MC,x1FU6?;S+R=!Ftest/interaction/Issue271.agda)LsP}9pMo>*Yk,P.Ftest/interaction/Issue254.outV+aNWe[(z\ºy{Ftest/interaction/Issue254.in+aN 7F\U b <}hȰe .Ftest/interaction/Issue254.agdaLsP6`MP-#B,gIYFtest/interaction/Issue231.outK6N8KnVkoI:GLa51NFtest/interaction/Issue231.in6N _t&HgFtest/interaction/Issue208.outR@Ni"-iotip8y.Ftest/interaction/Issue208.inD@N Z#& ז ham5pZK/ \̯Ftest/interaction/Issue208.agdaLsP!AG+ N1%4Ftest/interaction/IntroSharp.outJ;T|O m򅝠~cDCwSj)I5Ftest/interaction/IntroSharp.inN":?uP'oW>&Փ |Ftest/interaction/IntroSharp.agdaLsP&Om0ZeQFjh*]m W)Ftest/interaction/InferIrrelevant.outRN%`9KQhRH뼌@aK7OUFtest/interaction/InferIrrelevant.inN'J@!Š2yrxJFtest/interaction/InferIrrelevant.agdau8P!()o-& L.J~*/s=Ftest/interaction/Impossible.out&\'O ,.B>?,643G= \ v],&Ftest/interaction/Impossible.in,\'O"Nd!:"UwbdôYFtest/interaction/Impossible.agda}9~Y "z t>RDtest/interaction/Imports4]M!|lqy8N-p¾`$4~ZlWgIFtest/interaction/Imports/Nat.hs3 P#LäT"49=-YO> NzFtest/interaction/Highlighting.outBP">J*cz-C~Xjݹk ՚=CTuZFtest/interaction/Highlighting.inIO$x=nbMvLQxv(˽*n1Ftest/interaction/Highlighting.agdaLl*%"Ff+!HjDtest/interaction/HighlightingO&>7`4띴}Fco#SFtest/interaction/Highlighting/M.agdaLsP߸|My N. ~fcFtest/interaction/GiveSize.outBbbPD bX. xnFu'k:X"LNFtest/interaction/GiveSize.inbbP + DLtk>B97#jWաFtest/interaction/GiveSize.agdaLsP/e9=ʄ v5<lFtest/interaction/GiveInSpiteOfUnsolvedIrr.outIGiO.ȥ9!L%Cۇ!\k+=Ftest/interaction/GiveInSpiteOfUnsolvedIrr.inUGiO0B> ʩ*F(|%I;-h.Ftest/interaction/GiveInSpiteOfUnsolvedIrr.agda ʕ}P)g< +y(h;\ՑsKr(Ftest/interaction/ExtendedLambdaCase.out"ʕ}P(?mpA9ٗ ^RB_:U!Z/Ftest/interaction/ExtendedLambdaCase.inʕ}P*ݜ(FR UDH0N69(Ftest/interaction/ExtendedLambdaCase.agda<LsP/=a{kc(r}%1ƺaFw;nFtest/interaction/Error-in-imported-module.outDP.1aA?-ڼ8`=~Ͼy* +H3`rgFtest/interaction/Error-in-imported-module.inNO0=ήxSrhh^t>m"{f0#Ftest/interaction/Error-in-imported-module.agda+̧Ktfb6bGqʶ3@Dtest/interaction/Error-in-imported-module$O20ʨz-SZd&+=!;Ftest/interaction/Error-in-imported-module/M.agdaTLsPE%MMQ @)Ǵ(7 #Ftest/interaction/Debug.out& 'O,.B>?,643G= \ v],&Ftest/interaction/Debug.in= 'O~?Z|<^ | 6VJ`;=Ftest/interaction/Debug.agdaLsP mjA$h調wkC_Ftest/fail/customised/NestedProjectRoots.agda9Zܹ cXŗ qO ExDtest/fail/customised/Imports]M%{->,t'{hEbdq~ru\Ftest/fail/customised/Imports/A.agdaxX~PUf dM! H_1w!'@췶mFtest/fail/customised/FFI.err+rM~B{ɞC"arFtest/fail/customised/FFI.agdaWO$Ag+#T i2tr+=qg?wFtest/fail/WrongSizeAssignment2.err]M%~xoTaH^@PV$9-(˖Ftest/fail/WrongSizeAssignment2.agdaWO#"̅<`0(DCëqO Ftest/fail/WrongSizeAssignment.err]M$T/&LhSG]_50:@Ftest/fail/WrongSizeAssignment.agdaTZPA1Hx/?ׯi߆Ftest/fail/WrongPolarity.errTZPu%F pYC45ʉ؍PL|Ftest/fail/WrongPolarity.agda]M1!hDz'C'O}gV_ӍA2yFtest/fail/WrongNumberOfConstructorArguments.err]M2K OHl>f WIVpI= LFtest/fail/WrongNumberOfConstructorArguments.agdaM2 Ni}W bЉčAf+nNXRGFtest/fail/WrongMetaLeft.err2 NneIh0mZۓ#LFtest/fail/WrongMetaLeft.agda.fN#ОRj#&_ԽӴ #6%Ftest/fail/WrongHidingInLambda.errL]M$ 0rj}^a^Ftest/fail/WrongHidingInLambda.agda]M X q [WRMqNM&adFtest/fail/WrongHidingInLHS.err:]M!"`(h1d8dN)" 6Lj1|pFtest/fail/WrongHidingInLHS.agdaH?WO(p.BoOZݏԷ v|מCSFtest/fail/WrongHidingInApplication.err{]M)_yz9zJJ-ۇ}9WWFtest/fail/WrongHidingInApplication.agda]M^=XG%= 4@2Z=N, !=OQwFtest/fail/WrongDotPattern.err]M Y]%2_k$ @CաѼ5 Ftest/fail/WrongDotPattern.agdaPY[i&y&ko+.9q:c!Ftest/fail/WithoutK9.errEP2, 6H+a#Ftest/fail/WithoutK9.agdaPcJMEl" ;&C7 x F1Ftest/fail/WithoutK8.errP}iϵ#h)x ̌?*ϐFtest/fail/WithoutK8.agdaPGhlL&pL;XjFtest/fail/WithoutK7.errPq RTX+<3/)pFtest/fail/WithoutK7.agda P@bg&&R @ikGgiGWWJI>SFtest/fail/WithoutK6.errWP +>my 6h?iʈǟFtest/fail/WithoutK6.agday5QU;F~F2Q=ZzNc}1鳊Ftest/fail/WithoutK5.errPuT_֠.o[N=A65؇)Ftest/fail/WithoutK5.agdaPr(8"hFtest/fail/WithScopeError.agdaOO&Ź-4dz Ǚ')Jt(崛caFtest/fail/WhyWeNeedUntypedLambda.err.fN'iku (6,a;>LzryFtest/fail/WhyWeNeedUntypedLambda.agdagP%ܮjK!1msbl[OCs&Z/GFtest/fail/UselessPrivatePrivate.errRP& V{8+PT }gG4cYFtest/fail/UselessPrivatePrivate.agdagP$mO;,\b6|@ o)~fFtest/fail/UselessPrivatePragma.err]P%Oe{xGsɈ*]Y*ж;PQxa/Y-Ftest/fail/Unreachable.agda|pkO =(H[%ZeM#o ~wq bNJIRFtest/fail/UnknownNameInFixityDecl.errC]M(ƉAL\`/}q$Ftest/fail/UnknownNameInFixityDecl.agda]M(L6ngN~wUb˶ ]lGw/paFtest/fail/UninstantiatedDotPattern.errJ]M)|͌!e p6a_KRNJC+Ftest/fail/UninstantiatedDotPattern.agda&OO+I&K"ܞ2|3(JVFtest/fail/UnifyWithIrrelevantArgument.err&LN,zw$Gizx ># .'s,(Ftest/fail/UnifyWithIrrelevantArgument.agda#QANWZӃ%{^J7&2Ftest/fail/UnificationUndecidedForNonStronglyRigidOccurrence.errlMB7njϒ*wXBmY۷q)KhNRFtest/fail/UnificationUndecidedForNonStronglyRigidOccurrence.agdaf]Mjjlm [Zل̢ZlM] fFtest/fail/UnequalTerms.err]M&VXJ|HdB)x z=01Ftest/fail/UnequalTerms.agdai]MHx9syXvk4d)Cw?pFtest/fail/UnequalSorts.errw]MkeB&/D|N-SHBBYFtest/fail/UnequalSorts.agdaEXP n~\\eDAkoė ;c|S&+Ftest/fail/UnequalRelevance.errEXP!vy'÷?e K [SYK0Ftest/fail/UnequalRelevance.agda]Mx^uNUu"cr8MEFtest/fail/UnequalHiding.err]MFtest/fail/TypeConstructorsWhichPreserveGuardedness1.agda]Mla+0!AJTobnգ >*vo _`wFtest/fail/TerminationRecordPatternListAppend.errM3qz`)s pr[.jks"? k$-?Ftest/fail/TerminationRecordPatternListAppend.agdakN+rrʎ}Q eβ[`7&(Ftest/fail/TerminationRecordPatternLie.errkN,Rmub9P虼nd4}1'.TFtest/fail/TerminationRecordPatternLie.agdaO.㷾".~|;/TIIUQKzFtest/fail/TerminationRecordPatternCoerce.err]M/s6S|ۂs_@ ?&ny]Lk׶(BBU쪛!W/Ftest/fail/TerminationLambda.errkN"먿ˋc&JCY9~N(Iqg$Ftest/fail/TerminationLambda.agdakN)R,w 8Jpqӗ\Ftest/fail/TerminationInfiniteRecord.errNkN*<!kS(B-eD G\(ٰ}(H Ftest/fail/TerminationInfiniteRecord.agdaq!M&4W m}h7Ԍ9=hFtest/fail/TermSplicingOutOfScope.err!M'خ|-B/F; [LoDʋFtest/fail/TermSplicingOutOfScope.agda{kN#k>?Cĸv[!&j:5i&#Ftest/fail/TermSplicingLooping.err!M$ӣZNӄEƔ1z Ftest/fail/TermSplicingLooping.agdan!M[|dZ$jL?*=OlLFtest/fail/TermSplicing1.errc!MP<17T ~ ^p Ftest/fail/TermSplicing1.agdaN)}K`Ӏ=P1'`Ftest/fail/TabsInPragmas.err;]M xІ;gI lw0K~Ftest/fail/TabsInPragmas.agda}kNTY[p}IjѣW8b̧8ˌd'@C* AQ?2RFtest/fail/SubjectReduction.err]M!~sz-DF|z Q & ?Ftest/fail/SubjectReduction.agdaF/Q&@ aqID+>eJR/%Ftest/fail/Stuck.errF/QU=wq xِ~Їp1~y\fFtest/fail/StronglyRigidOccurrence.agda!M'D=$珲h'@ `u $Xj51Ftest/fail/StrangeRecursiveUnquote.err!M(3F[7[/0^o3^,dngFtest/fail/StrangeRecursiveUnquote.agda{؊N!XA6_Q΅Kgᾞ8:yEyGmYFtest/fail/SplitOnIrrelevant.err؊N";5gA vVP SWeCFtest/fail/SplitOnIrrelevant.agdaϜ|N$i1] 'GP?7tfzNưFtest/fail/SortDependingOnIndex.err]M%p^']|"%MlPuCFtest/fail/SortDependingOnIndex.agdaEXP6(Bػ#j2!{3bpV֖Ftest/fail/SkipParametersInConstructorReification.err:GߑO7<~8Vm흮B\!s޼ !7IFtest/fail/SkipParametersInConstructorReification.agdakN!Ri_Z$IB Ս+RRGFtest/fail/SizedTypesVarSwap.errkN"PboryRx Oqk被2k(+4Ftest/fail/SizedTypesVarSwap.agdao}P(2hj8.(eV^zFtest/fail/ShouldBeEmpty.err]M6m4EM- YTa#m~'SFtest/fail/ShouldBeEmpty.agdaϜ|N6CTN ^.pA12)s+BgFtest/fail/ShouldBeAppliedToTheDatatypeParameters.errϜ|N7%;)<(8 O6\q}Ftest/fail/ShouldBeAppliedToTheDatatypeParameters.agda~]M%mޗŬ{Sr{ g ܁%>voFtest/fail/ShouldBeApplicationOf.err]M&kDB 3_  SahߙݕZgFtest/fail/ShouldBeApplicationOf.agda]Mʥ_L Ղdp8i-\\Ftest/fail/ShouldBeASort.err[]MMJzX;EOs}e :Ftest/fail/ShouldBeASort.agda@;sP<~ ~ϸ[v4nٷ/VrFtest/fail/ShapeIrrelevantParameterNoBecauseOfRecursion.err@;sP=%Lp49jܫ̉8U)Ѫ[*6A_Ftest/fail/ShapeIrrelevantParameterNoBecauseOfRecursion.agda@;sP8HgOW[/Vu|_:-H+:6JFtest/fail/ShapeIrrelevantIndexNoBecauseOfRecursion.err@;sP9&ݤ(e+"~eT#ޝ|98V{Ftest/fail/ShapeIrrelevantIndexNoBecauseOfRecursion.agdaS3[P$(KF<˻"y(U0Ň" WqFtest/fail/ShapeIrrelevantIndex.err%S3[P%C0XEH' u:$Ftest/fail/ShapeIrrelevantIndex.agdagPVֆDEDpˬ^ܹCy `Ftest/fail/ShadowModule2.errcϘPamd(p(P4oTJor⺍ y7Ftest/fail/ShadowModule2.agdaULsP g]lo _~9Ǵ"cNvFtest/fail/ShadowModule.errk]MvmD+ѩ370w ׃Ftest/fail/ShadowModule.agda2[oP>wu9Y7J/]wS Ftest/fail/SetOmega.errZNkvD֒p2 CV>s⼑x`'Ftest/fail/SetOmega.agdaHVaM*!Y\@au]1*Ftest/fail/ScopeIrrelevantRecordField.errHVaM+LrРb"DŽ*7/&㤜Ftest/fail/ScopeIrrelevantRecordField.agdaN%V⤅/e }A ;$u72,Ftest/fail/SafeFlagPrimTrustMe.flagsN#KEE $hVZn/\Ftest/fail/SafeFlagPrimTrustMe.errN$iw[OY2:aZߵ)(jQFtest/fail/SafeFlagPrimTrustMe.agdaN!V⤅/e }A ;$u72,Ftest/fail/SafeFlagPragmas.flagsNUC>zK%*i $Q kdKnyFtest/fail/SafeFlagPragmas.errgN :t_"1a(c&Z`X^%kp9Yտ9Ftest/fail/SafeFlagPragmas.agdaN#V⤅/e }A ;$u72,Ftest/fail/SafeFlagPostulate.flagsN!~L~QPZ4;§yɧFtest/fail/SafeFlagPostulate.errTN""(-5rXNUI0i\#KP Ftest/fail/SafeFlagPostulate.agdaN'V⤅/e }A ;$u72,Ftest/fail/SafeFlagNoTermination.flagsAN%>j;Aq}z&C5\J-mrS/Ftest/fail/SafeFlagNoTermination.errN&?Z X8;MdW[w5sFtest/fail/SafeFlagNoTermination.agda&ANxJdNO}WZ}Ftest/fail/Rewrite.err&AN RYa3c "y&9FGuff16aFtest/fail/Rewrite.agda]M)#:!p"PsY*!T4C>êFtest/fail/RepeatedVariableInPattern.errC]M*J:}}̶Wk_E3yF#Ftest/fail/RepeatedVariableInPattern.agdaWO#T":&C{ ^|xFtest/fail/ReifyProjectionLike.err=WO$;'M)P[wٷ@6߄Ftest/fail/ReifyProjectionLike.agdamފN)/؀ h9ݪsBw?dmEFtest/fail/RecordUpdatePreservesType.errފN*/LɑPv*'SvbGtLFtest/fail/RecordUpdatePreservesType.agda]M1:zc\<^uvmɕ*nUaNFtest/fail/RecordConstructorsInErrorMessages.err]M2Cׇi gDwFtest/fail/RecordConstructorsInErrorMessages.agda]M+jC &ew1z<~]iZyFtest/fail/RecordConstructorOutOfScope.errf]M,!у5"1^]?T& x\LFtest/fail/RecordConstructorOutOfScope.agda]MҎҦV9Ig+=Ftest/fail/PureLambda.err]M7=QoջIQZvQdV?} "!CFtest/fail/PureLambda.agdaP"bV&,3xvܵ#NՊAaÃ/Ftest/fail/PublicWithoutOpen2.err9]M#mq$<5h}/D57NFtest/fail/PublicWithoutOpen2.agda]M!Ŕnb|)/OÏd Ftest/fail/PublicWithoutOpen.errD]M"!JM ώ?(dNu  2ԮUR3BFtest/fail/PublicWithoutOpen.agdadO+*DihS L~Af~ wDFtest/fail/PruningNonMillerPatternFail.errRdO,K$åRz*,"`];KFtest/fail/PruningNonMillerPatternFail.agdajNM$7q%H UA_5⤪Ftest/fail/PropNoMore.errY]MUGE68IɴTg 25Ftest/fail/PropNoMore.agda\'O?9֊hwƱgx"Y7L20Ftest/fail/Productivity.errsϜ|Nwy;t)Xu^i?vnW/BE'f/Ftest/fail/Productivity.agdaX]M!qlt-ŒI`dnhNFtest/fail/PrimitiveInMutual.err7]M"!p1|j"C6@`FJw)NFtest/fail/PrimitiveInMutual.agdaP/Wx(/JB* kKqN"G_Ftest/fail/PragmasApplyOnlyToCurrentModule.errt]M0NgUJ%{Q%DL_i$;}TFtest/fail/PragmasApplyOnlyToCurrentModule.agdaE]Mmq+LP ׇ@∁L¨u-Ftest/fail/PragmaInMutual.err]M.B:m+f,9: 2 Ftest/fail/PragmaInMutual.agdaK]M!HG򒅕mu?F.0L)2sFtest/fail/PostulateInMutual.err]M"{9koڲs7(P;\,x CFtest/fail/PatternSynonymParameterisedModule.err#ZO2/ y@IEs].TmIr[Ftest/fail/PatternSynonymParameterisedModule.agda#ZO(Jp`48~RIyMFtest/fail/PatternSynonymOverloaded.err#ZO)jڳfkr9APaOkdyu)Ftest/fail/PatternSynonymOverloaded.agda#ZO*{\@œػ`<&=m:JwFtest/fail/PatternSynonymOverapplied2.err#ZO+;LW'!!5go'z_)mFtest/fail/PatternSynonymOverapplied2.agda#ZO)v)z42,b8ZcR3jƠFtest/fail/PatternSynonymOverapplied.err#ZO*79oYY2w86jpF~Ftest/fail/PatternSynonymOverapplied.agda#ZO%T54(m =$M+_&L`I(HFtest/fail/PatternSynonymNoParse.err6#ZO&j:*(T]*ˡo͐%; " gwFtest/fail/PatternSynonymNoParse.agdaXCO)d܋EC5ǝ ,#~̛9Ftest/fail/PatternSynonymMutualBlock.err[CO*Emc|>Fk XO bOn 4awFtest/fail/PatternSynonymMutualBlock.agda #ZO, [sDKK=s( {=˜0qFtest/fail/PatternSynonymAmbiguousParse.err#ZO-MǬel>SMDWV -/HFtest/fail/PatternSynonymAmbiguousParse.agda]M*B5>dd2y2׵U}=RFtest/fail/PatternShadowsConstructor2.err]M+kYs*͙GuЊX ,hQeϫ^D.Ftest/fail/PatternShadowsConstructor2.agda]M)#ݏ6ed6=KfFtest/fail/PatternShadowsConstructor.err]M*כx#_'gRs[I]b:oFtest/fail/PatternShadowsConstructor.agda]M'"8-f͈PVj6\ŁFtest/fail/PatternMatchingOnCodata.err]M(6[,>;l5st0cFtest/fail/PatternMatchingOnCodata.agdarϜ|N!ȶC,oH8n~ aCrtUڰRFtest/fail/ParseForallAbsurd.err]M"Dmi͠LS.Ud]sU  6Ftest/fail/ParseForallAbsurd.agdaY]M]fIu}KQwC2. ^FFtest/fail/ParseError.err]MT)Z,0Co&ɱ +d%sqFtest/fail/ParseError.agdaj]M'ys3yU Bnkp_KFtest/fail/OpenPublicPlusTypeError.err]M(#;_]dwG !jDZ\ZqYWaϊFtest/fail/OpenPublicPlusTypeError.agdaKPEȭ5<5as^xSd.Ftest/fail/OpenInMutual.err]Mۡdgoo m)IXUڞ?Ftest/fail/OpenInMutual.agdaeNL"QLpFy e"@qSܾaFtest/fail/OccursCheck1.errNL"Q?3e!5|I,Kv[\PFtest/fail/OccursCheck1.agdag]M1Ѱ0lewt1Ftest/fail/OccursCheck.err]MtQ4OŶhD*ۆ1G'CY!Ftest/fail/OccursCheck.agda]M)8n=(Ӊi!-#NN }CFtest/fail/NothingAppliedToHiddenArg.err3]M*A͹T*{? 82卵72Ftest/fail/NothingAppliedToHiddenArg.agdaHM*vࠍ=2j( k>zI)ݵC",uFtest/fail/NotStronglyRigidOccurrence.errHM+ ^A#'tG GE.t(cFtest/fail/NotStronglyRigidOccurrence.agdaϜ|N+e6%1h дIv P;{ZFtest/fail/NotStrictlyPositiveInMutual.errϜ|N,T`es Wܯwu9I].Q.hyFtest/fail/NotStrictlyPositiveInMutual.agda]M#5*r')@Ww<(8\hJ.1fFtest/fail/NotStrictlyPositive.err]M$ FigLmjMsʗU5rr x(pFtest/fail/NotStrictlyPositive.agda]MgIf ~G $yfΜ-rFtest/fail/NotLeqSort.errI]Mذsx1+"agiiFtest/fail/NotLeqSort.agdar]Mh)dRWU B.~'?ɂ%;Ftest/fail/NotInScope.err]MuO_LjZA[Ftest/fail/NotInScope.agdao6P:i8xoZp ]Vj"+iTvFtest/fail/NotApplyingInDontCareTriggersInternalError.err]O;Z?PT!g0w@nL UFtest/fail/NotApplyingInDontCareTriggersInternalError.agdaS]Mа=z,)K{.>a8{诮Ftest/fail/NotAnExpression.err]M `{Ż1Ga㤬 aaeguRڮFtest/fail/NotAnExpression.agda]M#= YRn @VnӕFtest/fail/NotAModuleExpr.agdarvO#u LKx݋ӤO$Bl)TJmFtest/fail/NonLinearConstraint.errvO$In&@FopH<߉:3JFtest/fail/NonLinearConstraint.agda]M+}KOb$C^I΢k eJj" <Ftest/fail/NonDependentConstructorType.err]M,PX>ij#sfե0?pܝ~kFtest/fail/NonDependentConstructorType.agdaUIQ,BS$1pP}onDFtest/fail/NoTerminationCheckPositivity.agdazXO#%D/?zc==7x>:Й(Ftest/fail/NoTerminationCheck4.errXO$yOg7:[q WPI}Ftest/fail/NoTerminationCheck4.agdaO#vfR'2<5Dq.6 aw  hFtest/fail/NoTerminationCheck3.errXO$ VI'F6>K/ӱOlFtest/fail/NoTerminationCheck3.agdazXO#JzJWuwϱsxCɷFtest/fail/NoTerminationCheck2.errXO$͗AHMC I` -KD)Ftest/fail/NoTerminationCheck2.agdazXO#=&'VgY=e!>qRR W>?{Ftest/fail/NoTerminationCheck1.errqXO$V*0ex|KQy7hr>tYEb*VcFtest/fail/NoTerminationCheck1.agda]M'aI zWv)bzDl 3+HZ]ծFFtest/fail/NoSuchPrimitiveFunction.errR]M(^[ Gƈs֠ U$0 QFtest/fail/NoSuchPrimitiveFunction.agdaVP!qSX7VPȋ<;Ftest/fail/NoSuchModule.err"]M:K " /F;cfFtest/fail/NoSuchModule.agdaq]M!Ua|@Wo9Xi{}BUB |=heSFtest/fail/NoSuchBuiltinName.errM]M"μo2ˆ\9߶"KPޙ%XFtest/fail/NoSuchBuiltinName.agda]M*|5@F\Fr4&/oFtest/fail/NoRHSRequiresAbsurdPattern.err]M+Z4p5i!>hđFtest/fail/NoRHSRequiresAbsurdPattern.agda]MI9P~L;58,CFtest/fail/NoParseForLHS.err]M\p2 'YalY OL ]F:wFtest/fail/NoParseForLHS.agda`]M%j 67K|>py J}lFtest/fail/NoParseForApplication.err]M&YoUB(uc*8JXP <]Ftest/fail/NoParseForApplication.agda\o6P勺~W]ktV(L\QslFtest/fail/NoPanic.erry XNДϮMwXT,CQH e9_Ftest/fail/NoPanic.agda{XO$Jm|rV))v $ތHUoYBFtest/fail/NoNoTerminationCheck.errXO%%xy5"F])t5ooFtest/fail/NoNoTerminationCheck.agdaO#MoC9Γj{hK ^=pP8lj_Ftest/fail/NoBindingForBuiltin.err,]M$wYܑN*0mDk`zaFtest/fail/NoBindingForBuiltin.agda]M sXh|(y?cPf./ኇFtest/fail/Negative5.erri]M:>xv(aٜvoBlw/OtiFtest/fail/Negative5.agda]M'SVd/`S07ϫmЩKFtest/fail/Negative4.errv]MƲfhlw T\^2vIrǩFtest/fail/Negative4.agda]MP@n(.}9EƄ9Z)) հLFtest/fail/Negative3.errZ]M; QB R- ݰ/ ^|OFtest/fail/Negative3.agda]M='c 8vlS[LC淏naFtest/fail/Negative2.err]MPAemog~ rFSjcFtest/fail/Negative2.agda]MAYߞ| ;Fm4Ftest/fail/Negative1.errD]MU2\U(j\#e9p.@#aFtest/fail/Negative1.agdawcO$WxXFtest/fail/ModuleInMutual.agdaP"++s6\VCiaz/ͿFtest/fail/ModuleDoesntExport.errs]M#js}Cꮮ5h~ |}=rgFtest/fail/ModuleDoesntExport.agdaP(|_{Gwc=C@WsS|E3=0rFtest/fail/ModuleDefinedInOtherFile.err:]M)H#Ăg`Zke'di}QWFtest/fail/ModuleDefinedInOtherFile.agdaH?WO#0XoaY4S ?SSDdEoFtest/fail/ModuleArityMismatch.erri]M$(* _x6SR3ᑔFtest/fail/ModuleArityMismatch.agdaB]M"S!}͐xj} 1a+vFtest/fail/MissingWithClauses.errS]M#T֛)\uy=;0FAFsFtest/fail/MissingWithClauses.agda]nP,̈6$ L>XN+u8?:$4Ftest/fail/MissingTypeSignatureInMutual.errnP-p?Cz}~m}67L+ ~}Ftest/fail/MissingTypeSignatureInMutual.agdaO$/Ú*L@/ &ϧmދ=׆eFtest/fail/MissingTypeSignature.err]M%6,SbI<>ڜjk_bewkKFtest/fail/MissingTypeSignature.agda6]M! 4-v2ȑֵ-YSՍFtest/fail/MissingDefinition.err1]M"]yajoBl 0oә%{!Ftest/fail/MissingDefinition.agda~ sP&!V (5s Z'3XumʩFtest/fail/MisformedTypeSignature.errB sP'| &ȋmVbhҿ~?$`u7ll;ٟ͙Yw@~UvmFtest/fail/MalformedModuleNameInIMPORT.agdazPȚKkxaǞ-mKFtest/fail/MakefileWOBT^K|ήϺw$֕mӗ,_Ftest/fail/MagicWith.err]M >"㜳YgGcؔKT Ftest/fail/MagicWith.agdaf/zN&piX#@z%a.UUyS'NFtest/fail/LostTypeError2.err qNbfd'U!ybY5mFtest/fail/LostTypeError2.agdae/zN4\)C8cr }]CލʵD 3^Ftest/fail/LostTypeError.errqNЅ>IId_(6f&|sоe|}Ftest/fail/LostTypeError.agda]M*1uJ=a!* ]!zQZFtest/fail/LocalVsImportedModuleClash.errm]M+˥Om|XkƩo.[rrdF Ftest/fail/LocalVsImportedModuleClash.agdai$P Y>~si|K.! SFtest/fail/LevelUnification.errN!}V6&|MM2Ԯ&/Ftest/fail/LevelUnification.agda~N>fd.ސٜk.,wWk!Ftest/fail/LevelLiterals.err;N`v8Qofh|ՉF3$H) }IFtest/fail/LevelLiterals.agdaUOs<[ @=!lxCAJ vIcFtest/fail/LetPair.errON!dxEa^ ~ZvFtest/fail/LetPair.agdaNL"Q '-4 oj2W85L%mFtest/fail/JasonReedPruning.err0NL"Q!F{EU # ! W g&"sj9& N\Ftest/fail/JasonReedPruning.agdaWO C53l@r8 d4TbFtest/fail/Issue87.err]M=c“UJ{Q1D3Ftest/fail/Issue87.agdag7Q:GE3S㍎GXA-:_uFtest/fail/Issue852.errg7Q!3 t}X4/+f]|F ÞFtest/fail/Issue852.agda{mjQOTQOR^N?3wmplFtest/fail/Issue849.err-mjQ[mӻﳸ\yGT^&JFtest/fail/Issue849.agdaOQ]{ r mj\9\q DZloFtest/fail/Issue847.erryOQ5!DeZmQNf xGFtest/fail/Issue847.agdatQZ15r?q Ar}(qڰArFtest/fail/Issue842.errQ/ xU&>H/l13B!!]M"Ftest/fail/Issue842.agda7@iQ.F8yNobuXwL>kvFtest/fail/Issue830.err7@iQSgImZ=}S2\DFtest/fail/Issue830.agdaqNQβ;n =b>S_exeiFtest/fail/Issue829.errSNQ֯ s뷆$.}YF bdXFtest/fail/Issue829.agdaZJQ=~MٕdCIY^fdFtest/fail/Issue822.errzJQ fswiN_^J94Ftest/fail/Issue822.agdahCQ9Bۛqag5/ɦ6{lFtest/fail/Issue821.errCQՄיBXyJ>&UF)ZFtest/fail/Issue821.agdaMH:Qeˈ[hz*l__&Ftest/fail/Issue818.errMH:Q! 7CU>S1C0;(TsWO 2Ftest/fail/Issue818.agda-QV7мKLkIӀog{ŚƐxFtest/fail/Issue801.err-Q*}%=YQ*~OiʑCR5$cFtest/fail/Issue801.agda1,QLVER.yc _ c=a,p-h)Ftest/fail/Issue799a.err1,Qr㢾ljbNzPg*TuZ]Ftest/fail/Issue799a.agda1,Q T6euP"-*gƊyYFtest/fail/Issue799.err1,QG5^α |{7ޥCu5լFtest/fail/Issue799.agda__%QGr V]*J8@apӝlkFFtest/fail/Issue796o.errn_%Q|Bӂ2,yB7vxdFtest/fail/Issue796o.agda^V$Q iu}MSޫWLt} [Ftest/fail/Issue796.errV$QH#hrC1]H惇mFtest/fail/Issue796.agda*"Q VWey 圡CX*BFtest/fail/Issue787.err"*"Q9NW.jG ¾jyI.|[lFtest/fail/Issue787.agdaj%QE6 P !*O"/i#t$ ر.Ftest/fail/Issue782.err%Qp揆D,q.~h$h'&F3Ftest/fail/Issue782.agda MPζԬ~A$ zQrE: Ftest/fail/Issue765.errNMP2sTbnFD,;Ftest/fail/Issue765.agdaZP~SGv r@e~k=|3IrL@Ftest/fail/Issue759b.errZP*]uA?QUIR[NޮBdwFtest/fail/Issue759b.agdaZPU'^jcov,C-}VKRFtest/fail/Issue759a.errZP%a#N Z70dZWO-NFtest/fail/Issue759a.agdaqP a9SG.F!K=sAgTXQFtest/fail/Issue755.errJP`.ԹTITC̑ ŵ E7YFtest/fail/Issue755.agdaF/QE{xKί0%,6и Ftest/fail/Issue738.errЎPr)MѼ7@Q &?c)Ftest/fail/Issue738.agdaTP 4w-Y!|"D4?EFtest/fail/Issue735.errTPI J'12Y Oj" di7bJDFtest/fail/Issue735.agdaV$Q#~PvUSH} +Cf<"LFtest/fail/Issue723.errNL"Q̲Dqhճ6gTzn!LFtest/fail/Issue723.agdal#P>Rf9bGH:ȴlׅ6dFtest/fail/Issue721c.err)#P{(Ld@mlrGLtEYz6uFFtest/fail/Issue721c.agda#P @:,.`q_by VnFtest/fail/Issue721b.err#P nHEab[s|ZČp~oVvFtest/fail/Issue721b.agda#PaI)(>% 2GdRFtest/fail/Issue721a.errz#Py-]8]/MHre,MHxFtest/fail/Issue659.errpkOpW@|XګoN=(.t~Ftest/fail/Issue659.agdan-Q:IT4?<ˈ#om]+Ftest/fail/Issue653.errn-Q3-_<<%9;<>j0?y8Ftest/fail/Issue653.agda{ Pgs*?8ߛJ\JclGFtest/fail/Issue644.err PogJTL!GB߮)cnFtest/fail/Issue644.agda_O("\uVy`ɾdK#Ftest/fail/Issue636.err_OF62Ql䇬b6ZYRr%.y].Ftest/fail/Issue636.agdaEO*rA+i ynALtxP! Ftest/fail/Issue631.errOH~ [`1O׵4"Ftest/fail/Issue631.agdaxUO*e%2J!=8.hoȐisFtest/fail/Issue628.err.UO쨞pv,r؏u/ OFtest/fail/Issue628.agdam]M1ZEǯ̄:6G2?nK6Ftest/fail/Issue62.err]M<+~ 5j?Tm#"Ϛ/N0@$kFtest/fail/Issue62.agda#O;Љ(I:r;cGxI %zFtest/fail/Issue610.err #O/pݩ.W,nj{H\Ftest/fail/Issue610.agdaz#OPV0jGWRt9NEFtest/fail/Issue610-4.errL#OJy&%g.tgkEWWAr\Ftest/fail/Issue610-4.agdaxa_OD,5v@`ªM^(AWGG`tۦ1oFtest/fail/Issue586.flags8 ^O@p/GRfWrh=(`3jn;Ftest/fail/Issue586.errHf_O2B)70\ pl#B?UW.D*^IFtest/fail/Issue586.agda^j|_OOuu'Ҵ st*9rB*ȰFtest/fail/Issue585t.errOj|_OL1O6fGad"RFtest/fail/Issue585t.agdav(bO<ә \Ũb,j PmphFtest/fail/Issue585.errm(bOO#Z%Ȇ4*_ (cXU5aFtest/fail/Issue585.agdad(bO}r (VI>/7ɫXdFtest/fail/Issue585-11.err}(bOޅLeAA/\=8k=yLj{t9Ftest/fail/Issue585-11.agdaknX|Ol98;'9gěEFtest/fail/Issue580.errJnX|O"}|J>7DKM]f9ƧtFtest/fail/Issue580.agdaY:Oq.:R9&=.ZUjFtest/fail/Issue562.err:OF<8i ]ZhT䓲=SǏh=KFtest/fail/Issue562.agdaP WO[?A #/ f9Abz Ftest/fail/Issue555c.errk WOJWk 9 UC#:s@YrJyFtest/fail/Issue555c.agdaS WOKruQF/VN`n6G&3dz\b+fFtest/fail/Issue555b.err,OxLȻOaYXƸsvFtest/fail/Issue555b.agdaR WOU~LLX._9V{Ftest/fail/Issue555a.err WOv?%~=Ϲ g(4"B^Ftest/fail/Issue555a.agdaQ WODSϵL3 442$Z no#pFtest/fail/Issue555.err,O~4MI"P gUaTIEItdFtest/fail/Issue555.agdaw@0DO P&ýsg*G&wnFtest/fail/Issue551a.err.[ OŞ.&c1}cQROFtest/fail/Issue551a.agda[ O4O5jcdj2*sz`ݮR71iyFtest/fail/Issue551.err[ Oi(EO*j`uam=qֺFtest/fail/Issue551.agdaTHcOM$2P5!#ge~0q_FFtest/fail/Issue549.errHcOPMڦ!-Eiı! ^$3Ftest/fail/Issue549.agdaa[cO k (G#Lo%}Ftest/fail/Issue546.err[cO+fFxh#^( j8,Ftest/fail/Issue546.agdaTxP~yNa^PS4%Ftest/fail/Issue543.err]O-z:B&δ݅(>bm1@NHN{DFtest/fail/Issue543.agdaGߑO4L>V2/Z˟&ҢYSEhˢ%ǃFtest/fail/Issue530.errO+Oewpy(CJvRMyCA6EpՂ =t74gFtest/fail/Issue526.agda$Ns^[DzJ呁L*ێyAFtest/fail/Issue512.errg$N۬\\|5k8MųČ!Ftest/fail/Issue512.agdaNAC]ٿ1U-mהhR ]Ftest/fail/Issue503.errsNi(RKx%(r˼'{|VnfRFtest/fail/Issue503.agdaXOOy3Lztb3"e5?L])Ņ56Ftest/fail/Issue485.agda_rN "t39I9Mޮڟ 9!DFtest/fail/Issue484.errrNb̈ HFX(EFtest/fail/Issue484.agda^qO- kpt7BZ23+y{_&Ftest/fail/Issue483c.errqqO$<ܹ6=Pa6k}f:tFtest/fail/Issue483c.agda`܍N>Bt㶫?r)CdP''nFtest/fail/Issue483b.err܍NF8F R8b֊Ftest/fail/Issue483b.agda`܍N-#:i*3\539̓=ܿ:xFtest/fail/Issue483a.errLN;/z{hg_&j B iX[Ftest/fail/Issue483a.agda\܍N$W̴T./ 39Ftest/fail/Issue483.err܍Nn-ډܞ3;v5b"ܠFtest/fail/Issue483.agdaP^ag'纴l]Bm;J!]Ftest/fail/Issue481a.errP [Jp @P]adFtest/fail/Issue481a.agdaHP)CW}#:(рn#~q<LBFtest/fail/Issue481NonExistentModule.errzP*Zҷz`w=.<&xOFFtest/fail/Issue481NonExistentModule.agda+zP.nq+u@ !=wP.Ftest/fail/Issue481InstantiatedImportOnly.err{zP/b'V>N4ΐSoUH WFtest/fail/Issue481.agdapN?fG?וiVᇭ$HFtest/fail/Issue478c.errNkcV. A6 adQ#0GBFtest/fail/Issue478c.agdacN0ٲsC띜 Z7/Q\իk?P唣rjFtest/fail/Issue478b.errNɃ8K$SLæ ^YW8Ftest/fail/Issue478b.agdacNp|r-U϶C¿'V='~xFtest/fail/Issue478.err#PEkQwg/b~Ftest/fail/Issue478.agda25)NCR쁬UT:f"xhFtest/fail/Issue477b.err85)N0Y9Ed hq:4O}MFtest/fail/Issue477b.agda15)N7v;\ۦ>wO\lFtest/fail/Issue477.err,5)NޣQ^4Az^?!+4i)dpH~CrlFtest/fail/Issue477.agda[+N7m6^M8?ՈK]:ԙ8Ftest/fail/Issue476d.err+Nf CqZy[7CeyLT=5Ftest/fail/Issue476d.agda[+No[K* (_1ߜߨwOFtest/fail/Issue476c.err+N*`9% M.Zn9K[@Ftest/fail/Issue476c.agdagPI9PGuؘmބ_A7ޤ1BFtest/fail/Issue476b.errR+NIuxW~}1i8Sq1Ftest/fail/Issue476b.agdagPcCO>ی#S4S,oc+qFtest/fail/Issue476a.errH+N('jy:p6p ƻK4R:Ftest/fail/Issue476a.agda_#LQ}f܀|c䂶,<^ Fg) *KFtest/fail/Issue473a.err#LQnf}fΨMV8p蚑ڱ#O%9Ftest/fail/Issue473a.agda'SwNm\FNܫ_ xrA|̞Ftest/fail/Issue464.errV'SwN 'F@*Q*}_}J{vFtest/fail/Issue464.agdaNJ.e^h2V՜7]3C(Ftest/fail/Issue461.err>N`-ӘjAqRxE $ſFtest/fail/Issue461.agdaEdaOu%) KS |;E9l`YFtest/fail/Issue452.err\hN1ub2؍୪uu @H$CFtest/fail/Issue452.agda}kNKCx .- MM{s8& Ftest/fail/Issue444.err :jN-Hڿd)z>XBU! %Ftest/fail/Issue444.agda]OOk7"Q'Vzy#e%Ftest/fail/Issue427.errs|NQ=cKyn4P,~FFtest/fail/Issue427.agda.uNj8јE?wlJw6^O4d bFtest/fail/Issue424.err)uNkSZl2w5>0T3\FGFtest/fail/Issue424.agda^NMRc [r+L6:%VFtest/fail/Issue418.errNMe,_` |i#q^lFtest/fail/Issue418.agdaF/Q`ifPI *a-~(Ig7Ftest/fail/Issue413.errBgNp1@ɣQD-u咮\ Q: Ftest/fail/Issue413.agdab O a@%_ <8Y:BO a Ftest/fail/Issue402.errd OI4BsZڒ2%"[]Ftest/fail/Issue402.agda%Q^cÉInE Co5Gd/Ftest/fail/Issue4.err%Q<ѣ>SH+eYR^Ai&m|=/À(lURPFtest/fail/Issue390.agda-QuS=r?BoiK<(Ftest/fail/Issue385.errm-QlKaBgr3&Ftest/fail/Issue385.agdaiMzbkuYU"7ͷjт%FFtest/fail/Issue347.err]Opdz" bٶ YjU=Ftest/fail/Issue347.agdawkN7 ä$l$NE&kcah͡ E5`NFtest/fail/Issue334.errkNDhX@)5 ݑF4Ftest/fail/Issue334.agdaz%MvhBMbR;Vocx<Ftest/fail/Issue332.errxz%MSy%.DD]fNiC^vFtest/fail/Issue332.agdaMsdNwӥ?՞8Ab̢Q!~5?{;S$Ftest/fail/Issue329c.errNsdNz(Bg~ҭ'Y㯍n峹VFtest/fail/Issue329c.agdaMsdNdQ f;֛?MFtest/fail/Issue329b.errOsdN jpLOLZW0{s-Ftest/fail/Issue329b.agdaLsdNpw[_k6mpi#|(@$Ftest/fail/Issue329.errLsdN*RomTʎ=B ZwFtest/fail/Issue329.agdaB]M[3:y|e"\EFtest/fail/Issue328.err]MD'9[jf4FbU!l9Ftest/fail/Issue328.agdaULsPgn;zaW"׸As)_v;Ftest/fail/Issue308b.agdaNDiz7M-rdڧ(2vFtest/fail/Issue308a.errf]Mg\t]WHÀ|RMנ˺Ftest/fail/Issue308a.agda27/QSE9SҚ%ΟV^-Q Ftest/fail/Issue295.errA27/Q{;Rj\^Ma l$(,Ftest/fail/Issue295.agdaF/QuY.Ƚ! 2OZ;eEFtest/fail/Issue292d.errwNy[6&o2"Ab?`Ľ?hI9Ftest/fail/Issue292d.agdaq#Qu@ɢ[v`4W*LsFtest/fail/Issue292c.errQiNM!4ĀnG TsfRIKFtest/fail/Issue292c.agdaiN}[cʰ03"۠ <$/Ftest/fail/Issue292b.err#Q?>Jp*5Ftest/fail/Issue292.err1M[FQ'=L%_ OjFtest/fail/Issue292.agda#QtCk,1R#nBU$UZFtest/fail/Issue291b.errlM-UӭڤVN [Nd1Ftest/fail/Issue291b.agdaq#Q͍p_' hwwKFtest/fail/Issue291a.errXlMR8w7܂ž2BhDFtest/fail/Issue291a.agdacM^ug"!_EB3X2n<~Ftest/fail/Issue280.errcMSTn\*qD9¨b4-L!CRFtest/fail/Issue280.agda]M~Z @7):yI0n\Ftest/fail/Issue279.errtFOIn.#( VZR+GDFtest/fail/Issue279.agda^KLQ49ݻQGXظ2e]oFtest/fail/Issue279-3.errKLQ+xƌǠ,XSX%2 Ftest/fail/Issue279-3.agdatFOUKR)xSlD™2/Y|kFtest/fail/Issue279-2.errtFO+FES3riMOt2)Ftest/fail/Issue279-2.agdagP80ь `İM5DkFtest/fail/Issue278.errN%ylBENpi݈'F;0&{4Ftest/fail/Issue278.agdar]MthHMMF Ng]iÇzёFtest/fail/Issue274.err]MFؕ9ӗ˺~a+x10Ftest/fail/Issue274.agdaULsP`N%.F<3ZJ*O]Oq~Ftest/fail/Issue260d.err]MX !v$̞3CC%+}Ftest/fail/Issue260d.agdaULsPk}Nib6c BnKFtest/fail/Issue260c.err]M1>v郒:=m{lEvFtest/fail/Issue260c.agdaULsP-h ȤKMjv-_QOR}Ftest/fail/Issue260b.err]Msrhu͵jOAAw_bLo%Ftest/fail/Issue260b.agdaULsPLN0{ߥC"6eDOzFtest/fail/Issue260a.err]M$1h^٥>c@! Ftest/fail/Issue260a.agda{kNsg.[_˅`` eUFtest/fail/Issue256.err~N5qZCJi|,ta&$.>Ftest/fail/Issue256.agdaPf\֘RECRckGcWpFtest/fail/Issue249.err]Mz-Z NwVM>TeSvrOFtest/fail/Issue249.agdaPcʪ|/»s%/k7F$~T3*(8Ftest/fail/Issue249-2.err]M,c-59uj I@'0&Ftest/fail/Issue249-2.agdarN_㵲hAFX"d8XjM%Ftest/fail/Issue228.errwNp{PծȾผJQDo-Ftest/fail/Issue228.agdarϜ|NzJYy#ax̀"^1^Ftest/fail/Issue217.errE]M +3V<"*2yjNB:XNFtest/fail/Issue217.agdaqNV^N=Ђ3pG$=NXS~cFtest/fail/Issue216.err)N!"3 yY'@秪ү @-Ftest/fail/Issue216.agda]MXuO'Ɉ:[d[ފ^ĢTFtest/fail/Issue215.err]]M#ZNYR p`'x. 8cFtest/fail/Issue215.agdaNen 1kjON6113Ftest/fail/Issue206.err`8N jDS'裏n?]$Ftest/fail/Issue206.agdam]MYf!5dپ|, HN>Z$Ftest/fail/Issue205.err]MwShA// \F1KcpFtest/fail/Issue205.agda_N.)WjB %8[{ fRFtest/fail/Issue203b.errN˫I`Yq;hi;<7"lwFtest/fail/Issue203b.agdaNwd>gX%1ؓW-^ިbkoiFtest/fail/Issue203.errNU)%{u;Q;_'6]Yd\Ftest/fail/Issue203.agdas|N`4] O k>?,]/\\[ Ftest/fail/Issue202.errs|NBϮNMp:yp DXFtest/fail/Issue202.agda|2[oP Q@T;fٕJ9Ftest/fail/Issue183.err(MOܟ_nʰ͹o WQrׯFtest/fail/Issue183.agda`]M߹4j$DF^5mYPYPȈtFtest/fail/Issue160.err ]M%>b `5-<#Ftest/fail/Issue160.agdaPd`*E%58PMY\eFtest/fail/Issue154.err]MH#YJNPD¦9x[;#pFtest/fail/Issue154.agdaC]M!GMsSzfh\xFtest/fail/Issue138.err]MU_Ɉi+17 WFtest/fail/Issue127.errt]M6|BY";ig٨ Ftest/fail/Issue127.agda]Mh͚,&:f_KF8C1#1EʖJFtest/fail/Issue121.err]MBu0{{ ψNn8X$Ftest/fail/Issue121.agdaϜ|N ":$ȧ+bx_m8I Ftest/fail/Issue118Comment9.errϜ|N!g5aF( CsJJFtest/fail/Issue118Comment9.agda[]MN.(uڙqtsz_,ow*CFtest/fail/IrrelevantProjections.err]O&GRAiWACo"y*0 }RFtest/fail/IrrelevantProjections.agdaZlN*;[o6Y>枭*@4 [9pFtest/fail/IrrelevantModuleParameter1.err0M+O$5WMY/Ftest/fail/IrrelevantMatchRefl.agda]N$}՘^h_PF» =?EMa6Ftest/fail/IrrelevantLevelToSet.err]N% U3h դB+v궽<FFtest/fail/IrrelevantLevelToSet.agda]N&\$tP&Ba\xn[+8Ftest/fail/IrrelevantLevelHurkens.err]N'ʵi.;σ"vƑb MFtest/fail/IrrelevantLevelHurkens.agdaOO kű;.T$ #_=ˎ6Ftest/fail/IrrelevantLambda.err0M!,+6ʼnw)A Wb|7 vFtest/fail/IrrelevantLambda.agda{o\P.ߍ%shn/t3i8]B2 6hFtest/fail/IrrelevantIndexNotInconsistent.errgo\P/J+[xnB K巗-ЂFtest/fail/IrrelevantIndexNotInconsistent.agdaZlNT#8AihqC<Գ .BFtest/fail/IrrelevantFin.errd0M)e* DPzʫqE3sFtest/fail/IrrelevantFin.agda:M%3X?Rܦeluk=&[-Ftest/fail/IrrelevantFamilyIndex.err:M& noXH{70 xbP.KS*Ftest/fail/IrrelevantFamilyIndex.agdaZlN,B5.D88l?7- H)nmL>Ftest/fail/IrrelevantData.errzMg >t-/Q85"&CFtest/fail/IrrelevantData.agdavP,'t3AzN ʶn@ZFtest/fail/Interaction-and-input-file.flags#ʕ}P*|9}p6P0Z"#?Xćf}[\_fFtest/fail/Interaction-and-input-file.err(vP+=wM,wQ)# A76hFtest/fail/Interaction-and-input-file.agda~#M)E) m4e¤kXB*fuhFtest/fail/InstanceArgumentsNotFound.errm#M* [nH*w!倂y;<U")}Ftest/fail/InstanceArgumentsModNotParameterised.agdaM,qUVQ0 qɩP<4܉LۓFtest/fail/InstanceArgumentsBraceSpaces.err[M-OBx 7R!Ժ½=+GFtest/fail/InstanceArgumentsBraceSpaces.agdaT"M*9PB\tza˔IVs;l\bFtest/fail/InstanceArgumentsAmbiguous.err"M+/yfނY!dd۶뤒y\qFtest/fail/InstanceArgumentsAmbiguous.agdar]M)x߾v@/,n bK(Fn7-lIFtest/fail/InjectiveTypeConstructors.err]M*A8?{ŭF#,A:o)5Ftest/fail/InjectiveTypeConstructors.agdaqN4U ·B+$-$4/IԜpEVFtest/fail/Inference-of-implicit-function-space.erriN5A;%m,r0~8 ;UWFtest/fail/InferRecordTypes-3.agdaOO" *ϭc>+mZX0|BJFtest/fail/InferRecordTypes-2.err$eN#/Z 0Q־7"61Ftest/fail/InferRecordTypes-2.agdav$eN"~J$=iӞ >W[B'@gFtest/fail/InferRecordTypes-1.err\$eN#ԍhcwЅm*WFtest/fail/InferRecordTypes-1.agdaCϜ|N3WBn&ܔH Fn꘦TFtest/fail/InductiveAndCoinductiveConstructors.err O*l &΂hd+:sD ʮ%zGFtest/fail/IndentedCheckingMessages.flagsG O( 0P\=@PߊFtest/fail/IndentedCheckingMessages.errG O)0f'Ak8|ksiPFtest/fail/IndentedCheckingMessages.agda]M)9yFhDYEc5_y Ftest/fail/IncompletePatternMatching.err]M*VLע ;|d̢ІlwWD'/Ftest/fail/IncompletePatternMatching.agdav]M;_`2TF< Y84Ftest/fail/Impossible.err]Mz+`z Ƚ7DrFFtest/fail/Impossible.agdaLc`tǵB3 \Iů]<:!Nrm*-deFtest/fail/Imports/Coinduction.agdaF]M {‡x#F.thX H%TeԀI?AFtest/fail/Imports/Bool.agda,]M޲iɓNdnW#8 LMSFtest/fail/Imports/B.agda]M#Bșo$'AdLxRUFtest/fail/Imports/Ambiguous.lagda]M"Bșo$'AdLxRUFtest/fail/Imports/Ambiguous.agda,]M޲iɓNdnW#8 LMSFtest/fail/Imports/A.agda]M`I&;ŗT2U<LFtest/fail/Imports/.cvsignoreOPgۚHB6辤Bȼc#&N6PlFtest/fail/ImportInMutual.err]M PaZENF{bO $̦XFtest/fail/ImportInMutual.agdaz]M$n1ѓyFF21OBUk]Ftest/fail/ImplicitRecordFields.err]M%F=FZg@i%<.KҞs^>Ftest/fail/ImplicitRecordFields.agdaX]MFhaԙS?Y7!?I?vFtest/fail/IlltypedPattern.err]M P TzT?'z_H?OZ[=R Ftest/fail/IlltypedPattern.agda}O1 q$’QCmM*A͢!#[Ftest/fail/IllegalUseOfIrrelevantDeclaration.err]O2yNJMI\PJ[=Ftest/fail/IllegalUseOfIrrelevantDeclaration.agdaZ2[oPr$PmAײwTs9~?kFtest/fail/FrozenMVar2.errNjo_N y@>V)G+Ftest/fail/FrozenMVar2.agda_sMF1Xlz Jt2H1uFtest/fail/FrozenMVar.err\sMyt!>48^nҪi^Ftest/fail/FrozenMVar.agdaU]M(6٪Xc=U$Pe p!J;M3Ftest/fail/FixityOutOfScopeInRecord.errM]M)FuZܴ]J߬\TFtest/fail/Crash.agdaaEO?s]0wq,;Aϩl8̍m +Ftest/fail/CorrectPrintingOfVariablesInSortCheckingForData.erraEO@\*kZ()ǔͺ#'Ftest/fail/CorrectPrintingOfVariablesInSortCheckingForData.agdawcO))eA?@im_d V-cbFtest/fail/CopatternWithoutFieldName.err wcO*-B3\t%6^e)jǠx1`Ftest/fail/CopatternWithoutFieldName.agdaO',ъqֲ 3:=mUo|Ftest/fail/CopatternNonterminating.errvO((i\y0 $b @vFtest/fail/CopatternNonterminating.agdaO$GVĒ= ='r\:ԌDFtest/fail/CopatternCheckingNYI.errO%*x/$>6n#`Ftest/fail/CopatternCheckingNYI.agda1N3|lӫc;XBMXs1IFtest/fail/ConstructorHeadedDivergenceIn2-2-10.err1N4~߱X&>$:t(M 9ɌFtest/fail/ConstructorHeadedDivergenceIn2-2-10.agdaTNDpn]_.bV'8ՑFtest/fail/ComplexIMPORT.err8]MMu^]kYu&q80M Ftest/fail/CompiledMustBePostulate.agda6O5gltL66ab~hrz<_ErFtest/fail/ColistMutual.err6O6'z,c;3j.CеFtest/fail/ColistMutual.agdaKO%lz)IL["$4SeG_r&FFtest/fail/CoinductiveUnitRecord.errKO&a[1PUL ~<"ܫׯsdFtest/fail/CoinductiveUnitRecord.agda]M-M[4Fِ-)6+@| [J6Ftest/fail/CoinductiveConstructorsAndLet.err?]M.z)~1Ӥo3?҂BF/NFtest/fail/CoinductiveConstructorsAndLet.agda]M)UjED~! s"rxj2k:Ftest/fail/CoinductiveBuiltinNatural.err]M*˦`:)%%Ӈ6=r!.S9TFtest/fail/CoinductiveBuiltinNatural.agda]M&1(_ցG}>"u`WjYFtest/fail/CoinductiveBuiltinList.err]M' 0œr0$Psf^_PV(CGFtest/fail/ClashingModule.agda]M}ܶ~fBaO$930#MSASFtest/fail/ClashingImport.errt]MԤ`rԪlꩳ&y ̝B#Ftest/fail/ClashingImport.agda]M"J7 4>O?K,ƞ>Ftest/fail/ClashingDefinition.err]M# di+E uQ4%Zi6&Ftest/fail/ClashingDefinition.agda2[oP#aM_˥_O!BJb㨀Ftest/fail/CheckSizeMetaBounds.errl>biP$"{;C¼S aTQϸl hs'}Ftest/fail/CheckSizeMetaBounds.agdaOsN4u秳W* |EêV.K䀈Za3Ftest/fail/CantOpenConstructorsFromRecordModule.errOsN5PUdܡ0`y/0&yFtest/fail/CantOpenConstructorsFromRecordModule.agda]M(:v ŀzp⣤?u4-,Y>ތFtest/fail/BuiltinMustBeConstructor.err]M)BƧ爷 8ʞn4>AQZFtest/fail/BuiltinMustBeConstructor.agda]M,2窎'wde+2N|ui)Ftest/fail/BuiltinInParameterisedModule.err]M-sԣCMrKU{u箐ݟFtest/fail/BuiltinInParameterisedModule.agdaO4D?AD)򙣗d,"Nx2̪GʠD`Ftest/fail/BuiltinConstructorsNeededForLiterals.errO5 /ر*;p(7L!)\,7%Ftest/fail/BuiltinConstructorsNeededForLiterals.agda@;sP6%3\DD%|oV*#2Vt՝;Ftest/fail/BrokenInferenceDueToNonvariantPolarity.err@;sP7keI!s؆s_P 4+(v93Ftest/fail/BrokenInferenceDueToNonvariantPolarity.agdabbP"mXډr]3 1+h%SYxXZFtest/fail/BoundedSizeNoMatch.errbbP#i9 A4ǘ93 D~ObNlFtest/fail/BoundedSizeNoMatch.agdakN8Zk"r9^P 4Ftest/fail/BadTermination.err  Oo85 A s ;T9*b}R:Ftest/fail/BadTermination.agdaϜ|N&zᯍEF!\o ݲpr`Ftest/fail/BadInductionRecursion3.errϜ|N'nWk;w8(l1W4 `AFtest/fail/BadInductionRecursion3.agdaϜ|N&tJ̪\uc,(9;/|LFtest/fail/AbstractBlockInLet.errM#:׺T직j7Ba5 \ Ftest/fail/AbstractBlockInLet.agdajϕjX&eBu nZNFtest/fail/A/B/M.agda]MĤT4+8>]0bԞIFtest/fail/.cvsignorep {gq8m=ki1^&Dtest/epicr[qVZVU_{5WON wA\FDtest/epic/testsBșo$'AdLxRUDtest/epic/tests/binr XN 6g0j罗w_!e?H+m\4,Ftest/epic/tests/String.out XNR!`Cl 5=[ ~"N Ftest/epic/tests/String.agda XNri_ѺSQQlSǨXF Ftest/epic/tests/PrintBool.out XN ᇵ-iloACXGKؿMFtest/epic/tests/PrintBool.agda. XNn+ >jj$vmį0 X򝭻Ftest/epic/tests/Mutual.out XNSPuߪw鮣YN V͉bTFtest/epic/tests/Mutual.agda XN,Uski{'O> +DžlIQjFtest/epic/tests/Literals.out XNV'28I;u= #32j.h%-zFtest/epic/tests/Literals.agda XN>_^& tHUtAy[" FGiFtest/epic/tests/Forcing3.out< XN~sm f :)Aqv՝1CADDFtest/epic/tests/Forcing3.agda XN]p8ĀxghU!v֥#ٟFtest/epic/tests/Forcing2.outT XNN05@8+wI_)ģaP1ζLFtest/epic/tests/Forcing2.agda XNtOU OkvlW7h2aVFtest/epic/tests/Forcing.out1 XNiI $N,8!}Z RFtest/epic/tests/Forcing.agda! XNJmSX JǕ̏t ݀JL'jrFtest/epic/tests/Coind.out XN xc5o&mvU`>Ftest/epic/tests/Coind.agda% XNi CT\cr ?S=L6-2 Ftest/epic/tests/Cat.outn UsrPjp.hk龮l,YS`9Ftest/epic/tests/Cat.agda XN"$Q.Jb倻 3ڊHN|EFtest/epic/tests/Arith.out XNVI-q;4Jj/3U&0Ftest/epic/tests/Arith.agdayUsrP8}kHj"&.ĕM޶ހFtest/epic/RunTests.agda(L%*(Ym=3%&Dtest/epic/Preluden XNpv *VKyK!'\$Y[qeFtest/epic/Prelude/Vec.agdaa XNQ-l_4(F\[-}LzFtest/epic/Prelude/Unit.agda XNvvg{9`HDi Ftest/epic/Prelude/String.agda XN{" uoLgN(gs ]ь<^2sFtest/epic/Prelude/Stream.agda XN ƺ-Ց9ӌ}|aQ-I9Ftest/epic/Prelude/Product.agda XNU߭tJ-Fğ9@)',1l~rSeUĉ~: ʛT(kFtest/bugs/Issue166NotSized.agda4]M"/8z{^I6FGFtest/bugs/ImpossiblePattern.agda_]MeRußkec3{~<)MFtest/bugs/FamilyPattern.agda]MĤT4+8>]0bԞIFtest/bugs/.cvsignore<+ 4|(JTQDtest/CommonC9O:yt#8GQJ1xE㬩?Ftest/Common/Size.agda #Qyh/}55QmѥX2B#Ftest/Common/Reflect.agdaedOK} l7BtAw)vHR" Ftest/Common/Product.agdaFPYEL|ZÏ4 2a 5mE<Ftest/Common/Prelude.agdawP'9:߿[R#~ %:u)h[Ftest/Common/MAlonzo.agdaEXPFh0/\NFag2vpR3DFtest/Common/Level.agdahP-S<{Q&({ଚ!=Ftest/Common/Issue481ParametrizedModule.agda{O8Z9tb |^VJFtest/Common/Irrelevance.agdaP?x!JJv!r(7ɎFtest/Common/FFI.hsOPQXezXBc[Dm?;[Ftest/Common/Equality.agda~INXAr;a V\]r/H9LFtest/Common/Coinduction.agdaL_Q|O@+D}PDVbJQp@ *Ftest/Common/Char.agda]M)R} 3^N!ٳ4E67ԛFtest/.cvsignorePRmP?bG&~9uDsrc8 ( 0dR2{;k!jJ]Dsrc/translH,Bșo$'AdLxRUDsrc/transl/testD]MF|'lC Hq\]JFsrc/transl/agda1to2.cabal7^|=1fE4o9 g~ïvͤ^=Dsrc/transl/agda]Mr FI._3hqQ%g\Fsrc/transl/agda/config.h]M뉤 b[\W.(ad D|<H4Fsrc/transl/agda/Utilities.hs]Mf?EvM8jY\aTKFsrc/transl/agda/Util.hs ]M|]uvf 8Fsrc/transl/agda/PreStrings.hs]ML5bB#&mU)=ڠOmEFsrc/transl/agda/Position.hs]M#u[閩M NBBWE:3!Fsrc/transl/agda/PluginType.hs$]MJQE[Da4:ΛxC O"SFsrc/transl/agda/Parse.hsY ]M+|"8ʼ*_^E(6PC)RFsrc/transl/agda/PPrint.hsW]MiZbO/g`Ҿ5P=`GI>Fsrc/transl/agda/OldCParser.hsZ]M&.%iaj& bـ iZFsrc/transl/agda/NewCParser.hs]Mif<`1]M?Mf'PTsFsrc/transl/agda/Monads.hs]M%nlȷ r|Hv;Fsrc/transl/agda/MiscId.hsd]Mm@dE#UE*z(*Fsrc/transl/agda/MetaVars.hs]MMɜsWDiV3eJ=d݀:pFsrc/transl/agda/Literal.hs=]M[qG:MІAI@|AǒFsrc/transl/agda/Lex.hs]M|ue;t=И3Wf3lX@ ՁFsrc/transl/agda/Id.hsD]M V~.*;X75^ $GLZuFsrc/transl/agda/ISyntax.hsA]M챧jl&`2/NA@ =)X m Fsrc/transl/agda/ISynType.hs>]Mz"s0}NPQu,*Fsrc/transl/agda/ISynEnv.hsd ]MEd`uY/|rԀbVFB[Fsrc/transl/agda/Hash.hs]M U}G*~EG$C^0naFsrc/transl/agda/FString.hsn6]MӏKMO;sNb\]VrhuRFsrc/transl/agda/Error.hs5]M"O M],G bӸJn{=ݐFsrc/transl/agda/CSyntax.hsV]M }?H)3+zgFsrc/transl/agda/CPrinter.hsmH]M"9eR3ǀ<ىz44ʤҨFsrc/transl/agda/CParser.hsb ]M=zybxOUjS 13SǩtxFsrc/transl/agda/CITrans.hs ]M0Btw5L,y. {.ێ΍+&Fsrc/transl/agda/AgdaPretty.hs ]M8JORSa 柫.JaFsrc/transl/agda/.cvsignoreg]M*֨}AC`COWb3r ۶Fsrc/transl/Translator.hs.]MPfe5YK-f45ҋD~X(JFFsrc/transl/Setup.hsF ]MlokDA-%VQۘ+*sFsrc/transl/README ]M}s9_gʸֵhpf~ (+B ;eFsrc/transl/Main.hsK]Moleg&rRH>s%B_EFsrc/transl/INSTALL ]M8JORSa 柫.JaFsrc/transl/.cvsignoreH; $R|vɕu]1ύcʧADsrc/rts@]M٩+"LRȇB!.$A F/XFsrc/rts/agda-rts.cabalJ]M_ LWMעc0:G5Fsrc/rts/Setup.hs]M{p`򥶧nBRDSd7F+Fsrc/rts/RTS.hsG ]M_h-a̴ Ub'`un>ĬϊFsrc/rts/RTP.hs]MtXHꑚ<Xuː;p^hva޹wٌT`Fsrc/prototyping/terms/Syntax.cf]M!c gǵqN}z1~Ni~aFsrc/prototyping/terms/Pretty.hs]M?)fCl!7 Fsrc/prototyping/terms/Name.hsr]M 0LTdv!}^Q-rJ!E, k*Fsrc/prototyping/terms/Monad.hs]M rbAfr{yߊWhPNFsrc/prototyping/terms/Makefile]MH$y3eJyfRlFsrc/prototyping/terms/Main.hs]M:nIb޼ӕA69-Q BFsrc/prototyping/terms/Eval.hs]M :y6525Z  `QʷFsrc/prototyping/terms/Check.hs\IC8ڞ|cϳ'(*F]1H1Dsrc/prototyping/termreps.jN!%”x3\`mHx~'Fsrc/prototyping/termrep/test.piC"#SB.8`X&>\^/XDsrc/prototyping/termrep/lambdapi/RN-P\ۃ![-_!ҡCu>^DFsrc/prototyping/termrep/lambdapi/prelude.lpRN)G oQ$NΖN XTkFsrc/prototyping/termrep/lambdapi/cat.lplRN.LL?JKf -G*'AQ5+Fsrc/prototyping/termrep/lambdapi/LambdaPi.hs4ZiN#\6dqU5\/gFsrc/prototyping/termrep/happy.outEStiGXMb< 2腍4Fsrc/prototyping/termrep/Types/Metas.hs.jN+TJ\n=a:'Ra(#LpWXs"Fsrc/prototyping/nameless/Stack.hs]M"ҫ,̬qI<_l݀pFՕ yFsrc/prototyping/nameless/Name.hs;]M#zͰTEՔo /wDFsrc/prototyping/nameless/MakefileW]M" u=u V ȃPx ;2zyFsrc/prototyping/nameless/Lam.cfS]Vw>xi{Pd;ZcDsrc/prototyping/modulesxRXUؙطRIn-|Dsrc/prototyping/modules/flat]M'%r(/SljMۑ'$CFsrc/prototyping/modules/flat/test.mod]M':\WCk-Kʘ`Z*,Fsrc/prototyping/modules/flat/Utils.hs]M+)`AեˇY謹תv"bFsrc/prototyping/modules/flat/TypeCheck.hs,]M(1lcIEaٞlȴRICnFsrc/prototyping/modules/flat/Test.agda]M(0~ A7hJ`"6eha {Q.Fsrc/prototyping/modules/flat/Syntax.cf5]M'A WߧzSޔ!׉Fsrc/prototyping/modules/flat/Scope.hs]M(4%N ujv\E|]PFsrc/prototyping/modules/flat/Pretty.hs2]M'%A/'cǦ]QYqg3Fsrc/prototyping/modules/flat/Makefile]M&f)~72,_MV'sQLB1Fsrc/prototyping/modules/flat/Main.hsP]M*{5mѧ<<~dLHDE\mlpfFsrc/prototyping/modules/flat/Internal.hs]M'M\Ty> { ɋRyFsrc/prototyping/modules/flat/Debug.hs]M*ng@E= 9]fDFsrc/prototyping/modules/flat/Abstract.hs]M)}7WR+ҽc9 C:L2^"OFsrc/prototyping/modules/flat/.cvsignore']M,^C8}o3ѻ1BVx^-: Fsrc/prototyping/modules/ModulesAttempt2.hs\]M,8,R[ؿ)3NsdͪFsrc/prototyping/modules/ModulesAttempt1.hs\<]M$PpԪZ(YC#ެsyeEPen#Fsrc/prototyping/modules/Modules.hs`c nţp\"q甠7Pq4D `lDsrc/prototyping/mixfixUoE/!556}L*;]'mBMDsrc/prototyping/mixfix/oldV;]M%OMKu}v ՏcFsrc/prototyping/mixfix/old/MixFix2.hs]M&ӷ|ŵozߛ/cH=Fsrc/prototyping/mixfix/old/MixFix.hsuyO%z $;WDk5H&dFsrc/prototyping/mixfix/old/Makefile\\#W1ϠE{R*/6FؗrDsrc/prototyping/mixfix/benchmarksIP;1叩ґD&y r:Fsrc/prototyping/mixfix/benchmarks/mixfix-benchmarks.cabalR&uO++0_܁'T"{JٹrͲFsrc/prototyping/mixfix/benchmarks/Test.hsuO/6wG(jM㥾PҪFsrc/prototyping/mixfix/benchmarks/Standard.hs]M5- d)jd#Y/q-c*+xoFsrc/prototyping/mixfix/benchmarks/StackContTrans.hs uO1W%H3vZsÔ H`fMFsrc/prototyping/mixfix/benchmarks/SlowParser.hs1uO3PITu_8JW(# P8]LSFsrc/prototyping/mixfix/benchmarks/ReadPWrapper.hsV;]M,OMKu}v߶%jFsrc/prototyping/mixfix/benchmarks/AmbTrie.hs uO1 @Uosx}؊YyU{35;Fsrc/prototyping/mixfix/benchmarks/AmbExTrie2.hsuO0џf֍3NǶ1}<[1u6uFsrc/prototyping/mixfix/MemoisedCPS.hs uO$[t8Eur`i M#Fsrc/prototyping/mixfix/Memoised.hs`]M&jSoO 0'(ѓ,唓/Fsrc/prototyping/mixfix/IndexedOrd.hsuO&e?Y;*a}\uB]6Fsrc/prototyping/mixfix/IndexedMap.hsuO,o8G2N9r8͔lfAV$EFsrc/prototyping/mixfix/ExpressionParser.hs]M&ө_s[E)QNUKWeV [Fsrc/prototyping/mixfix/Expression.hs]M#SۺZ&VJxP7Fsrc/prototyping/mixfix/.cvsignoreԺ`Q(kU-kUZ(3xFsrc/prototyping/eval/PointerST.hs]M!:O6c[ƑHn>T"%xFsrc/prototyping/eval/Pointer.hs ]MsاqY4rvSw ~tJƎbFsrc/prototyping/eval/Parse.hs]MIbw%9Gq_b;G@5Z Fsrc/prototyping/eval/Makefile]M 1N<1O $Jyß&~EOrFsrc/prototyping/eval/Main.hsd]M$rЌȅE?M:k` fjoFsrc/prototyping/eval/Lam.cf ]M'0.YJ+$٬-bu[oS\Fsrc/prototyping/eval/DeBruijnLazy7.hs1"]M't,%d#`D_Փka{-{Zv_Fsrc/prototyping/eval/DeBruijnLazy6.hs!]M'Tr>RTLyNw{Q?0jv_vFsrc/prototyping/eval/DeBruijnLazy5.hs3!]M'j%]%uE8w7{ Y`Fsrc/prototyping/eval/DeBruijnLazy4.hs]M'@]=V Jlو33SYt?rFsrc/prototyping/eval/DeBruijnLazy3.hs]M'~|`F^I%eܺ-:5,CBFsrc/prototyping/eval/DeBruijnLazy2.hs]]M'LA):&s[ K~Fsrc/prototyping/eval/DeBruijnLazy1.hsC]M&弍sQRXf"Fsrc/prototyping/eval/DeBruijnCBN7.hs]M&vβlywBTT+l;([TvFsrc/prototyping/eval/DeBruijnCBN6.hsL]M&$ݩCq*S]c$Fsrc/prototyping/eval/DeBruijnCBN5.hs]M&":X.Ԯ_ *}{GO_Fsrc/prototyping/eval/DeBruijnCBN4.hs ]M&QKW`ɞchje&~ܣ_Fsrc/prototyping/eval/DeBruijnCBN3.hs ]M&>npfɜGPC~=6-fFsrc/prototyping/eval/DeBruijnCBN2.hs ]M%pγ we 23B^ bv(Fsrc/prototyping/eval/DeBruijnCBN.hsjs|fk'7վRzIKxU0B Dsrc/prototyping/eval/Data ]M#LSDwv0t& kVYUFsrc/prototyping/eval/Data/Trie.hs-]M!ۀEQ)jyV?bjFsbFsrc/prototyping/eval/.cvsignoreq څo~%sVE#szY?Dsrc/pkg]M ]>$w\ew=\3,PWI$KFsrc/pkg/Utils.hsA]MIhv1{S!:AJCFsrc/pkg/TODOt]M?b; B>DO gzETޜ?)Fsrc/pkg/Main.hsqtl~(Pvx<%Dsrc/pkg/Interface ]M)-;/t4Z{MIR?'=GFsrc/pkg/Interface/Version.hs]MsO|uLb,n y +Fsrc/pkg/Interface/Usage.hs[]M?9]Lԗ/=9N8Fsrc/pkg/Interface/Options.hs]MRŦxYQ4=KIrս؟7Fsrc/pkg/Interface/Exit.hs]M;8X Wm'4v+>` x'Fsrc/pkg/Interface/Command.hsq7<ѿM *6\mbDsrc/pkg/Interface/Command]M)R'BǷIK[7Q͞:Wv#Fsrc/pkg/Interface/Command/Visibility.hs"]M)Nf!5y=fJdKa)Fsrc/pkg/Interface/Command/Unregister.hs3 ]M'*$=Վ D&xkMa ΀Fsrc/pkg/Interface/Command/Register.hsa ]M#SE%B]6;|ifѱFsrc/pkg/Interface/Command/List.hs]M$Bșo$'AdLxRUFsrc/pkg/Interface/Command/Field.hs]M# <7B2IwErpkod[Fsrc/pkg/Interface/Command/Dump.hs]M'Bșo$'AdLxRUFsrc/pkg/Interface/Command/Describe.hshr <FPSRb_Õ<;0}f'  Dsrc/main0]ME-\FT9b&?8{yFsrc/main/Setup.hs]M2>h!ٯ luvv*S0W)cjcFsrc/main/Makefile]M7Vζ(BµךKFsrc/main/Main.hs#]M{kD 5>FС(ߋغ=G <8Fsrc/main/.cvsignoret ٫*.KfӯbDsrc/hTagsR`PJRr91W1,5~;܏CFsrc/hTags/hTags.cabalIPT`Ϗ\4(Y /mƮ7\Fsrc/hTags/Tags.hsJ]M_ LWMעc0:G5Fsrc/hTags/Setup.hs]M3&Fb09&NN aȖC|lo3Fsrc/hTags/Makefile,IPQHᦸXhcx.ƀFsrc/hTags/Main.hs zm6c1R\J iX-dDsrc/full_oPK]b1HNIFsrc/full/Agda/Utils/VarSet.hsP;3ҠcвqrZ&ٿيQe Fsrc/full/Agda/Utils/Update.hs]M wM&lIct~yP{ٷFsrc/full/Agda/Utils/Unicode.hsO{Z<ёƸE,#.Fsrc/full/Agda/Utils/Tuple.hs]MX RNR'[b5R!(QUFsrc/full/Agda/Utils/Trie.hs!g7Q7#??[P" BbGvFsrc/full/Agda/Utils/Tree.hsIPɟNHx;*3(%Fsrc/full/Agda/Utils/Time.hsfO$t&ݠ>'"ӚSywFsrc/full/Agda/Utils/TestHelpers.hsH?WO]B/m[FB^U*ĊFsrc/full/Agda/Utils/Suffix.hsBbvPB&U24PR&þyڡjFsrc/full/Agda/Utils/String.hs:jNZ w=P؝W,r *;ce4Fsrc/full/Agda/Utils/Size.hs^]M!is@A}|栻~]r96ܬ-XFsrc/full/Agda/Utils/SemiRing.hs?M$K|'d$?RmE.7A&N{CT3Fsrc/full/Agda/Utils/ReadP.hs]M#.=}i-o~W6̦xu^Fsrc/full/Agda/Utils/QuickCheck.hsg7QL6$_c],cw oXU Fsrc/full/Agda/Utils/Pretty.hst?PP :Ǯ QD=}FĂalFsrc/full/Agda/Utils/Pointed.hs7P$h)ī/ZC1IC\lP8YQ Fsrc/full/Agda/Utils/Permutation.hsw6O dndƽcg85esmd++Fsrc/full/Agda/Utils/NubList.hsyPR2 3-=;=gQC1s~>Fsrc/full/Agda/Utils/Monad.hsp}`RZN!F)&] dDsrc/full/Agda/Utils/Monad ]M&8JORSa 柫.JaFsrc/full/Agda/Utils/Monad/.cvsignore{QLxPҍ{AT|ׅܛlنA'[ Fsrc/full/Agda/Utils/Maybe.hsJQLxPۭ2E3jR[su/0Fsrc/full/Agda/Utils/Map.hsOPC 5Yq kq~c9yVFsrc/full/Agda/Utils/List.hs?]M#}: ߕ!f `a8k>4Fsrc/full/Agda/Utils/Impossible.hs]/V&? ?Xq-=oDsrc/full/Agda/Utils/IOVO R#~ Т5dZ ~y*EEFsrc/full/Agda/Utils/IO/UTF8.hsr]M"8κߟˑR&r}2ک))Ћ Fsrc/full/Agda/Utils/IO/Binary.hs^OO q耥ri;;!ȬFsrc/full/Agda/Utils/HashMap.hs]MH,giD0iW;odECRFsrc/full/Agda/Utils/Hash.hs%6OmCn"G6eosFFsrc/full/Agda/Utils/Graph.hsO"jy[Ra ˫:#6\ks֋أ`Fsrc/full/Agda/Utils/Geniplate.hsk]M!"/!{E&7er!1hFsrc/full/Agda/Utils/Function.hs]M ,񂈄))/nssx^//p5`yYFsrc/full/Agda/Utils/Fresh.hsgP!M2]07@&x'G*zg/x>m-Fsrc/full/Agda/Utils/Char.hs ]M 8JORSa 柫.JaFsrc/full/Agda/Utils/.cvsignore`e[fj=~LX̌= V*V0bADsrc/full/Agda/TypeChecking5LQ$N~m&,D{j ="YFsrc/full/Agda/TypeChecking/With.hsIqN97D"ʏ0Q=э҇a+8Fsrc/full/Agda/TypeChecking/UniversePolymorphism.hs-bootz`:O4kqG=Hk' |]_?udFsrc/full/Agda/TypeChecking/UniversePolymorphism.hstP%17hB9/'!律~&|(Fsrc/full/Agda/TypeChecking/Tests.hs!Q`LƝ1(mjۤ9 7֓MDsrc/full/Agda/TypeChecking/Test~AB0Q/7klW9UILL#]&cb@d Fsrc/full/Agda/TypeChecking/Test/Generators.hs=#Q)7 2qZ}떽.UVsplNFsrc/full/Agda/TypeChecking/Telescope.hssKQ*o *.nAK)IE2˷xnFsrc/full/Agda/TypeChecking/Substitute.hsyZЉC!Fsrc/full/Agda/TypeChecking/Rules/Record.hs4oKQ)͍Te`:czl6ޏFsrc/full/Agda/TypeChecking/Rules/LHS.hs̋&?L6ߵ(qȜ)}/}+|fi{O _Xq̔? `Fsrc/full/Agda/TypeChecking/Rules/Builtin/Coinduction.hs-boot4D5Q99M#o9v44{N!?m(Fsrc/full/Agda/TypeChecking/Rules/Builtin/Coinduction.hsQ&؍'EaB!P)S$/0G$QDFsrc/full/Agda/TypeChecking/Reduce.hs#Q,Շ(Tџг8l^EjgpFsrc/full/Agda/TypeChecking/Records.hs-boot,lQ'~gׅ6]:EUY]1 +eFsrc/full/Agda/TypeChecking/Pretty.hseQ*= v@{+*8S{ tFsrc/full/Agda/TypeChecking/Positivity.hsEXP-bg=!M@BZƫUUl$Fsrc/full/Agda/TypeChecking/Polarity.hs-boot;B0Q(ʁ+l*>nvȠ-Z_DzBFsrc/full/Agda/TypeChecking/Polarity.hs$%wbR ;G{OŶxNR[E['Dsrc/full/Agda/TypeChecking/Patterns@;Q3F~Qw4/clRyry lFsrc/full/Agda/TypeChecking/Patterns/Match.hs-bootQ.vu/.̓tp9Fsrc/full/Agda/TypeChecking/Patterns/Match.hs]M0)R} 3^N!ٳ4E67ԛFsrc/full/Agda/TypeChecking/Patterns/.cvsignoreLNbDgFsrc/full/Agda/TypeChecking/Monad.hsğ"2LKPMȵS~ц%٣Dsrc/full/Agda/TypeChecking/Monad!dtP+)xm洙^~La)d`tFsrc/full/Agda/TypeChecking/Monad/Trace.hs.jN0s3M_"2#l?tFsrc/full/Agda/TypeChecking/Monad/Statistics.hs% D5Q+ !9|5gLf imIY[i.Fsrc/full/Agda/TypeChecking/Monad/State.hs}P0$ Lxӌ 6Qʦ~Fsrc/full/Agda/TypeChecking/Monad/SizedTypes.hsdD5Q/a8s즀{Fsrc/full/Agda/TypeChecking/Monad/Signature.hstP-֯@VtEmE`,_b!96*$Fsrc/full/Agda/TypeChecking/Monad/Sharing.hsHqN24~0&+uIʫt QEzFsrc/full/Agda/TypeChecking/Monad/Options.hs-boot&F/Q-JBXk EaNfn]0[ cEFsrc/full/Agda/TypeChecking/Monad/Options.hsAtP*<4ċ># `_TސtxnFsrc/full/Agda/TypeChecking/Monad/Open.hsOO,i60~:O vR'9Fsrc/full/Agda/TypeChecking/Monad/Mutual.hs%$Q.Ic,]iquɚY Fsrc/full/Agda/TypeChecking/Monad/MetaVars.hs IP-Z pPШS?"WŞgpT.eFsrc/full/Agda/TypeChecking/MetaVars.hs%@o HoxI=6UejjDsrc/full/Agda/TypeChecking/MetaVarsUB0Q/ yz BM?PW„o3w'Ȩ~Fsrc/full/Agda/TypeChecking/MetaVars/Occurs.hsGB0Q0L^VYlF~)-czFsrc/full/Agda/TypeChecking/MetaVars/Mention.hs(-uP0jIz|H6Xg2G YeFsrc/full/Agda/TypeChecking/LevelConstraints.hsFqN*p/5y-gCcFsrc/full/Agda/TypeChecking/Level.hs-boot-tP%oS5ɥy?uRq"bFsrc/full/Agda/TypeChecking/Level.hsB0Q+8ԟAjҚʔZZ iEDFsrc/full/Agda/TypeChecking/Irrelevance.hs2[oP692"V;tL2-O}&0EBFsrc/full/Agda/TypeChecking/InstanceArguments.hs-boot,$Q1ZKaPPrU~U e'GFsrc/full/Agda/TypeChecking/InstanceArguments.hs]+V$Q+͸ɱ XFsrc/full/Agda/TypeChecking/Datatypes.hs|Yy5Q(4ŗyYc5j\6Fsrc/full/Agda/TypeChecking/Coverage.hs%pɇH(9_֎"Dsrc/full/Agda/TypeChecking/Coverage bvP2p'NAl97T9r+4UZs,kpFsrc/full/Agda/TypeChecking/Coverage/SplitTree.hs> mjQ.cb2 E zqE'r0XjJFsrc/full/Agda/TypeChecking/Coverage/Match.hsFqN/qyVB0v^N W(PFsrc/full/Agda/TypeChecking/Conversion.hs-bootQQ*CߟrgauUEDr?҈y G Fsrc/full/Agda/TypeChecking/Conversion.hsL>biP0Zrѽ*;~]2yQ}dFsrc/full/Agda/TypeChecking/Constraints.hs-bootgP+좭aև8t? DT޹@4Fsrc/full/Agda/TypeChecking/Constraints.hs #Q.GXLi0z(Yo-7/m~Fsrc/full/Agda/TypeChecking/CompiledClause.hs+_aQ z[dצOgzҩY ~h3Dsrc/full/Agda/TypeChecking/CompiledClause *M9sx5nhpi:4'{MF4Fsrc/full/Agda/TypeChecking/CompiledClause/Match.hs-boot@;Q4 '9 f9[$1La+4Fsrc/full/Agda/TypeChecking/CompiledClause/Match.hsULsP;۾|zlG^wvr׼쟍INFsrc/full/Agda/TypeChecking/CompiledClause/Compile.hs-boot&-uQ6ǡCǁ,cx}g5,N<45TFsrc/full/Agda/TypeChecking/CompiledClause/Compile.hs #Q(?ݘ'L T;XƨL00 Fsrc/full/Agda/TypeChecking/Abstract.hs]M')R} 3^N!ٳ4E67ԛFsrc/full/Agda/TypeChecking/.cvsignore]M 7A݀II.3*fFsrc/full/Agda/TypeChecker.hsEXPe&ch xd@O\Fsrc/full/Agda/Tests.hsq.uG.><?ؙ턭JU%k&Dsrc/full/Agda/Termination%!f7Q*3=f#'V=wU)4zϊ\:IO> CFsrc/full/Agda/Termination/Termination.hsAf7Q(Gk])~柁}U30;O`Fsrc/full/Agda/Termination/TermCheck.hs:ߖP+nGި-ze ̳ lKvFsrc/full/Agda/Termination/SparseMatrix.hsy ]M'oo̍;V L3ڭLX\ؤ%pFsrc/full/Agda/Termination/Semiring.hsQ'oחd1@ntD5-(JFsrc/full/Agda/Termination/RecCheck.hs''P%y_#kdeF[p#Fsrc/full/Agda/Termination/Matrix.hsj!O,eVٮq1 Էb:w{Fsrc/full/Agda/Termination/Lexicographic.hs!]M0sTh^,0X׉㕤pm)RFsrc/full/Agda/Termination/FoetusTermination.hsNߖP(Er:PQK έ-͹XCƭ0Fsrc/full/Agda/Termination/CallGraph.hsd"'*`ÈHHˎkODaVDsrc/full/Agda/Syntax"Iqь&aJ*wbᡮzX1hxDsrc/full/Agda/Syntax/Translationr@;Q8 H 6$/Ja6Fsrc/full/Agda/Syntax/Translation/InternalToAbstract.hs^Q8|`6@f+GJIx>EhXSFsrc/full/Agda/Syntax/Translation/ConcreteToAbstract.hsBQ8 Ro-> UaHFsrc/full/Agda/Syntax/Translation/AbstractToConcrete.hs]M-)R} 3^N!ٳ4E67ԛFsrc/full/Agda/Syntax/Translation/.cvsignoremUћb$6 Bo|Pc%Dsrc/full/Agda/Syntax/Scope?JQ%դ4lݶ1~9/.勎W>R*vl756Fsrc/full/Agda/Syntax/Scope/Monad.hs{ZÃQ$6P/'S/aMsgvFsrc/full/Agda/Syntax/Scope/Base.hs#?Q",% l~T_U7 $8+5#Fsrc/full/Agda/Syntax/Position.hs O ScVNfNִ.TZ-ZgɝFFsrc/full/Agda/Syntax/Parser.hsdQ${tNB3PV)Dsrc/full/Agda/Syntax/Parserd #Q'b3/ e:q9Sb& B.:0Fsrc/full/Agda/Syntax/Parser/Tokens.hsZ]M/dF)1SШ#wpFsrc/full/Agda/Syntax/Parser/Parser.y-']M&&vNŦSo (ч]KmJFsrc/full/Agda/Syntax/Parser/Monad.hs]M*9"r4utr0Fsrc/full/Agda/Syntax/Parser/LookAhead.hs@'%Q%Β&[PVNJW)!Uыb8b_tFsrc/full/Agda/Syntax/Parser/Lexer.xs *M0d  #]|VžFsrc/full/Agda/Syntax/Parser/Comments.hs: .lN%{ڴ# ypϹ9A%Fsrc/full/Agda/Syntax/Parser/Alex.hs]M()R} 3^N!ٳ4E67ԛFsrc/full/Agda/Syntax/Parser/.cvsignore O"R{-JNKQ"tߛ(S\E ߾ ]Fsrc/full/Agda/Syntax/Internal.hs4Ԃ\@,j=uH!تW gݫDsrc/full/Agda/Syntax/InternalKQ*-y|.Q${Q4QZC=>Fsrc/full/Agda/Syntax/Internal/Pattern.hs(#Q*O&5*툔h}b?JHFsrc/full/Agda/Syntax/Internal/Generic.hsh Q'ŀv g si hr@8f+Fsrc/full/Agda/Syntax/Internal/Defs.hsKQ)32KvvM{PǪLu;ȵFsrc/full/Agda/Syntax/Info.hso#P _nCtϨ8Vn09Fsrc/full/Agda/Syntax/Fixity.hsk#Q"( v'*dP W9:IܜFsrc/full/Agda/Syntax/Concrete.hs0B='$=7/}S[I ,aODsrc/full/Agda/Syntax/ConcreteAA0Q)[]qe+8J[ȏ&D"kiL@}c0g%%srwFsrc/full/Agda/Syntax/Concrete/Definitions.hs]M*)R} 3^N!ٳ4E67ԛFsrc/full/Agda/Syntax/Concrete/.cvsignore%?A0Q ѡ̬XwnNm^B,I8 Fsrc/full/Agda/Syntax/Common.hs6}KQ"y@eTQ.tsM@]u:|Fsrc/full/Agda/Syntax/Abstract.hs ~ނm yԕ fAɰSDsrc/full/Agda/Syntax/Abstract0Q(KBJu ܝBOAs(Y.Fsrc/full/Agda/Syntax/Abstract/Views.hs?FqN)&$BR4dwX; 5&WFsrc/full/Agda/Syntax/Abstract/Pretty.hs$?PP'N CjеN cSt7Fsrc/full/Agda/Syntax/Abstract/Name.hs;;#Q-y8l kݧ|X~1~xFsrc/full/Agda/Syntax/Abstract/Copatterns.hs ]M*8JORSa 柫.JaFsrc/full/Agda/Syntax/Abstract/.cvsignore]M!)R} 3^N!ٳ4E67ԛFsrc/full/Agda/Syntax/.cvsignorejv~y ,9XAٽ {WDsrc/full/Agda/Packaging]M"ۓ@^/A5GEkLe(P)ĈFsrc/full/Agda/Packaging/Types.hsI]M"(#^9*fK99D]!~r#Fsrc/full/Agda/Packaging/Monad.hs=]M%O-37 +QU4k4 4:SrP)Fsrc/full/Agda/Packaging/Database.hsm]M#Q:T'3J:)s/εFsrc/full/Agda/Packaging/Config.hs'7Pɶm,f1T]Af탏`8uN!Fsrc/full/Agda/Main.hsN9+eBWCej(zɃE}GN(Dsrc/full/Agda/Interaction1'P,1;yqg,eSFsrc/full/Agda/Interaction/Response.hs-boot4F/Q'[2hƻ(EzP~?tt\Fsrc/full/Agda/Interaction/Response.hsW;O_Q&1S֛vf!򛦮~$XuFsrc/full/Agda/Interaction/Options.hs`BN$ܡY#(a31<UFsrc/full/Agda/Interaction/Monad.hs\#LQ'6jVm.>QG|NF5ܽv^`6pFsrc/full/Agda/Interaction/MakeCase.hsb.OQ-+ߐpsSKp}J[DXFsrc/full/Agda/Interaction/InteractionTop.hs+ *M+6w|Hꢕ'pkFsrc/full/Agda/Interaction/Imports.hs-bootWF/Q&J ,KYTTel+N~,Fsrc/full/Agda/Interaction/Imports.hs(tu/%3ӴyabDsrc/full/Agda/Interaction/Highlighting 6O/ Rg}069R G|mJ1AOFsrc/full/Agda/Interaction/Highlighting/Vim.hsO1۫J[mG?29axFsrc/full/Agda/Interaction/Highlighting/Range.hs8O3 bgw2Ƭw)8ImfFsrc/full/Agda/Interaction/Highlighting/Precise.hs2JQ1 @mc\.eqR IFsrc/full/Agda/Interaction/Highlighting/LaTeX.hs0]M0HAEOÙldOz{Fsrc/full/Agda/Interaction/Highlighting/HTML.hsO9'WFFsrc/full/Agda/Interaction/Highlighting/Dot.hs ]M38JORSa 柫.JaFsrc/full/Agda/Interaction/Highlighting/.cvsignoreF/Q%PZ giy,-]jy+ WFHFsrc/full/Agda/Interaction/GhcTop.hs]M,|/1SfCd  )Z+sMFsrc/full/Agda/Interaction/FindFile.hs-bootIP'Ej܌%+J1 %^CFsrc/full/Agda/Interaction/FindFile.hsWIP)˒q#.rEjh}$Fsrc/full/Agda/Interaction/Exceptions.hsW O+.& Mc\wν#2l7U-Fsrc/full/Agda/Interaction/EmacsCommand.hs'Vg3cxGH) Dsrc/full/Agda/Interaction/CommandLine#1[oP6N0+ND1ۼf;*UdzUFsrc/full/Agda/Interaction/CommandLine/CommandLine.hs ]M28JORSa 柫.JaFsrc/full/Agda/Interaction/CommandLine/.cvsignoreV]{Q'N >Y5&+J΄CCFsrc/full/Agda/Interaction/BasicOps.hs ]M&8JORSa 柫.JaFsrc/full/Agda/Interaction/.cvsignore]M!⺗Zˈ覊 wrpŧpX.Fsrc/full/Agda/ImpossibleTest.hs$͕4 R#XCJբ7܍VzDsrc/full/Agda/Compiler 2ߛ^~ZPf($ Dsrc/full/Agda/Compiler/MAlonzo-A0Q.vg\a7z*DfQ#hs,z&Fsrc/full/Agda/Compiler/MAlonzo/Primitives.hsO*]ZvyDZT]Y(xw1\> 5Fsrc/full/Agda/Compiler/MAlonzo/Pretty.hswP(H哉s;Fd t<1Fsrc/full/Agda/Compiler/MAlonzo/Misc.hsI]M*ڟyD7K3ГTcc4Fsrc/full/Agda/Compiler/MAlonzo/Encode.hs]M1}e~5J&~˽+TJhqMQFsrc/full/Agda/Compiler/MAlonzo/Compiler.hs-bootOA0Q,;V7 0%PC7|sYvFsrc/full/Agda/Compiler/MAlonzo/Compiler.hsÕ1/n\'(%s aՖ vDsrc/full/Agda/Compiler/JS O% <8\1ËcP$6R=ذ$Fsrc/full/Agda/Compiler/JS/Syntax.hsfO+牔fsW~~Y|M@Fsrc/full/Agda/Compiler/JS/Substitution.hsZRN%ι hR1 a5+UFsrc/full/Agda/Compiler/JS/Pretty.hsFKM%lx=~ߡWoyƜ|]к=yFsrc/full/Agda/Compiler/Epic/Static.hs#Q))b'u`vHMע͞lN2qFsrc/full/Agda/Compiler/Epic/Smashing.hse(:O*b^p?mG XT{/Fsrc/full/Agda/Compiler/Epic/Primitive.hs) 9rP-sP(Y/@؁%Jc-Fsrc/full/Agda/Compiler/Epic/NatDetection.hs XN* ¼O ( lxPQ+ħJVFsrc/full/Agda/Compiler/Epic/Interface.hs1#Q*2rJRBW ֹtLLQuZ|? Fsrc/full/Agda/Compiler/Epic/Injection.hs,PLxP)4@&gЉ$[_en>?5Fsrc/full/Agda/Compiler/Epic/FromAgda.hs3y5Q(_j kE- >4ņ/=UM1(a疯4]Fsrc/full/Agda/Compiler/Epic/Compiler.hssOO-nknpM]%<=cޭ]#Ul7Fsrc/full/Agda/Compiler/Epic/CompileState.hsl XN)@44PZ YKyb5gFsrc/full/Agda/Compiler/Epic/CaseOpts.hsN' -P+<[իW7Y$Fsrc/full/Agda/Compiler/Epic/AuxAST.hs< ʕ}P(I)[(y$7*B`iSIi޺Fsrc/full/Agda/Auto/Typecheck.hs!dMyĜX^ߗzWsb /ݕdHFsrc/full/Agda/Auto/Syntax.hs{4]M%]:z$(ҼBp<gR٫ɌlFsrc/full/Agda/Auto/SearchControl.hsF]M'qU~U#qWr\A2蒋cFsrc/full/Agda/Auto/NarrowingSearch.hspA0Qj].@ogZ_OFsrc/full/Agda/Auto/Convert.hsGRdM!Ci3oʻV !岒 •]z`Fsrc/full/Agda/Auto/CaseSplit.hsX-Q&ˎꩺ124 yxD ҒaFsrc/full/Agda/Auto/Auto.hs ]M8JORSa 柫.JaFsrc/full/.cvsignore0fP G%(2XjDsrc/fix-agda-whitespace}IP3)7H(:rMnjBN]M\MΒogFsrc/fix-agda-whitespace/fix-agda-whitespace.cabal OO*JRe!DXTEohe|0LtFsrc/fix-agda-whitespace/FixWhitespace.hsT b߅<+% /%ldjDsrc/datax*ұH/XvQPVRI PDsrc/data/emacs-mode]M 1owNOi2^qkkH;pFsrc/data/emacs-mode/eri.el:O#5ߵ:D!Joҩ}#'Fsrc/data/emacs-mode/annotation.el]Mu&I2DP;8VV&7Fsrc/data/emacs-mode/agda2.el#P$lixVߐʛ*y%ZbGOVHEFsrc/data/emacs-mode/agda2-queue.el{Q#nAa)F/hruKEFsrc/data/emacs-mode/agda2-mode.elD[O(͖ڒ.BFu(R~OFsrc/data/emacs-mode/agda2-highlight.el1 ]M&7;|ލQq(Z(N7 Fsrc/data/emacs-mode/agda2-abbrevs.elxJ'\Q#qm,]BNMX!MS~aeDFsrc/data/emacs-mode/agda-input.el$uP'PH{'hirsHޕtZ Fsrc/data/agda.sty J({$L}1Fsrc/data/EpicInclude/stdagda.hD XN [qHt*'g /$ִnJ|}!Fsrc/data/EpicInclude/stdagda.cUsrP$ ^u_i7%R |DFsrc/data/EpicInclude/AgdaPrelude.eOOŵPtYrm7%Fsrc/data/Agda.css( $2y2ӏ\w8Xqhʙ#P3pDsrc/core]MqHBR/҄FNjjg}NFsrc/core/overview.tex0]MD 8I͈S<O/ ?ZM6Fsrc/core/main.lhs]MV_C_xQX+2'J^BqIFsrc/core/instructions-for-lhs ]MaCVd(R^1f2Uc\A!Fsrc/core/Val.lhs]M\\ '㑶}86j>Fsrc/core/Val.hs4 0A>xE:Ωk#\^uG+Dsrc/core/Thierry]]MV;N! bͧs/#X{jS Fsrc/core/Thierry/test5]M/IE;PdȜ.\^Fsrc/core/Thierry/test4]M&!${R>@7!uFsrc/core/Thierry/test34]MȚt5qEp[Wê?*RVzFsrc/core/Thierry/test25]M䍡e) '+v θ7UFsrc/core/Thierry/test14]M@1}zynm0@I#DFFsrc/core/Thierry/test:]MQXk+;~SH-dm 764Fsrc/core/Thierry/Val.hs ]M +|-tpTLkꞤuFsrc/core/Thierry/Makefile]M=mZWNjAp!n{4\Fsrc/core/Thierry/Main.hs]M|Fu`l>6jb <v֤+}(sOFsrc/core/Thierry/Exp1.hs~ ]M_/ZVb|e~+UzFsrc/core/Thierry/Decl1.hs]M"[mZu5f&:䰜%:@Fsrc/core/README ]M,oz"_1E,@deFsrc/core/Makefilee]Mb/Qy:jV uAʕB.B Fsrc/core/Main.hs ]Mh^ '+1~KEa 3Hz͋Fsrc/core/Exp.lhsM]MԯanvM=(_+⏌VLeDFsrc/core/Exp.hs]Mc 25[^(f|өtT3FFsrc/core/Decl.lhs]MӺji ½-zUrMureFsrc/core/Decl.hs/]M!L6j{q"]o&>"PJ6{OnFsrc/core/Core.cf]M6w(dAH<LIa~x6Fsrc/core/Conv.lhs]M{)9j!*8&)2}Զ-$6emFsrc/core/Conv.hsm]MFnotes/typechecking/proof.sty]M/XiLcҥ Ej?ݰeuFnotes/typechecking/definitionz]MMrmf+$"\̲+ ~Fnotes/typechecking/core.tex12]M#huSmQ"ZZ*Fnotes/typechecking/algorithmJ.tex`6]M"K¾TdQm{uQ'r P_[k#dFnotes/typechecking/algorithm.tex*]M@dc%H,Ck^y؈fVH`tkFnotes/typechecking/agda.tex]M4zzSIBcguqFnotes/typechecking/Makefile]MPLBv(!UKF3,\4Fnotes/typechecking/.cvsignore$]M ܜo;Reވ|Fnotes/thinkingAloudd Ǥ0pV Hp"sشSDnotes/talks q3'~[B11F=AݴDnotes/talks/video060510a3]M"0w@ñCPE<}OAMb!HUW-m*Fnotes/talks/video060510/talk.texy ]M!Y"=3YxոWŲN;Qo :Fnotes/talks/video060510/remarks$]M# Fk8osK3PԒ$: gK4p>Fnotes/talks/video060510/proof.sty5]M"DaHL[ l u @(Fnotes/talks/video060510/abstract]M"3QЕ~d^ Ԅb W[t8܈ęFnotes/talks/video060510/Makefile#]M$ =_#uͳ>ʯ$NּIFnotes/talks/video060510/.cvsignore{4mzX^т5ĜDnotes/talks/video060320*]M"@dc%H,Ck^y؈fVH`tkFnotes/talks/video060320/core.tex^v4< XiPVV$jB0@Dnotes/talks/Types07&]M)-3e@kс'7BPBFnotes/talks/Types07/talk.tex$]M Fk8osK3PԒ$: gK4p>Fnotes/talks/Types07/proof.sty]MkfLx 2I_Fnotes/talks/Types07/Makefile4]MM:QG; r"Fnotes/talks/Types07/Bad.agda1]M Khg+}<Ĕ2=|Y7v}asFnotes/talks/Types07/.cvsignore,*K.Fnotes/talks/Modules/proof.styS]M!W3#/9\+i%'cFnotes/talks/Modules/notes-]M[D-J ?-Bfoh]$Fnotes/talks/Modules/Makefile7]M {E's(0w]e0]YFnotes/talks/Modules/.cvsignoreױ'9B>&)ĂFQSDnotes/talks/MetaVars]M_ nU<ِ_\ 9DFnotes/talks/MetaVars/talk.tex$]M Fk8osK3PԒ$: gK4p>Fnotes/talks/MetaVars/proof.styI]M3h3lԯ[]C{ᰩ"mÏKFnotes/talks/MetaVars/danger_do_not_open_until.jpgě]M3O⵳0[qyրlpd3o>[Fnotes/talks/MetaVars/danger_do_not_open_until.eps]M _h Fb0c |kՑw(Fnotes/talks/MetaVars/Plus.agda]MkfLx 2I_Fnotes/talks/MetaVars/Makefile]M$f;nkHl$"K{&yGcFnotes/talks/MetaVars/Examples.agda]M!kqt+Ê4,S!t wʹC{#$X+/Fnotes/talks/MetaVars/Crash.agda1]M!Khg+}<Ĕ2=|Y7v}asFnotes/talks/MetaVars/.cvsignore ]M#|zDnP.d\>{޴34CA~Fnotes/talks/.cvsignoreZ ]M/{f=U.8!`R0RV7Wi 9Fnotes/separate-typechecking,]M " k=oddlOw]EFnotes/scopehbgتe[h-"c _fDnotes/reviewGY4 PT6;ޟ %Z"İ|Dnotes/review/patrikR]M5W@wްxZV{ɔFnotes/review/patrik/log.txtπO~=W}W*q0^rgU!'m2Fnotes/releases]Mv~sXx^6~CL+XFnotes/recordsC;KFX,WW$&눹Dnotes/papersH <2^9u/LyC{>Dnotes/papers/modulesr]My-S#b&?\6%Eq؉Fnotes/papers/modules/notes$Mϖ)1 l~dG.wO3r Dnotes/papers/implicitH]M!:|N [ASzPN}>o_bFnotes/papers/implicit/rules.tex]M'Bșo$'AdLxRUFnotes/papers/implicit/relatedwork.tex]M (1L^LFnotes/papers/implicit/proof.sty ]MS\dCWH-;T Z0K޶Fnotes/papers/implicit/notes]M"$#]ˆS;+ |koY5_I$Fnotes/papers/implicit/macros.tex]M!=0r}pՄp#M(-Fnotes/papers/implicit/llncs.cls]M+0?+M8wRqA 'P~vxFnotes/papers/implicit/lhs2TeXpreamble.lhs]M(!˧Q`4bFnotes/papers/implicit/examples/Simple.agda;]M+]f9E}?D TtԼa|Fnotes/papers/implicit/examples/Scope.agdan]M*LjȪF.W'&@Q sBFnotes/papers/implicit/examples/Loop.agda]M.Ț߁ ߝg{+N`:AbXFnotes/papers/implicit/examples/IllTyped.agda]M-i~e E׹ *QI6oܐbFnotes/papers/implicit/examples/Example.agda3]M9{xqV77/ &,TxFnotes/papers/implicit/examples/Dangerous-AgdaLight.agdaa]M5 dBҀJ[F"NhEu5@QFnotes/papers/implicit/examples/Dangerous-Agda2.agda"]M5Y8!HTaS7:Zא#"^Fnotes/papers/implicit/examples/Dangerous-Agda1.agda]M*egR>;CA)&N]v.lJ'Fnotes/papers/implicit/examples/Crash.epi]M+#ͩ(2yD9$. HxzW>TFnotes/papers/implicit/examples/Crash.agda]M+ >\4c,-4ɏ,'P'{Qk-Fnotes/papers/implicit/examples/.cvsignore]M 2-Ѐob7jٚT}^zFnotes/papers/implicit/core.tex]M'Bșo$'AdLxRUFnotes/papers/implicit/conclusions.tex]M!rkr&Qf;..+t{ٓFnotes/papers/implicit/concl.tex]M+SwPk S|JJpM6w3Fnotes/papers/implicit/acknowledgement.tex+]M$H+WpF IlsɷBeФ^RFnotes/papers/implicit/abstract.tex]M ?p4̯,qQZuFDm`֡lM%Fnotes/papers/implicit/MakefileI]M"oMOƞ55e5Ob\ǸnFnotes/papers/implicit/.cvsignoreRt45P=|k۝I}cOLDnotes/papers/iird]M &`;HE־;;Fnotes/papers/iird/polycode.fmt/]M݄*i,9݇v=_D wE=Fnotes/papers/iird/poly.fmt(]Mp0GqHˍ$8e*Fnotes/papers/iird/paper.lhs]MA$;/_eнGJ ԅEp)"Fnotes/papers/iird/macros.tex]M=0r}pՄp#M(-Fnotes/papers/iird/llncs.cls ]MG IdE|ɊwDzMP+OE!YeFnotes/papers/iird/lhs2TeX.sty/]M[ Ww PFnotes/papers/iird/lhs2TeX.fmt ]MlIrLdxkV=jps%lFnotes/papers/iird/iird.bib]MGݨlQ*J3IYKQb]Fnotes/papers/iird/Makefile]M$,txmAR.CY1Fnotes/papers/iird/.cvsignore ]M3,~LjP9 yE/:ũ8Fnotes/design/fixities]M)R} 3^N!ٳ4E67ԛFnotes/design/.cvsignore]M=P@~9۴)0D$JZGeFnotes/classes ]M-TM:y]3hUFnotes/builtin]M)R} 3^N!ٳ4E67ԛFnotes/.cvsignore ,ƣ9wc? Z^_CzsODmk]M E_,qt0w$21 Fmk/rules.mk+O >T*CiaL2ȘnZM-Xn)Fmk/paths.mk]M fQ6С'̖ovSr2s Fmk/config.mk.in]MoХ[Dd6(35sFmk/.cvsignore!wA+~VR[!Jӆ(,jfHDmacrosL ]M˓ `_4a=hکr6s=N_|qkFmacros/utils.m4+]Mࢿ#pn &PU$Μ6fm}-'Fmacros/haskell.m4]MUoJA9Pؗև77 DO<:TFmacros/fptools.m4 ]M8JORSa 柫.JaFmacros/.cvsignore]M cL %|EA6G| Finstall-sh B-i3&a +4uDexamples#17ZšHQ%@VDexamples/vfl]M|sanS+ G6v =#?ؕ~Fexamples/vfl/Typechecker.agda&|\Z 49;LR'Dexamples/tactics&UaON-٥O>5Ŕ 38Dexamples/tactics/acϜ|Nѽi8x`:ɮ CLMjFexamples/tactics/ac/Vec.agda]M@͍,(˞s w<ګMFexamples/tactics/ac/Nat.agdaP]M \sԍ"e@P+ľBpMFexamples/tactics/ac/Logic.agda]M194;v-҄ێ 'R 31yBqFexamples/tactics/ac/List.agdaWϜ|NsjKRx- eA(d# SU"YFexamples/tactics/ac/Fin.agda]M"7R`;}!C*-Ή&-Fexamples/tactics/ac/EqProof.agda]MTJCXCv +]>NǮ% Fexamples/tactics/ac/Bool.agda[#]MY8wE[ P/ ~͍-W=0cvFexamples/tactics/ac/AC.agda]M H5+se_ i 2:3"֎_Fexamples/tactics/ac/.cvsignore\)6Sۋyğ7сV) AFexamples/simple-lib/Lib/Logic.agdan ]M#ϼy XX2yDFexamples/simple-lib/Lib/List.agda]M!ޒ62pohvSLpFexamples/simple-lib/Lib/Id.agda+rM!27QTd-7g^ڐA}rE Fexamples/simple-lib/Lib/IO.agda ]M"l:P&ia?V~EaVE{PFexamples/simple-lib/Lib/Fin.agda5]M!V'J^\{ۂK,#sFexamples/simple-lib/Lib/Eq.agda~]M#)tQ~`\(}o9`-GFexamples/simple-lib/Lib/Bool.agdal1WOLX3v' vGDexamples/relocatablel1 ĉܴ|pr ~UKDexamples/relocatable/originals-]M' 0d}{ K?x\t_Fexamples/relocatable/originals/C.agda-]M'SD ܘC]3qn`MΡ~[Fexamples/relocatable/originals/B.agda"]M'7nnu"9tVPXFexamples/relocatable/originals/A.agda!/'ɐڟj&TTT-l ɰr"Dexamples/outdated-and-incorrect|6&4a?}-~w*<`؈0Dexamples/outdated-and-incorrect/univ6]M0oSʜ1-55H 7=El;- Fexamples/outdated-and-incorrect/univ/univ.agdaz]M/ ֏VwLn?2FtQ OFexamples/outdated-and-incorrect/univ/tmp.agda]M2 x* 9yOYI$p{ 9&Fexamples/outdated-and-incorrect/univ/proofs.agdaN]M0m^L9VXcsȜgT8|zLFexamples/outdated-and-incorrect/univ/help.agdaG"]M/ ð^DizU h{g4)2@KuFexamples/outdated-and-incorrect/univ/cwf.agda4]M4}~ZS*v˽",D`f6- Fexamples/outdated-and-incorrect/univ/bugs-in-paper]M/n}}\ #gpR"rFexamples/outdated-and-incorrect/univ/Nat.agdaF]M0g)“rwy=J"7b'ҋrPFexamples/outdated-and-incorrect/univ/Main.agda]M3&q'\HSO܉+?x~4 Ds×Fexamples/outdated-and-incorrect/univ/Example.agdaS]M0ta6k`G wo^L'nlϕjFexamples/outdated-and-incorrect/univ/Base.agda2]M1{'2뫧 (;PEFexamples/outdated-and-incorrect/univ/.cvsignore9&ijĎpYd HlF-IDexamples/outdated-and-incorrect/taitn]M1aդ]3*mމy M `dFexamples/outdated-and-incorrect/tait/Trans.agda]M1aM_a,@Ad'iDa Fexamples/outdated-and-incorrect/tait/Subst.agdaE]M5{סSY'.6 _{kFexamples/outdated-and-incorrect/tait/Reduction.agdaa]M1nEX<3kkMkź._7Fexamples/outdated-and-incorrect/tait/Proof.agda ]M3z&,QG?ixitԫ9Fexamples/outdated-and-incorrect/tait/Prelude.agda[]M2[HVWJgvJ_!Fexamples/outdated-and-incorrect/tait/Lambda.agda]M1_Ϊ:2[۬ܵ %Nk*UFexamples/outdated-and-incorrect/tait/Chain.agda;)h4og-f)Qh"GM+UDexamples/outdated-and-incorrect/tactics;.0Riħ2iA(0 7&9Dexamples/outdated-and-incorrect/tactics/bool]M7 g-8i=r?;De#+P[8N&Fexamples/outdated-and-incorrect/tactics/bool/Vec.agda]M8;N7SKZr55.Zz;Fexamples/outdated-and-incorrect/tactics/bool/Bool.agda]M7E/)0GGlFexamples/outdated-and-incorrect/lattice/PartialOrder.agda ]M6X48}_/ݢ|YM;'yzÞFexamples/outdated-and-incorrect/lattice/Lattice.agda]M4W!0*3]LoFFexamples/outdated-and-incorrect/lattice/Chain.agdaJ& 73 0b9uꥰ}[Dn'Dexamples/outdated-and-incorrect/iird@*OwZJX7x*nmes^GPÚmDexamples/outdated-and-incorrect/iird/new|]M37uKb@G7=ny WFexamples/outdated-and-incorrect/iird/new/IID.agda]M0B7-aQe4]|hĸ]vFexamples/outdated-and-incorrect/iird/Test.agda ]M1U8캱q6pĴsiocnKFexamples/outdated-and-incorrect/iird/Proof.agdaC,8D4gճ[W..whDexamples/outdated-and-incorrect/iird/Proof ]M7v0U"#dGf+pE:WJ*Fexamples/outdated-and-incorrect/iird/Proof/Setup.agda]M7LCȵX9* e6岞]Fexamples/outdated-and-incorrect/iird/Proof/.cvsignore"]M0DB%kV ^]Kj yqFexamples/outdated-and-incorrect/iird/Main.agda8D,+\bSvL$M][t[ԺH!Dexamples/outdated-and-incorrect/iird/Logic]M@ϸe;|;PLz-q#:(mZFexamples/outdated-and-incorrect/iird/Logic/ChainReasoning.agda ]M.kx$%o oX..SU5Fexamples/outdated-and-incorrect/iird/LF.agda]M4!5PD"~Q0}b¡.[RFexamples/outdated-and-incorrect/iird/Identity.agda#]M1mlHarV )Ixbm/Ҙ'.m}]Fexamples/outdated-and-incorrect/iird/IIRDr.agdaL]M1d̯vAI5(q,27 vlFexamples/outdated-and-incorrect/iird/IIRDg.agda]M0Q`jtBMγzEx/UGx/Fexamples/outdated-and-incorrect/iird/IIRD.agda]M0~qͤ1JgRmT~^Fexamples/outdated-and-incorrect/iird/IIDr.agda]M0k?i 9LwU!Uԭ=Fexamples/outdated-and-incorrect/iird/IIDg.agda ]M/ +Psq[<>A;/#BK|'Fexamples/outdated-and-incorrect/iird/IID.agda4]M5,ńʒHm]i1[If SiFexamples/outdated-and-incorrect/iird/IID-Proof.agda ]M:h"`ZK*=I6{"̕?$Fexamples/outdated-and-incorrect/iird/IID-Proof-Test.agda]M; &Mp&&uCD{UۍKFexamples/outdated-and-incorrect/iird/IID-Proof-Setup.agda]M? |-xџn!)P(Fexamples/outdated-and-incorrect/iird/IID-New-Proof-Setup.agda]M4mL(嘪]h0@W+ N q31#sFexamples/outdated-and-incorrect/iird/Examples.agda]M1 f@@zg gSVk_Fexamples/outdated-and-incorrect/iird/Dummy.agda ]M@LPӸv~pÔZMΧ SSEFexamples/outdated-and-incorrect/iird/DefinitionalEquality.agda]M1LCȵX9* e6岞]Fexamples/outdated-and-incorrect/iird/.cvsignoreM(xzb=t NDWޚHDexamples/outdated-and-incorrect/fileIOX]M1O@# 7jnZb8#d^,Fexamples/outdated-and-incorrect/fileIO/Makefile*]M22,a ;58I~Fv\00Fexamples/outdated-and-incorrect/fileIO/Main.agda]M0=&YGjSQܫK:[nFexamples/outdated-and-incorrect/fileIO/IO.agda,M+ֿw ,q3N~ћAXDexamples/outdated-and-incorrect/fileIO/IO ]M5àe" Ywr"?ŧ#i}Z$Fexamples/outdated-and-incorrect/fileIO/IO/File.agdah]M2B} ]f]Y$ '4KQrhd]Fexamples/outdated-and-incorrect/fileIO/Base.agdaR(P}+z}Tdk/0 ?Dexamples/outdated-and-incorrect/clownsr]M4*'IsLb;c`EsFexamples/outdated-and-incorrect/clowns/Zipper.agda]M2yc`<}e4% }>}\Q=Fexamples/outdated-and-incorrect/clowns/Sets.agdam]M9gAS3qz`)B[ 7P|B"tFexamples/outdated-and-incorrect/clowns/Isomorphism.agda:]M5bKD@-àDH6iFexamples/outdated-and-incorrect/clowns/Functor.agdaO]M6JFmGJG!fQ/IGu|Fexamples/outdated-and-incorrect/clowns/Equality.agda]M5K 9+'iMFf(5^Ur0hV`^iFexamples/outdated-and-incorrect/clowns/Dissect.agdaa]M8(ϜOIRxM` y@:|^Fexamples/outdated-and-incorrect/clowns/Derivative.agda&]M4۶T{nP4L_I+*{hFexamples/outdated-and-incorrect/clowns/Clowns.agda] ]M7ˊp,_xk@ܿIq P@'  Fexamples/outdated-and-incorrect/clowns/ChainRule.agda]M3LCȵX9* e6岞]Fexamples/outdated-and-incorrect/clowns/.cvsignorepV% ͢z׿ {]vX -vDexamples/outdated-and-incorrect/cbs]M/*]*ݎ$-Ƙv VwLFexamples/outdated-and-incorrect/cbs/Star.agda]M2cZL}rʿRbAR~'^:9yi\)nvLFexamples/outdated-and-incorrect/cbs/Graph.agda]M1I탇~FiOAQ݊w-r[NUFexamples/outdated-and-incorrect/cbs/Basics.agda4[%K,z`Ju"ϱW-gDexamples/outdated-and-incorrect/catc]M1ɇ:(SwV Z hj$5e&Fexamples/outdated-and-incorrect/cat/Unique.agda]M3"wfOe7/$#ΛFexamples/outdated-and-incorrect/cat/Terminal.agda]M2V0bC7` l^.1T*Fexamples/outdated-and-incorrect/cat/Product.agda]M.G1eJ\qXi8}cFexamples/outdated-and-incorrect/cat/Iso.agda ]M2U&wh*" ^mBFexamples/outdated-and-incorrect/cat/Functor.agda ]M2@(h\ b[Z?g/4%Fexamples/outdated-and-incorrect/cat/Example.agda]M/&M鐫A)W[T^IݢnlkQg@Fexamples/outdated-and-incorrect/cat/Dual.agda(]M3{D͵l kCK#Fexamples/outdated-and-incorrect/cat/Category.agda]M/.Hn! Eſ̆!)U$a_b!Fexamples/outdated-and-incorrect/cat/Base.agda]M2*Y;;!J4M+!3SPq> 0}Fexamples/outdated-and-incorrect/cat/Adjoint.agda]M0LCȵX9* e6岞]Fexamples/outdated-and-incorrect/cat/.cvsignore ]M/sQ ob1rZ 3 ځ5LgjJFexamples/outdated-and-incorrect/Warshall.agda,]M-!9#N7J 5TZh+-YқOFexamples/outdated-and-incorrect/Subset.agda@]M42pJ<-& &(fZ VFexamples/outdated-and-incorrect/StackLanguage.agda/]M-dPUp?9.PFFexamples/outdated-and-incorrect/Screen.agda]M(lšvk EG1X`kjyFexamples/outdated-and-incorrect/README]M/Ld@8o\]cvl_Fexamples/outdated-and-incorrect/ProofRep.agda^%6+6J,yYY(^Di*Dexamples/outdated-and-incorrect/OTT$]M1} )c AtI6B0_BohFexamples/outdated-and-incorrect/OTT/ObsEq2.agda"]M0ֿdOA01BpQd_>.xFexamples/outdated-and-incorrect/OTT/ObsEq.agda`1=:6EďaG ;vlidӍpcJvDexamples/outdated-and-incorrect/NestedDataTypes_ ]MKp$vXX;mku-iU+Fexamples/outdated-and-incorrect/NestedDataTypes/DeBruijnExSubstSized.agdaP ]MFdtNFV"[PBmzFexamples/outdated-and-incorrect/NestedDataTypes/DeBruijnExSubst.agda]M?0붱l/9oetx9T'Ǚ{lFexamples/outdated-and-incorrect/NestedDataTypes/DeBruijn.agda,)]M*M~O]$)Ru Fexamples/outdated-and-incorrect/NBE.agday]M,3]-}a7b @#u{8 @vӷFexamples/outdated-and-incorrect/IORef.agda]M9Ij+YfV@]Ysr(ͅ64Fexamples/outdated-and-incorrect/FunctionsInIndices.agda(d''GDQS58d\q9d@[Dexamples/outdated-and-incorrect/DTP08b+_LJ0sHqL?\İDexamples/outdated-and-incorrect/DTP08/ulf]M57XtTE _Odf7Fexamples/outdated-and-incorrect/DTP08/ulf/Talk.agda(d-j]_10Q S qo&qtDexamples/outdated-and-incorrect/DTP08/conor]M7P?f ؋!`wm^ 2zB?Fexamples/outdated-and-incorrect/DTP08/conor/Talk.agda ]MAE*#p;8hM~~Fexamples/outdated-and-incorrect/DTP08/conor/SomeBasicStuff.agdau(ϠALrʆ-3s髭qg[EDexamples/outdated-and-incorrect/AlonzoC]M/Z)AK0/pem>ʶ~BJXFexamples/outdated-and-incorrect/Alonzo/almake]M1?NP9$4PVtKޥ3Fexamples/outdated-and-incorrect/Alonzo/Vec.agda]M6]fn25#\Fo%Fexamples/outdated-and-incorrect/Alonzo/RTP.hs.sav ]M/w{N46`]w) = Fexamples/outdated-and-incorrect/Alonzo/RTP.hs]M1k$ŌH]Z caהvFexamples/outdated-and-incorrect/Alonzo/RTP.agda]M/-f)g)Q6oGI[} &[Fexamples/outdated-and-incorrect/Alonzo/RTN.hs]M1k'S3AFGd-Fexamples/outdated-and-incorrect/Alonzo/RTN.agda]M/{8l)֬xSU%v#Z[Fexamples/outdated-and-incorrect/Alonzo/RTD.hs]M/ xpjPVģ߹&41jm{8iFexamples/outdated-and-incorrect/Alonzo/README]M/ТT$GP:v5.A|(!)"Fexamples/outdated-and-incorrect/Alonzo/Q.agda_]M2!='{fsd ]N.+_ Fexamples/outdated-and-incorrect/Alonzo/Proj.agda ]M4uܦ[[4<+Ȟ0U'Tcˍ^{ Fexamples/outdated-and-incorrect/Alonzo/Printf.agdaT]M6P莄0;KVcW2[ l;QFexamples/outdated-and-incorrect/Alonzo/PrintNat.agda ]M8) sE)}O$>8< lFexamples/outdated-and-incorrect/Alonzo/PrintFloat.agda]M7jm )い rHʲ\fhI(Gt9OFexamples/outdated-and-incorrect/Alonzo/Primitive.agda{]M;A纤ZSV-VeEc :Fexamples/outdated-and-incorrect/Alonzo/PreludeString.agdal]M96PKuW9KPe2U3uwtgRrKFexamples/outdated-and-incorrect/Alonzo/PreludeShow.agda]M:eVNFP]>k31}~-jvFexamples/outdated-and-incorrect/Alonzo/PreludeNatType.hs]M<FP4n ϳ#cts B*Fexamples/outdated-and-incorrect/Alonzo/PreludeNatType.agda3]M8Go"w`H#w(*ҳ:hNFexamples/outdated-and-incorrect/Alonzo/PreludeNat.agda]M9bvCfK0Vи.Q% GFexamples/outdated-and-incorrect/Alonzo/PreludeList.agdaP]M8M0n$ Q²AFexamples/outdated-and-incorrect/Alonzo/PreludeInt.agda8]M9l"ADtJLOSdA@ IJFexamples/outdated-and-incorrect/Alonzo/PreludeBool.agda]M8H81SFexamples/outdated-and-incorrect/Alonzo/PreludeAll.agdaX]M1?)!Ӕ0<V}BҒWq̓NޜFexamples/outdated-and-incorrect/Alonzo/Point.hs]M3('4l؉J箎щY0uQL/Fexamples/outdated-and-incorrect/Alonzo/Point.agdat]M1x(JӾeH'>8-$覇Fexamples/outdated-and-incorrect/Alonzo/Makefile]M6>gVEƳ^ਾ=(Fexamples/outdated-and-incorrect/Alonzo/ListTest.agdaY]M0 9]@ ܗŻ_WiF@S*Fexamples/outdated-and-incorrect/Alonzo/Bool.hs]M2u9}9eI)}`DiVBFexamples/outdated-and-incorrect/Alonzo/Bool.agda ]M8aEπ;Oz.s\褄Fexamples/outdated-and-incorrect/Alonzo/BadPrintf2.agda ]M7| p9EZ(㮝gñ]Fexamples/outdated-and-incorrect/Alonzo/BadPrintf.agdan]M;B V65IB˳ǂswvUm~sFexamples/outdated-and-incorrect/Alonzo/AlonzoPrelude.agda&8l}Me!qY z,DmP6PP6hDexamples/outdated-and-incorrect/AIM6*bS]bEW}.shtw9LDexamples/outdated-and-incorrect/AIM6/Cat\.ARj8Wg'#~'cUSXf,o'|Dexamples/outdated-and-incorrect/AIM6/Cat/libn]M8䬈WWuYc3TWVv™ Fexamples/outdated-and-incorrect/AIM6/Cat/lib/Test.agda]M;X;c8nsj[̾ ^ "z;'3eFexamples/outdated-and-incorrect/AIM6/Cat/lib/Prelude.agda}4*ɉt0'R1Jo pl+^Dexamples/outdated-and-incorrect/AIM6/Cat/lib/Logicpy>ݨʥ)Sr#w̍9+I5ؙE4"GDexamples/outdated-and-incorrect/AIM6/Cat/lib/Logic/StructureR]MJvZXK$-0u(y1\{Fexamples/outdated-and-incorrect/AIM6/Cat/lib/Logic/Structure/Monoid.agda[]MOBfڑV͍X6*lFexamples/outdated-and-incorrect/AIM6/Cat/lib/Logic/Structure/Applicative.agda]MILCȵX9* e6岞]Fexamples/outdated-and-incorrect/AIM6/Cat/lib/Logic/Structure/.cvsignore]MC͹[WX? ys~*?h}͐Fexamples/outdated-and-incorrect/AIM6/Cat/lib/Logic/Relations.agda]MD˂b4u;4FZ}q 9|Fexamples/outdated-and-incorrect/AIM6/Cat/lib/Logic/Operations.agda]MAodFݾmv(9ѵJK@Fexamples/outdated-and-incorrect/AIM6/Cat/lib/Logic/Leibniz.agda]MB ߮kʊA+%LT.$VztY4y~Fexamples/outdated-and-incorrect/AIM6/Cat/lib/Logic/Identity.agda]ME yJ$Nqǘ(M!24Fexamples/outdated-and-incorrect/AIM6/Cat/lib/Logic/Equivalence.agdaR]MD##UlClj{T ''b{AFexamples/outdated-and-incorrect/AIM6/Cat/lib/Logic/Congruence.agda]MHϸe;|;PLz-q#:(mZFexamples/outdated-and-incorrect/AIM6/Cat/lib/Logic/ChainReasoning.agda,]M>dDzzqnl+zlDj{aԉsFexamples/outdated-and-incorrect/AIM6/Cat/lib/Logic/Base.agda]M?LCȵX9* e6岞]Fexamples/outdated-and-incorrect/AIM6/Cat/lib/Logic/.cvsignore3@M\Sk6I"p]¥zߖ$:?C:?h5)Az 9yo>Fexamples/outdated-and-incorrect/AIM6/Cat/lib/Data/Tuple.agda]M?Q,L$ D#v;JIw6;KFexamples/outdated-and-incorrect/AIM6/Cat/lib/Data/String.agda]M=W~ʅ`J|mS8MOFexamples/outdated-and-incorrect/AIM6/Cat/lib/Data/Show.agda8jAN'/eϧ pDexamples/outdated-and-incorrect/AIM6/Cat/lib/Data/Realk]MC烄hר= w F(Fexamples/outdated-and-incorrect/AIM6/Cat/lib/Data/Real/Gauge.agda]MF5ذԟN5&l2 c'Fexamples/outdated-and-incorrect/AIM6/Cat/lib/Data/Real/Complete.agdaE]MC"I*+^G i85 dJzFexamples/outdated-and-incorrect/AIM6/Cat/lib/Data/Real/CReal.agdaS]MB9яaX$ЌR\JRhCFexamples/outdated-and-incorrect/AIM6/Cat/lib/Data/Real/Base.agda]MCLCȵX9* e6岞]Fexamples/outdated-and-incorrect/AIM6/Cat/lib/Data/Real/.cvsignore]MAQeOc=%y4#dFexamples/outdated-and-incorrect/AIM6/Cat/lib/Data/PigeonHole.agdaY]MDq@_B٣\)ûWOU"ٻFexamples/outdated-and-incorrect/AIM6/Cat/lib/Data/Permutation.agda]M<--Sk@6D#GFexamples/outdated-and-incorrect/AIM6/Cat/lib/Data/Nat.agda܅77Rctf8ϼݐ"NybBr)Dexamples/outdated-and-incorrect/AIM6/Cat/lib/Data/Natw]MG. ` ԿU!dw:Y|p]^|Fexamples/outdated-and-incorrect/AIM6/Cat/lib/Data/Nat/Properties.agda]MBLCȵX9* e6岞]Fexamples/outdated-and-incorrect/AIM6/Cat/lib/Data/Nat/.cvsignorei]M>ء_(&j!@Hnu=Fexamples/outdated-and-incorrect/AIM6/Cat/lib/Data/Maybe.agda]M<H'%5N!'ЋFexamples/outdated-and-incorrect/AIM6/Cat/lib/Data/Map.agda]M=Hw0\V< o#Md`?%hFexamples/outdated-and-incorrect/AIM6/Cat/lib/Data/List.agda]MA{Z܌/-|"T6h:N+ Fexamples/outdated-and-incorrect/AIM6/Cat/lib/Data/Interval.agdaP ]M@ڞd,mjlg6Zm@t#Fexamples/outdated-and-incorrect/AIM6/Cat/lib/Data/Integer.agda ]M<pYZC.`0  jcP_Fexamples/outdated-and-incorrect/AIM6/Cat/lib/Data/Fin.agdaJ]M=#|/TkyX RF!m:Fexamples/outdated-and-incorrect/AIM6/Cat/lib/Data/Char.agda]M= J&:L7OG"U{$ tFexamples/outdated-and-incorrect/AIM6/Cat/lib/Data/Bool.agda]M=2"6"c> >\ IFexamples/outdated-and-incorrect/AIM6/Cat/lib/Data/Bits.agda]M9Bșo$'AdLxRUFexamples/outdated-and-incorrect/AIM6/Cat/lib/.cvsignorer]M6 j< P#ZV{'e3Fexamples/outdated-and-incorrect/AIM6/Cat/Unique.agdaB ]M5džԐԶӕş 0kYհYнFexamples/outdated-and-incorrect/AIM6/Cat/Slice.agda ]M63წ.y@*KO"XѧZ;Fexamples/outdated-and-incorrect/AIM6/Cat/Setoid.agda]M8#ퟳ>BJagĂ8Գ0C. OFexamples/outdated-and-incorrect/AIM6/Cat/Pullback.agda]M7=Ƕ`&4r~dJgC8Fexamples/outdated-and-incorrect/AIM6/Cat/Functor.agda]M8&qHt0:"S@/eY!Fexamples/outdated-and-incorrect/AIM6/Cat/Category.agda -2\sY c( HDexamples/order(iN5wry4%"`> m Fexamples/order/MinMax.agda]M$ь檐'|(r!J~޲*Fexamples/order/DecidableOrder.agda]MLCȵX9* e6岞]Fexamples/order/.cvsignoreOXVeDB`9V3N onDexamples/malformed]M%X< gn"ĵuߡFexamples/lib/Data/Tuple.agda]MQ,L$ D#v;JIw6;KFexamples/lib/Data/String.agda]Mc^ŨL|`/Wf\`|ʄn{Fexamples/lib/Data/Show.agda!ۢ/`>+=V+.\WxF5FgkDexamples/lib/Data/Realk]M#烄hר= w F(Fexamples/lib/Data/Real/Gauge.agda]M&5ذԟN5&l2 c'Fexamples/lib/Data/Real/Complete.agdap]M#NOM6pO'ߍBh D_GqFexamples/lib/Data/Real/CReal.agdaV]M"w1 l_0=S}9Fexamples/lib/Data/Real/Base.agda]M#LCȵX9* e6岞]Fexamples/lib/Data/Real/.cvsignore ]M!Mj"!U lU+*@HFexamples/lib/Data/Rational.agda ]M#niM#E!)tTQpN[CFexamples/lib/Data/PigeonHole.agda2]M$fkW[;ȫ['y([>Fexamples/lib/Data/Permutation.agda]MrZ]G0M9ہCMC&Fexamples/lib/Data/Nat.agdah7Rctf8ϼݐ"NybBr)Dexamples/lib/Data/Natw]M'. ` ԿU!dw:Y|p]^|Fexamples/lib/Data/Nat/Properties.agda]M"LCȵX9* e6岞]Fexamples/lib/Data/Nat/.cvsignore]M Z /$uN &-ξbTFexamples/lib/Data/Maybe.agda!]M2Bo}B걸]ٜ *Mp$<Fexamples/lib/Data/Map.agda]MHw0\V< o#Md`?%hFexamples/lib/Data/List.agda]M!{Z܌/-|"T6h:N+ Fexamples/lib/Data/Interval.agdaw ]M !ee`e+s~ОBG1OFexamples/lib/Data/Integer.agdai ]M^(cwb2R(c:V푴Fexamples/lib/Data/Fin.agdaJ]M#|/TkyX RF!m:Fexamples/lib/Data/Char.agda]M J&:L7OG"U{$ tFexamples/lib/Data/Bool.agda]M!K1@u0i8xbr_KFexamples/lib/Data/Bits.agda]MLCȵX9* e6岞]Fexamples/lib/Data/.cvsignore]MLCȵX9* e6岞]Fexamples/lib/.cvsignorel(oY?_Gت7B`\ɰǩ Dexamples/instance-argumentssJN<0o4crV A/G&HFexamples/instance-arguments/14-implicitConfigurations.agdaNHP>fI \!5(Cx/ {C`8d[VFexamples/instance-arguments/13-implicitProofObligations.agda{M8[ =g-%Ϣ};ij8Fexamples/instance-arguments/12-constraintFamilies.agda aEO,JWo쬎*21Iu9}hFexamples/instance-arguments/11-monads.agdaM4ÆzޏX~[Y19% . `qFexamples/instance-arguments/10-localInstances.agda{M8 _Ǡ s"YiVk}Fexamples/instance-arguments/09-higherOrderClasses.agdaHsJN1U}2cFexamples/instance-arguments/05-equality-std2.agdaM3o LFa 񧁔iq⣞]CFFexamples/instance-arguments/05-equality-std1.agda@0DO.ћ>NmR1[(("'*+c;Fexamples/instance-arguments/04-equality.agdauutIN-#JS$q.wr+52;67\%۟Fexamples/instance-arguments/03-classes.agdae2tO3g.&A'tH/Ðf\sFexamples/instance-arguments/02-classes-indep.agdasJN/ר}^W<*>.A5BW| a(PFexamples/instance-arguments/01-arguments.agdahKż=:_!%+PDexamples/compilerA]MO޿. P3׼pA'Fexamples/compiler/main.agda+rMJQX0PZQMW6 +F zFexamples/compiler/Not-named-according-to-the-Haskell-lexical-syntax.agda+c+M#@I<- oY)wK3DuDexamples/arithA ]ML%gQ(k*<3O2̽5b-Fexamples/arith/DivMod.agda]M}u=V!uCujX,Ya4\emFexamples/Vec.agda<f דސpPzalV\Dexamples/Termination_]M+G>푯jv ,dFexamples/Termination/simplified-comb.agdaF ]M &jy}nرS:0NcBeFexamples/Termination/comb.agdaN]M!RFd9[1)%&C'2EDD$Fexamples/Termination/Where.agda&]M!6] .\nЭR8ʅ|׊Fexamples/Termination/Tuple.agdaI]M6ACA#ƩIX˯I1}kGtmmFexamples/Termination/TerminationTwoConstructors.agdaZ]M+ ^]r[6jzqRyFexamples/Termination/StructuralOrder.agda+]M&Iq6GjDoRM5"\Fexamples/Termination/StreamProc.agda{]M( &:z,JTv.V)y2Fexamples/Termination/StreamEating.agda]M"ST@PMIyvq2 +\Fexamples/Termination/Stream.agdaԫ-)w'K8{ jBzz/NSiDexamples/Termination/Sized{]M3uR K1V:]zv xWu}C`hFexamples/Termination/Sized/SizedNatAnnotated.agda ]M*/L}L.΂@kI!cEZFexamples/Termination/Sized/SizedNat.agda ]M6ܸ(].B,ᑿ28$Zg:nFexamples/Termination/Sized/DeBruijnExSubstSized.agda ]M*T0C%"A/})@O{Fexamples/Termination/Sized/DeBruijn.agda=]M#(nAAW/OPcAf+"eFexamples/Termination/README]MƔԠ||>qŘgᄭܽFexamples/Termination/Ord.agda]M ЖSڙRăEYZ7$EFexamples/Termination/Nat.agdaUϜ|N"͛QtJX?`tC*BFexamples/Termination/Mutual.agda]M M Fjm:BԋO6#t/Fexamples/Termination/List.agdaRϜ|N#!m3=e}u]dnw{[Fexamples/Termination/Example.agdafV:1'#Xɟ-ۓ$Dexamples/Termination/CommonN(bÚZ{z_Q(*]֙F5JFexamples/Termination/Common/Level.agdaJ]M.{Z_Cv.J-fiCw˒OFexamples/Termination/Common/Coinduction.agda]M3Xq@yH"\}>;0!е]<Ҧ\Fexamples/Termination/Acc.agda@?Ϝ|N" ^#-ųfvϙKj hFexamples/TT.agda`mJRgNjm4mYPR3J BBDexamples/SummerSchool07̱# +liFexamples/Introduction/Modules.agdaܘ7Lr4;5 LckA-s#,Fexamples/AIM6/Path/Star.agda( ]M .H<QDŽdɆ tFexamples/AIM6/Path/Span.agda]M!W/㎧)Ҡ zs/f;Fexamples/AIM6/Path/Prelude.agda]M+7rsvYE 3o>,Fexamples/AIM6/Path/Nat.agda8 ]M1ydQ!cxs A4Fexamples/AIM6/Path/Modal.agda]M[~:R3o2юOIe28K erFexamples/AIM6/Path/MapTm.agda1]Mdo51U$)*wOcd?2]7aFexamples/AIM6/Path/List.agdal ]M KQj6tH縛Fzu+m Fexamples/AIM6/Path/Lambda.agda]M^F*ܻXC1EPFexamples/AIM6/Path/Fin.agda]M"[?g@^0Llc{Y Fexamples/AIM6/Path/Examples.agda]M֓dS~hLZsjHܯeo)8!Fexamples/AIM6/Path/Elem.agda]M4 V4]c]wDf@|?Y$&Fexamples/AIM6/Path/All.agdaLG!t4#FC}"&)Dh/ͣ$#$Dexamples/AIM6/HelloAgday]M!nKw+k>/Ȏ 'iFexamples/AIM6/HelloAgda/outline]M#^<|и1vph/^$rFexamples/AIM6/HelloAgda/With.agdap ]M&<^W+~BJMf|߇Fexamples/AIM6/HelloAgda/Records.agda]M'WNXx1>uB8&;ӿöFexamples/AIM6/HelloAgda/Naturals.agda]M&5TREX'}/Q@vJvl ۿܹȊFexamples/AIM6/HelloAgda/Modules.agdaJ ]M'sr w;th)%}Fexamples/AIM6/HelloAgda/Families.agda]M)l'rFlՉ,U=L{HX#Fexamples/AIM6/HelloAgda/Everything.agda]M(rm&CG~[^Uv(*T(E+0TFexamples/AIM6/HelloAgda/Datatypes.agda]M#u9}9eI)}`DiVBFexamples/AIM6/HelloAgda/Bool.agda]M%Tkaz c69HFexamples/AIM6/HelloAgda/Basics.agdaPwy-Z=$еڛ)u"LDexamples/AIM56/0Ekrhy/Y1Iu[Dexamples/AIM5/yoshikiYL]M uHRWq*8l/'Fexamples/AIM5/yoshiki/SET.agda]M"LCȵX9* e6岞]Fexamples/AIM5/yoshiki/.cvsignore2^D7I t[ S*s5IDexamples/AIM5/PolyDep-]Md^Z|Ƀ!`g}|6/Ja>ƨJczJFexamples/AIM5/PolyDep/log.txtF#]M"BgWIvUMK#HBK8?ޕFexamples/AIM5/PolyDep/Tools.agdaz]M!\c I]vc-D̊g'~Fexamples/AIM5/PolyDep/TYPE.agdaG]M(;c=guo=spVNeJo|UFexamples/AIM5/PolyDep/Reflexivity.agda!]M+_E0V4pS7᫚yˮ7TFexamples/AIM5/PolyDep/PolyDepPrelude.agda]M!>ϝ m%5{as/QFexamples/AIM5/PolyDep/Main.agda4";t6n']\yZ/; [UoDexamples/AIM5/PolyDep/Homogenous]M3 w ;_|ނaJl @xFexamples/AIM5/PolyDep/Homogenous/Reflexivity.agda]M+AGl!$f%4~ OCnB+x_Fexamples/AIM5/PolyDep/Homogenous/Nat.agda{]M0))'>܍0}v$kl; y(PnϱFexamples/AIM5/PolyDep/Homogenous/Equality.agdaC]M,x#~d'#?,x]YॵHFexamples/AIM5/PolyDep/Homogenous/Base.agda]M-Ҷ&%,3"z\5 ֞q^0/8_Fexamples/AIM5/PolyDep/Homogenous/.cvsignore, ]M#[>d+_$S.HN`Z!?oFexamples/AIM5/PolyDep/EqBase.agda]M"Ҷ&%,3"z\5 ֞q^0/8_Fexamples/AIM5/PolyDep/.cvsignoreQ;L+FPz_;jICDexamples/AIM5/Hedberg/O]M U~+y<@n[]DԻw=~}Fexamples/AIM4/bag/ParserC.agda]M"Hv;aɫUWo Sj $aFexamples/AIM4/bag/Nat.agdav sMp2[!q1UL`bFH4!Fexamples/AIM4/bag/List.agdasMD;o{eؽ^Z_UbK%l$3 0Fexamples/AIM4/bag/Equiv.agda;]M=Zn֞Z፿D=GFexamples/AIM4/bag/Eq.agda]M~\X#rt! <ҠVhz|!>HFexamples/AIM4/bag/Datoid.agda%]M KH7n;i9BhAMsY4,Fexamples/AIM4/bag/Bag.agda]MLCȵX9* e6岞]Fexamples/AIM4/bag/.cvsignore]MLCȵX9* e6岞]Fexamples/.cvsignoreƶ%Ip'V?9S5Ddoc k9 x$RjD0)nC 2ߚ)Ddoc/release-notes{Q&+XBގ vt8 o7mhT!Ѡ.Fdoc/release-notes/2-3-4.txtO8P5ZDQ'*Fz˚VpOHziMZ Fdoc/release-notes/2-3-2.txt~N"Ձ64`ME[oT SJߴiJO@Fdoc/release-notes/2-3-0.txt=G]M[K.1ic%o;e1%r>wYz:Fdoc/release-notes/2-2-8.txt!]Mc?%xwM~l.zXHyDFdoc/release-notes/2-2-6.txt]MWHyxLz^f,ua[%PSFdoc/release-notes/2-2-4.txt]MOyש;XWbCїk,G;2Fdoc/release-notes/2-2-2.txtHVaMݳOhMxӋnl-UFdoc/release-notes/2-2-10.txt ]MhZT<KH|B<Fdoc/release-notes/2-2-0.txt J?+5J1"]Xd&moM^Ddoc/pfe]M 1Q)V"ɗAe8{Fdoc/pfe/pfe.txt]8MD!5[YUhDdoc/pfe/fakeaCcIe7ԹpH _z3HDdoc/pfe/fake/Syntaxtq= K] m@?\> \Ddoc/pfe/fake/Syntax/Parser]M's SztА!lF;zFdoc/pfe/fake/Syntax/Parser/.cvsignoreEDvWy O-ka0z:"rDdoc/pfe/fake/Data;]Mm: 2tLM>tA4L&t-ǃx jFdoc/pfe/fake/Data/Map.hs]M>NU;6n?͗X[mEHFdoc/pfe/fake/Data/Generics.hs]M)R} 3^N!ٳ4E67ԛFdoc/pfe/.cvsignore, ߓEp .l@ % CDdoc/haddock3]M K@κ +):ljD1{$KI,/Fdoc/haddock/prologue]MAk a;{]G0uL]Mka6Fdoc/haddock/Makefile0]M&J('^$ά['-Fdoc/haddock/.cvsignore [0+sۢpV]#Er1_^r`Y~XDdoc/HCAR7 PjMr<h~uаOE\}BcϿryYi!܃ Fdoc/HCAR/May-2012.tex4+MfT "G+'UbYɒѹyhC:OxFdoc/HCAR/May-2011.tex]MrL:ġ>>6䰥F]Fdoc/HCAR/May-2010.texh]M,Z杭Ez!J7?Xp,@Fdoc/HCAR/May-2009.tex!]M8c.<wmE=(Fdoc/HCAR/May-2008.texM]MSqԺ8Yt >6H)CE|0Fdoc/HCAR/December-2007.tex ]MkCM㬼muE$1$Ŷ0Fconfigure.acT %\#SGQЛ Eq7\GU/hLDbenchmark.jNb:A)#Xu0E«VK$Sn-Fbenchmark/tests.mkx]I_DӘٲ28D Dbenchmark/std-lib e8Nwo+~7 (66'y} ‰Fbenchmark/std-lib/Any.agdam"Ah9.uW3qw]R֩Dbenchmark/proj}`N67r4)\`E&H6&FFbenchmark/proj/Record.agdaN}`N>[U Lj3!.l 2oʂ86Fbenchmark/proj/Nested.agda=}`N>)M2TӪ'K08sFbenchmark/proj/Data.agda tPrivgd6>핿yc`ѶFbenchmark/notes@ldKaz>PB0QDbenchmark/monad8N&>?PH-5:TFSʜCFbenchmark/monad/MonadPostulates.agda8NkB90ZkKàTFbenchmark/monad/Monad.agda8N!iYHq {w0U/>cK+'i}Fbenchmark/monad/IndexedMap.agda¿"(f=h x`EL̲8Dbenchmark/misc N0uOGmw6>{_aSuRFbenchmark/misc/UniversePolymorphicFunctor.agda!]M3f ].#Ny `d"[Fbenchmark/misc/LateMetaVariableInstantiation.agdaϢQg7kcI4\ˠmXfCFbenchmark/misc/Ids.agda(]M(s6Ǒbw9t&mO_R$uFbenchmark/misc/FunctorComposition.agda]M `:?bV#h TOHV i! Fbenchmark/logs/20121005-20.31-Ulfs-MacBook-Pro/syntax1tP7OjDWlυhMF< bFbenchmark/logs/20121005-20.31-Ulfs-MacBook-Pro/recordtP5kvgi͎>CLmBV9Fbenchmark/logs/20121005-20.31-Ulfs-MacBook-Pro/primtP<nNSc n9sUv\ aFbenchmark/logs/20121005-20.31-Ulfs-MacBook-Pro/polyfunctortP=b=5lb%G:@l>YyЌp,Fbenchmark/logs/20121005-20.31-Ulfs-MacBook-Pro/patternmatchtP7|w; =&bqqxFbenchmark/logs/20121005-20.31-Ulfs-MacBook-Pro/nestedtP?K/ȓOg^`~xir_MFbenchmark/logs/20121005-20.31-Ulfs-MacBook-Pro/monadpostulate_tP6 2%)W ߱MIWIGFbenchmark/logs/20121005-20.31-Ulfs-MacBook-Pro/monadtP94[N2)@Ah,ނFbenchmark/logs/20121005-20.31-Ulfs-MacBook-Pro/latemetatP8Y]t+_x%DQznTRi,lFbenchmark/logs/20121005-20.31-Ulfs-MacBook-Pro/functortP5'#ju-$?3'{ΌCbs)l"n6AFbenchmark/logs/20121005-20.31-Ulfs-MacBook-Pro/datatP4v?б*Wtڃ(%ʏFbenchmark/logs/20121005-20.31-Ulfs-MacBook-Pro/cwftP4BϫW0V,]<ץŕ=(B;X9Fbenchmark/logs/20121005-20.31-Ulfs-MacBook-Pro/cattP4;[KI󮘨"2BيFbenchmark/logs/20121005-20.31-Ulfs-MacBook-Pro/any#tP4R.fJb#FӈadFbenchmark/logs/20121005-20.31-Ulfs-MacBook-Pro/ac3} tP4LigL{x%ꮅN ]\^Fbenchmark/logs/20121005-20.31-Ulfs-MacBook-Pro/ac2 tP4D2į}KX3dXj`+~]Fbenchmark/logs/20121005-20.31-Ulfs-MacBook-Pro/ac10}-O}-ǡ&z'h(\0iYDbenchmark/logs/20121005-18.37-Ulfs-MacBook-ProFtP8q-#+Ҳ5.L J谼YEJFbenchmark/logs/20121005-18.37-Ulfs-MacBook-Pro/syntax2] tP8iB׎U}[RԯD?GTe*t`Fbenchmark/logs/20121005-18.37-Ulfs-MacBook-Pro/syntax1tP78.nTW{O;Ғ$mg׀5Fbenchmark/logs/20121005-18.37-Ulfs-MacBook-Pro/recordtP5˹v ufR;}H%Fbenchmark/logs/20121005-18.37-Ulfs-MacBook-Pro/primtP<.? %cII>Ӿ8:Fbenchmark/logs/20121005-18.37-Ulfs-MacBook-Pro/polyfunctortP=[`LƸE ~aJ9gX< 4rVFbenchmark/logs/20121005-18.37-Ulfs-MacBook-Pro/patternmatchtP7{sܻe Yt |ܕmFbenchmark/logs/20121005-18.37-Ulfs-MacBook-Pro/nestedtP?6kȣNCfj3;^nh*̻Fbenchmark/logs/20121005-18.37-Ulfs-MacBook-Pro/monadpostulateetP6yl;}nɾ)SM( ?C(PFbenchmark/logs/20121005-18.37-Ulfs-MacBook-Pro/monadtP9c&^ExPc@o?XI;Fbenchmark/logs/20121005-18.37-Ulfs-MacBook-Pro/latemetatP88Gј`;hWZ~Fbenchmark/logs/20121005-18.37-Ulfs-MacBook-Pro/functortP5ldOvU#fihmFbenchmark/logs/20121005-18.37-Ulfs-MacBook-Pro/datatP4&t3]~c ǒ5>l)Fbenchmark/logs/20121005-18.37-Ulfs-MacBook-Pro/cwftP4o<|cJQ8dD9y}Y=ОNFbenchmark/logs/20121005-18.37-Ulfs-MacBook-Pro/cattP4wTv\~ Fu9X?]"K{+=HFbenchmark/logs/20121005-18.37-Ulfs-MacBook-Pro/any"tP49ݷ[.sLˑAUHJ[a#Fbenchmark/logs/20121005-18.37-Ulfs-MacBook-Pro/ac3 tP4e1ֳ[t)LdPV/%Fbenchmark/logs/20121005-18.37-Ulfs-MacBook-Pro/ac2 tP4\NE7>bڑU讇7>5b$?Fbenchmark/logs/20121005-18.37-Ulfs-MacBook-Pro/ac10kP>lo/avEIT2Dbenchmark/logs/20120705-07.39-Ulfs-MacBook-ProG~\ Ғ>_!r4@}Fbenchmark/logs/20120705-07.39-Ulfs-MacBook-Pro/syntax2 ~j0Vr WT!lʏFbenchmark/logs/20120702-14.40-Ulfs-MacBook-Pro/polyfunctor~LQV1rD Fbenchmark/logs/20120702-14.40-Ulfs-MacBook-Pro/nested~"1G?;:CF;eq1Fbenchmark/logs/20120509-13.01-Ulfs-MacBook-Pro/recordOO5ŮٵvZk!"Anf(RFbenchmark/logs/20120509-13.01-Ulfs-MacBook-Pro/primOO< *^Cbz*\^$7)sĭFbenchmark/logs/20120509-13.01-Ulfs-MacBook-Pro/polyfunctorOO=SS(f] e36Se'g#Fbenchmark/logs/20120509-13.01-Ulfs-MacBook-Pro/patternmatchOO7 )$mxF8-{,rg~(Fbenchmark/logs/20120509-13.01-Ulfs-MacBook-Pro/nestedOO?TqԷ.R2n̶@ y2ﵳmFbenchmark/logs/20120509-13.01-Ulfs-MacBook-Pro/monadpostulate OO6, w-PQUP7 Fbenchmark/logs/20120509-13.01-Ulfs-MacBook-Pro/cwfOO4?,ni:l3UauFbenchmark/logs/20120509-13.01-Ulfs-MacBook-Pro/catOO4ȬG(Ӥsb 9xT|O>Fbenchmark/logs/20120509-13.01-Ulfs-MacBook-Pro/anyOO4caX(.[żZ M>AM Fbenchmark/logs/20120509-13.01-Ulfs-MacBook-Pro/ac3 OO4Tkd2I<ʅY3(0MYqFbenchmark/logs/20120509-13.01-Ulfs-MacBook-Pro/ac10J֝p7jzDFU2WB)Dbenchmark/logs/20120406-10.19-Ulfs-MacBook-Pro??~O8+{MW'ZmZ;]AۣFbenchmark/logs/20120406-10.19-Ulfs-MacBook-Pro/syntax2 ?~O8L縤u^7Hp+,kN)Fbenchmark/logs/20120406-10.19-Ulfs-MacBook-Pro/syntax1?~O7Nk95 t`CfFbenchmark/logs/20120406-10.19-Ulfs-MacBook-Pro/record?~O5UlwlmQL\ܯlArFbenchmark/logs/20120406-10.19-Ulfs-MacBook-Pro/prim?~O<h =~78ŃI{Xz{1JzcFbenchmark/logs/20120406-10.19-Ulfs-MacBook-Pro/polyfunctor?~O=ڲ4>s &s}| ]q M )Fbenchmark/logs/20120406-10.19-Ulfs-MacBook-Pro/patternmatch?~O72T⾛0mdX3éFbenchmark/logs/20120406-10.19-Ulfs-MacBook-Pro/nested?~O?1$n|5 X8-xVՀ/&Fbenchmark/logs/20120406-10.19-Ulfs-MacBook-Pro/monadpostulate ?~O6$}"_CȒڗ'Fbenchmark/logs/20120406-10.19-Ulfs-MacBook-Pro/monad?~O94&E8#:fuWAvfFbenchmark/logs/20120406-10.19-Ulfs-MacBook-Pro/latemeta?~O8_#[ҵ-6`m$.[M:Fbenchmark/logs/20120406-10.19-Ulfs-MacBook-Pro/functor~?~O5;ٽH [.{n )su6C] Fbenchmark/logs/20120406-10.19-Ulfs-MacBook-Pro/dataV?~O4wFbenchmark/logs/20120406-10.19-Ulfs-MacBook-Pro/ac3 ?~O4%$X`xyq#4% "Fbenchmark/logs/20120406-10.19-Ulfs-MacBook-Pro/ac2?~O4f,C* &l5ӱPn! Fbenchmark/logs/20120406-10.19-Ulfs-MacBook-Pro/ac1!09OͩPThOyrSA|6%PDbenchmark/logs/20120329-12.19-Ulfs-MacBook-ProAV9|O8</a%KY&" Fbenchmark/logs/20120329-12.19-Ulfs-MacBook-Pro/syntax2 V9|O8)ߏhuXU+b7&@炬yxk Fbenchmark/logs/20120329-12.19-Ulfs-MacBook-Pro/syntax1V9|O7aB[_ۥPiIS9Fbenchmark/logs/20120329-12.19-Ulfs-MacBook-Pro/recordV9|O5 Mf^1\Axp♻%|M"CFbenchmark/logs/20120329-12.19-Ulfs-MacBook-Pro/primV9|O<,F)=  ƨ[3rnFbenchmark/logs/20120329-12.19-Ulfs-MacBook-Pro/polyfunctorV9|O=Sb??~Dlf+C|) {Fbenchmark/logs/20120329-12.19-Ulfs-MacBook-Pro/patternmatchV9|O7*>OpqseBA\-F\ Fbenchmark/logs/20120329-12.19-Ulfs-MacBook-Pro/nestedV9|O?P +MLX u#(11Fbenchmark/logs/20120329-12.19-Ulfs-MacBook-Pro/monadpostulate V9|O6KgI GBIRM^)"Fbenchmark/logs/20120329-12.19-Ulfs-MacBook-Pro/monadV9|O95`#MNb||Gt^σkQ85aPFbenchmark/logs/20120329-12.19-Ulfs-MacBook-Pro/latemetaV9|O8T#]Yj1D\>l߬IJ}Fbenchmark/logs/20120329-12.19-Ulfs-MacBook-Pro/functor~V9|O5}{Gƌm1Wf(ZQ@ 1KFbenchmark/logs/20120329-12.19-Ulfs-MacBook-Pro/dataVV9|O4vZj[O)1-eCr'kډFbenchmark/logs/20120329-12.19-Ulfs-MacBook-Pro/cwfV9|O4(REVoc\F7{~f; {dqolFbenchmark/logs/20120329-12.19-Ulfs-MacBook-Pro/ac2V9|O4D[ b|sjD"gQQ4BeUuFbenchmark/logs/20120329-12.19-Ulfs-MacBook-Pro/ac1)0i״'. *cƣFbH\3Dbenchmark/logs/20120216-13.00-Ulfs-MacBook-ProVOcO8 |46Bp_ʷƒ\Y~Fbenchmark/logs/20120216-13.00-Ulfs-MacBook-Pro/syntax2 VOcO8)ʫ%G@qyHeaѹv)?&W2Fbenchmark/logs/20120216-13.00-Ulfs-MacBook-Pro/syntax1!VOcO7*"7 Ӎι/]`~ՉaX_Fbenchmark/logs/20120216-13.00-Ulfs-MacBook-Pro/record9VOcO5ϠK3u[3fmj|_ȜFbenchmark/logs/20120216-13.00-Ulfs-MacBook-Pro/primfVOcO<#\;$H%hAI,F$.xFbenchmark/logs/20120216-13.00-Ulfs-MacBook-Pro/polyfunctor#VOcO='߲JYk>CiY{I;WFbenchmark/logs/20120216-13.00-Ulfs-MacBook-Pro/patternmatch!VOcO7W؉^Q+ۏX%Oݝ'Fbenchmark/logs/20120216-13.00-Ulfs-MacBook-Pro/nestedPVOcO?Ȫ^ea.b+ۂ,_ 8|x50Fbenchmark/logs/20120216-13.00-Ulfs-MacBook-Pro/monadpostulateVOcO6A g--Ou{!CjB̄Fbenchmark/logs/20120216-13.00-Ulfs-MacBook-Pro/monadMVOcO96PUxbㄜ<WqeK_YFbenchmark/logs/20120216-13.00-Ulfs-MacBook-Pro/latemeta#VOcO8%T7` 1&Q 9CvrrFbenchmark/logs/20120216-13.00-Ulfs-MacBook-Pro/functorVOcO5Gu*Țqi[˼w Fbenchmark/logs/20120216-13.00-Ulfs-MacBook-Pro/dataVOcO4P6Q4 7ҝ>9Fbenchmark/logs/20120216-13.00-Ulfs-MacBook-Pro/cwf;VOcO4(tY~'Dsl)J]|Rm3WrߞFbenchmark/logs/20120216-13.00-Ulfs-MacBook-Pro/cat@VOcO4wz`ڕa`Ej {͛2ؙFbenchmark/logs/20120216-13.00-Ulfs-MacBook-Pro/anyVOcO4P!Pd4 A`lv܆"y Fbenchmark/logs/20120216-13.00-Ulfs-MacBook-Pro/ac3VOcO4'ڢLEPƵX!Ey4[`͂alFt+Fbenchmark/logs/20120216-13.00-Ulfs-MacBook-Pro/ac2cVOcO4U\cwk=L&6\O WjFbenchmark/logs/20120216-13.00-Ulfs-MacBook-Pro/ac110m e,C,vAi=As9pj>Dbenchmark/logs/20110924-10.14-Ulfs-MacBook-Pro~N8LT*K|Fbenchmark/logs/20110924-10.14-Ulfs-MacBook-Pro/prime~N<uS4 eNִZ'u9nf$2Fbenchmark/logs/20110924-10.14-Ulfs-MacBook-Pro/polyfunctor$~N=NhY)n<]sPxs Fbenchmark/logs/20110924-10.14-Ulfs-MacBook-Pro/patternmatch ~N7A^\oZT(̰|Na.`;ZN ϗ>دs'ƕ]H|]NFbenchmark/logs/20110924-10.14-Ulfs-MacBook-Pro/catA~N4x@ ZA:a(X"\lŠ_ sFbenchmark/logs/20110924-10.14-Ulfs-MacBook-Pro/any~N4.ҽ\bu0*EK 玻KFbenchmark/logs/20110924-10.14-Ulfs-MacBook-Pro/ac3~N4tXtB86@̑󑃬!Fbenchmark/logs/20110924-10.14-Ulfs-MacBook-Pro/ac2b~N4*e&:$x=Opu,B7ԢixFbenchmark/logs/20110924-10.14-Ulfs-MacBook-Pro/ac190˗^Gv:#:7>_ZwDbenchmark/logs/20110924-10.04-Ulfs-MacBook-Pro~N8O}r: Xr -Ɲ.ח^]Fbenchmark/logs/20110924-10.04-Ulfs-MacBook-Pro/syntax2 ~N8KB;Ըӳ*{@hǒOFbenchmark/logs/20110924-10.04-Ulfs-MacBook-Pro/syntax1 ~N7K-Xa;TH9ǣw'Fbenchmark/logs/20110924-10.04-Ulfs-MacBook-Pro/record8~N5MCw|Qyp)E*A/0 t3ZRRFbenchmark/logs/20110924-10.04-Ulfs-MacBook-Pro/prime~N<< ÑCZ8զ ^7Fbenchmark/logs/20110924-10.04-Ulfs-MacBook-Pro/polyfunctor$~N=V/r&[e썢m<(4dۺFbenchmark/logs/20110924-10.04-Ulfs-MacBook-Pro/patternmatch ~N7# j!㚭 9g5,.D;?Fbenchmark/logs/20110924-10.04-Ulfs-MacBook-Pro/nestedQ~N?˝=HfK\R;<(%t-h Fbenchmark/logs/20110924-10.04-Ulfs-MacBook-Pro/monadpostulate=~N6MZ&CMר;)45]Fbenchmark/logs/20110924-10.04-Ulfs-MacBook-Pro/monadL~N9I O l.9'y@ے做Iz{Fbenchmark/logs/20110924-10.04-Ulfs-MacBook-Pro/latemeta"~N8ShZ-jB=qs$(Fbenchmark/logs/20110924-10.04-Ulfs-MacBook-Pro/functor~N51&T(a6Ymٳo/y3p-Fbenchmark/logs/20110924-10.04-Ulfs-MacBook-Pro/data~N4hY2ǩDbenchmark/logs/20110924-09.49-Ulfs-MacBook-Pro~N8K_p6J*V9Qcfw9L6Fbenchmark/logs/20110924-09.49-Ulfs-MacBook-Pro/syntax2 ~N8gQّP096})^6xGT vFbenchmark/logs/20110924-09.49-Ulfs-MacBook-Pro/syntax1 ~N7AIu [>PiW\_Uo!bϫFbenchmark/logs/20110924-09.49-Ulfs-MacBook-Pro/record8~N5%- #iAeDdYpFbenchmark/logs/20110924-09.49-Ulfs-MacBook-Pro/prime~N<`sDaڛ)P}oFbenchmark/logs/20110924-09.49-Ulfs-MacBook-Pro/polyfunctor$~N=*ۧ HIB͘[J9QFbenchmark/logs/20110924-09.49-Ulfs-MacBook-Pro/patternmatch ~N7Z, 좯l{{C)¿mFbenchmark/logs/20110924-09.49-Ulfs-MacBook-Pro/nestedQ~N?D<QQ3p㰚dekbPFbenchmark/logs/20110924-09.49-Ulfs-MacBook-Pro/monadpostulate=~N6J$CuTDzFbenchmark/logs/20110924-09.49-Ulfs-MacBook-Pro/monadL~N9{'v7l';ڛFBJ-,Fbenchmark/logs/20110924-09.49-Ulfs-MacBook-Pro/latemeta"~N8g@7d4Hq;]MkFbenchmark/logs/20110924-09.49-Ulfs-MacBook-Pro/functor~N5lt2 Rl (F/Z5]Fbenchmark/logs/20110924-09.49-Ulfs-MacBook-Pro/data~N4ZՈs8u ewn3 bJeFbenchmark/logs/20110924-09.49-Ulfs-MacBook-Pro/cwf:~N4h1- xA9 8gc|Fbenchmark/logs/20110924-09.49-Ulfs-MacBook-Pro/catA~N4dmf+W7ѲyMz%qKK%mFbenchmark/logs/20110924-09.49-Ulfs-MacBook-Pro/any~N4ɵoBPC6~k2>?TFbenchmark/logs/20110924-09.49-Ulfs-MacBook-Pro/ac3~N4S'F_ӿKL'Qleѳ3o$fFbenchmark/logs/20110924-09.49-Ulfs-MacBook-Pro/ac2b~N4?LV2_vs l!Ve5S?q/1N|6SFbenchmark/logs/20110922-22.40-Ulfs-MacBook-Pro/nestedQj|N?ޑz;^6JϾ(/\P)] sFbenchmark/logs/20110919-16.46-Ulfs-MacBook-Pro/prime\wN<(`X04\䕭v:v0λFbenchmark/logs/20110919-16.46-Ulfs-MacBook-Pro/polyfunctor$\wN=r'-$R]q%=^OTFbenchmark/logs/20110919-16.46-Ulfs-MacBook-Pro/patternmatch \wN7 hL*|YTRr҆jFbenchmark/logs/20110919-16.46-Ulfs-MacBook-Pro/nestedQ\wN?k-fqþ={R$ ǎ}Gy?Fbenchmark/logs/20110919-16.46-Ulfs-MacBook-Pro/monadpostulate=\wN6|dhUHzwRq3?j*s%|'Fbenchmark/logs/20110919-16.46-Ulfs-MacBook-Pro/monadL\wN9Pe' j> ?ΰjxFbenchmark/logs/20110919-16.46-Ulfs-MacBook-Pro/latemeta"\wN8\YމٺzBl>'-0VuFbenchmark/logs/20110919-16.46-Ulfs-MacBook-Pro/functor\wN5g<|iܙcAx0w>-ggFbenchmark/logs/20110919-16.46-Ulfs-MacBook-Pro/data\wN4K\ɇQ"dGJk\Fbenchmark/logs/20110919-16.46-Ulfs-MacBook-Pro/cwf:\wN40URe:xx號(ȓU7$Fbenchmark/logs/20110919-16.46-Ulfs-MacBook-Pro/catA\wN4*{R9]p zFbenchmark/logs/20110919-16.46-Ulfs-MacBook-Pro/any\wN4"~Ͷn;G5 rJXFbenchmark/logs/20110919-16.46-Ulfs-MacBook-Pro/ac3\wN40K+ngF`%p>;@ffFbenchmark/logs/20110919-16.46-Ulfs-MacBook-Pro/ac2b\wN4 vFʫVMf)i xNFbenchmark/logs/20110919-16.46-Ulfs-MacBook-Pro/ac1Y0{7|뀯kB6dRr);q`KDbenchmark/logs/20110915-13.11-Ulfs-MacBook-ProIqN8fFSpy ]1ŸwFbenchmark/logs/20110915-13.11-Ulfs-MacBook-Pro/syntax2 IqN8wE/$Jxp@|j98QY"Fbenchmark/logs/20110915-13.11-Ulfs-MacBook-Pro/syntax1 IqN7>aؖ.x@ BgXrk[#Fbenchmark/logs/20110915-13.11-Ulfs-MacBook-Pro/record8IqN5::(x'9^ZYZ@֢Fbenchmark/logs/20110915-13.11-Ulfs-MacBook-Pro/primeIqN<3@hKrcj$6ZNcAOFbenchmark/logs/20110915-13.11-Ulfs-MacBook-Pro/polyfunctor$IqN=3zP` $ڨgnltFbenchmark/logs/20110915-13.11-Ulfs-MacBook-Pro/patternmatch IqN7F*C*hUTz9i EfFbenchmark/logs/20110915-13.11-Ulfs-MacBook-Pro/nestedQIqN?'A wyn GsZ _¼Fbenchmark/logs/20110915-13.11-Ulfs-MacBook-Pro/monadpostulate=IqN6o֏e8/_'(̇0(h*Fbenchmark/logs/20110915-13.11-Ulfs-MacBook-Pro/monadLIqN9ӞQJ7YĴX*(/:Ԡ 3Fbenchmark/logs/20110915-13.11-Ulfs-MacBook-Pro/latemeta"IqN8q7ٸZ$pU|'VCv T8z\Fbenchmark/logs/20110915-13.11-Ulfs-MacBook-Pro/functorIqN5!!HhǭFI$Fbenchmark/logs/20110915-13.11-Ulfs-MacBook-Pro/dataIqN43 . x|XHZJ@cm Fbenchmark/logs/20110915-13.11-Ulfs-MacBook-Pro/cwf:IqN46J?⎾>WzCž)op?xFbenchmark/logs/20110915-13.11-Ulfs-MacBook-Pro/catAIqN4#ww4 5M2 w{@tFbenchmark/logs/20110915-13.11-Ulfs-MacBook-Pro/anyIqN4|[j`P[ְfӨр:RKeBls Fbenchmark/logs/20110915-13.11-Ulfs-MacBook-Pro/ac3IqN49vhCd`ދxS^jyauFbenchmark/logs/20110915-13.11-Ulfs-MacBook-Pro/ac2bIqN4ec_nu`$;:oԿFbenchmark/logs/20110915-13.11-Ulfs-MacBook-Pro/ac1a0XM)h>:[Ok$cr1Dbenchmark/logs/20110915-09.14-Ulfs-MacBook-ProqN8̍T$&FL69[Fbenchmark/logs/20110915-09.14-Ulfs-MacBook-Pro/syntax2 qN8yн]:lJòy[^LƦ@QFbenchmark/logs/20110915-09.14-Ulfs-MacBook-Pro/syntax1 qN7e?;kHLVzs:Fbenchmark/logs/20110915-09.14-Ulfs-MacBook-Pro/record8qN5<Ԟ>9\}:c:cFbenchmark/logs/20110915-09.14-Ulfs-MacBook-Pro/primeqN< -B P.԰QuYjcFbenchmark/logs/20110915-09.14-Ulfs-MacBook-Pro/polyfunctor"qN=KjA`C/IW,ꋔ=&aFFbenchmark/logs/20110915-09.14-Ulfs-MacBook-Pro/patternmatch qN7tc>PĠ6 ~%+n>{_sbFbenchmark/logs/20110915-09.14-Ulfs-MacBook-Pro/nestedQqN?u2,˅GkA]b>)"#]:1{>SFbenchmark/logs/20110915-08.47-Ulfs-MacBook-Pro/primeqN<2#ަ;CTQҟ_$75⑺LFbenchmark/logs/20110915-08.47-Ulfs-MacBook-Pro/polyfunctor"qN=-e:bne!7ʡRpܰ{,@Fbenchmark/logs/20110915-08.47-Ulfs-MacBook-Pro/patternmatch qN7iȴ~|k#Fbenchmark/logs/20110915-08.47-Ulfs-MacBook-Pro/nestedQqN?t:<$ΉkB~/L7Fbenchmark/logs/20110915-08.47-Ulfs-MacBook-Pro/monadpostulate=qN6Bqv`U\}h3ncFbenchmark/logs/20110915-08.47-Ulfs-MacBook-Pro/monadLqN9@෗SHzW1#y;>Fbenchmark/logs/20110915-08.47-Ulfs-MacBook-Pro/latemeta"qN8|[g$'->#_^i`Fbenchmark/logs/20110915-08.47-Ulfs-MacBook-Pro/functorqN5gnϱt UF߃tg̱vSFbenchmark/logs/20110915-08.47-Ulfs-MacBook-Pro/dataqN4lKj,&`TfTV8zFbenchmark/logs/20110915-08.47-Ulfs-MacBook-Pro/cwf:qN4 7աkG ;ۤEP(*Fbenchmark/logs/20110915-08.47-Ulfs-MacBook-Pro/cat?qN4<[1Jfh h e.Fbenchmark/logs/20110915-08.47-Ulfs-MacBook-Pro/anyqN45 7j#i,S?U:;K՛IlFbenchmark/logs/20110915-08.47-Ulfs-MacBook-Pro/ac3qN4|7 HF<8CfʷA;b}6#Fbenchmark/logs/20110915-08.47-Ulfs-MacBook-Pro/ac2bqN4Ous8s}lFo 1g3 Xѧ&Fbenchmark/logs/20110915-08.47-Ulfs-MacBook-Pro/ac1q0|@!k΋y knadH5:\Dbenchmark/logs/20110915-07.38-Ulfs-MacBook-ProqN8*&"8LM`fתσo EFbenchmark/logs/20110915-07.38-Ulfs-MacBook-Pro/syntax2 qN8qԊa_!,װ2:F1\Fbenchmark/logs/20110915-07.38-Ulfs-MacBook-Pro/syntax1 qN7vh|,ĝ}K.:KW"Fbenchmark/logs/20110915-07.38-Ulfs-MacBook-Pro/record8qN5mf nh OPX< +L Fbenchmark/logs/20110915-07.38-Ulfs-MacBook-Pro/primeqN<0$l:] eh yj'k0Fbenchmark/logs/20110915-07.38-Ulfs-MacBook-Pro/polyfunctor"qN=ծ4ׯ5; b~LlFbenchmark/logs/20110915-07.38-Ulfs-MacBook-Pro/patternmatch qN7UtÂy Y+2\9#n{İy6FFbenchmark/logs/20110915-07.38-Ulfs-MacBook-Pro/nestedQqN?yCSz}uvKt)Fbenchmark/logs/20110915-07.38-Ulfs-MacBook-Pro/monadpostulate=qN6?2H:畳[GO.mFbenchmark/logs/20110915-07.38-Ulfs-MacBook-Pro/monadLqN9!kj-YkaIoiFbenchmark/logs/20110915-07.38-Ulfs-MacBook-Pro/latemeta"qN8")TZQ=/ AV,QFbenchmark/logs/20110915-07.38-Ulfs-MacBook-Pro/functorqN5ϻ3<}.ЙZxuG&b^IELDFbenchmark/logs/20110915-07.38-Ulfs-MacBook-Pro/dataqN4sۜVەd7e),ɗ-vFbenchmark/logs/20110915-07.38-Ulfs-MacBook-Pro/cwf:qN4Lg$t2 U_zv]&n˝/ Fbenchmark/logs/20110915-07.38-Ulfs-MacBook-Pro/cat?qN4{]PS|rDEJk2|GOFbenchmark/logs/20110915-07.38-Ulfs-MacBook-Pro/anyqN4JDYS]& Vd GxxeFbenchmark/logs/20110915-07.38-Ulfs-MacBook-Pro/ac3qN4X-9OzP l]_X.Fbenchmark/logs/20110915-07.38-Ulfs-MacBook-Pro/ac2bqN4 mi ;f/ +a%F/,QFbenchmark/logs/20110915-07.38-Ulfs-MacBook-Pro/ac1y0ݯ:ev}{i˖?Bz:rDbenchmark/logs/20110910-23.55-Ulfs-MacBook-ProqN8}h=D#lM*֌ ^Fbenchmark/logs/20110910-23.55-Ulfs-MacBook-Pro/syntax2 qN8q*NUH5qm绪`>ꎶ9Fbenchmark/logs/20110910-23.55-Ulfs-MacBook-Pro/syntax1qN7M<~r#pc+5o60qRZl5Fbenchmark/logs/20110910-23.55-Ulfs-MacBook-Pro/recordqN5^g4l .` Fbenchmark/logs/20110910-23.55-Ulfs-MacBook-Pro/primeqN< ut_gיǑ83APFbenchmark/logs/20110910-23.55-Ulfs-MacBook-Pro/polyfunctorqN=VU_͎)ҥ]ntDRnO _.+ Fbenchmark/logs/20110910-23.55-Ulfs-MacBook-Pro/patternmatchqN78og۞k5iڹ?6cAh7Fbenchmark/logs/20110910-23.55-Ulfs-MacBook-Pro/nestedQqN?ڂ E^> oJlCA(Fbenchmark/logs/20110910-23.55-Ulfs-MacBook-Pro/monadpostulate=qN6SIb=OP)\X^.s4JkdFbenchmark/logs/20110910-23.55-Ulfs-MacBook-Pro/monad1qN94p+5 B|ȗy4jx1~EAYFbenchmark/logs/20110910-23.55-Ulfs-MacBook-Pro/latemetaqN8pr=ka+6g_ULn=6JȗoB Fbenchmark/logs/20110910-23.55-Ulfs-MacBook-Pro/functorqN5ܾ+oͰgr U?,M`Fbenchmark/logs/20110910-23.55-Ulfs-MacBook-Pro/dataqN4bgFBCjV0ew {;#mx݃Fbenchmark/logs/20110910-23.55-Ulfs-MacBook-Pro/cwfqN46U jY\Ȍ?F\גOuʏ~Fbenchmark/logs/20110910-23.55-Ulfs-MacBook-Pro/cat?qN4l\(J̰/½%Fbenchmark/logs/20110910-23.55-Ulfs-MacBook-Pro/anyqN4gKx.r$΂^O6X"Fbenchmark/logs/20110910-23.55-Ulfs-MacBook-Pro/ac3qN4ߎYCٌ=Ö6?\}n0Fbenchmark/logs/20110910-23.55-Ulfs-MacBook-Pro/ac2qN4zu$* ^& sƶq Fbenchmark/logs/20110910-23.55-Ulfs-MacBook-Pro/ac10MX8*Imͱd_$o'/0}!FDbenchmark/logs/20110909-23.56-Ulfs-MacBook-Pro.jN8 +"[3,%OzpX0>j`"Fbenchmark/logs/20110909-23.56-Ulfs-MacBook-Pro/syntax2 .jN8Q=jS>v! 2eP^tg,G:WFbenchmark/logs/20110909-23.56-Ulfs-MacBook-Pro/syntax1.jN77S^\.{نcE6?Fbenchmark/logs/20110909-23.56-Ulfs-MacBook-Pro/record.jN5.;CCT k-yUmhC2Fbenchmark/logs/20110909-23.56-Ulfs-MacBook-Pro/prime.jN<@W? 'N+hnn,÷9"Fbenchmark/logs/20110909-23.56-Ulfs-MacBook-Pro/polyfunctor.jN=HzEHGBxivԍ}`1Fbenchmark/logs/20110909-23.56-Ulfs-MacBook-Pro/patternmatch.jN7Xd#_Xf![URŵѢFbenchmark/logs/20110909-23.56-Ulfs-MacBook-Pro/nestedQ.jN?afSEGb`Jsw^xHtFbenchmark/logs/20110909-23.56-Ulfs-MacBook-Pro/monadpostulate=.jN62`%(e>>bQ%5tۆFbenchmark/logs/20110909-23.56-Ulfs-MacBook-Pro/monad1.jN9].`6$|mh;էo1d-Fbenchmark/logs/20110909-23.56-Ulfs-MacBook-Pro/latemeta.jN8/^BQ/٪ՅīT)AOZmFbenchmark/logs/20110909-23.56-Ulfs-MacBook-Pro/functor.jN54M Y#NԲl#4Fbenchmark/logs/20110909-23.56-Ulfs-MacBook-Pro/any.jN42;m)v63hѭr@ : Fbenchmark/logs/20110909-23.56-Ulfs-MacBook-Pro/ac3.jN4J2Ac[Dy8W CG8Fbenchmark/logs/20110909-23.56-Ulfs-MacBook-Pro/ac2.jN4p?mY3YB)1 .=#eFbenchmark/logs/20110909-23.56-Ulfs-MacBook-Pro/ac100ɔ?eߐӲw;£;y /Dbenchmark/logs/20110908-14.00-Ulfs-MacBook-ProWhN8 oqGю0:)ոWD)">Fbenchmark/logs/20110908-14.00-Ulfs-MacBook-Pro/syntax2BWhN8}m,k7^ptw?5nk Fbenchmark/logs/20110908-14.00-Ulfs-MacBook-Pro/syntax1WhN7E~Fѯx|5# VTFbenchmark/logs/20110908-14.00-Ulfs-MacBook-Pro/recordWhN5ب/>vc}p/%!TE3$H'[Fbenchmark/logs/20110908-14.00-Ulfs-MacBook-Pro/prim4WhN<쥻 D8:~<˗ґ&Fbenchmark/logs/20110908-14.00-Ulfs-MacBook-Pro/polyfunctorWhN=J#?GU3C2H1Lm YbkFbenchmark/logs/20110908-14.00-Ulfs-MacBook-Pro/patternmatchWhN7L{# ?7/x=qY] iFbenchmark/logs/20110908-14.00-Ulfs-MacBook-Pro/nested WhN?mA?V,f H>+b@pFbenchmark/logs/20110908-14.00-Ulfs-MacBook-Pro/monadpostulate WhN6.]Fbenchmark/logs/20110908-14.00-Ulfs-MacBook-Pro/cwf WhN4OX/uk\aa٢Fbenchmark/logs/20110908-14.00-Ulfs-MacBook-Pro/catWhN4Z'Y7_ KwDVN08{nx3?Fbenchmark/logs/20110908-14.00-Ulfs-MacBook-Pro/ac3WhN4 T)T.R\ ʢͿ=)xFbenchmark/logs/20110908-14.00-Ulfs-MacBook-Pro/ac2WhN42V `@z*n$f02Fbenchmark/logs/20110908-14.00-Ulfs-MacBook-Pro/ac1Đ0XGRh7hl ^39~=)( Dbenchmark/logs/20110907-05.32-Ulfs-MacBook-Pro.fN8y]^`^7HLOABbdCbFbenchmark/logs/20110907-05.32-Ulfs-MacBook-Pro/syntax2B.fN8-\[|,ypSEY[QceAjFbenchmark/logs/20110907-05.32-Ulfs-MacBook-Pro/syntax1.fN7阷sQ9vJBޏMnn4=(~@&Fbenchmark/logs/20110907-05.32-Ulfs-MacBook-Pro/record.fN5@4!e EX$xǑ~ؤ]C: Fbenchmark/logs/20110907-05.32-Ulfs-MacBook-Pro/prim4.fN<:ڂ툟·#|lk$~"Fbenchmark/logs/20110907-05.32-Ulfs-MacBook-Pro/polyfunctor.fN=I)f{V%ݳNx2TFbenchmark/logs/20110907-05.32-Ulfs-MacBook-Pro/patternmatch.fN7/Tۀ7b\N f2ku`Fbenchmark/logs/20110907-05.32-Ulfs-MacBook-Pro/nested .fN? O8_i O+>ZsuFbenchmark/logs/20110907-05.32-Ulfs-MacBook-Pro/monadpostulate .fN6%ԙnfzlb]GL01$еOFbenchmark/logs/20110907-05.32-Ulfs-MacBook-Pro/monad.fN96Ⱦ1 ð$B3fq[h,oFbenchmark/logs/20110907-05.32-Ulfs-MacBook-Pro/latemeta.fN811A',>|ay [# 7N|FFFbenchmark/logs/20110907-05.32-Ulfs-MacBook-Pro/functor.fN5`t= 6K;İj>yK_ּFbenchmark/logs/20110907-05.32-Ulfs-MacBook-Pro/datac.fN4eԻ&^;4 15l ҳS2Fbenchmark/logs/20110907-05.32-Ulfs-MacBook-Pro/cwf .fN48IE"E's}7f\ڈ~Fbenchmark/logs/20110907-05.32-Ulfs-MacBook-Pro/cat.fN4th_/UwSQ&F*4ԯgp/rFbenchmark/logs/20110907-05.32-Ulfs-MacBook-Pro/ac3.fN4j=~ʚfbX?EPbFbenchmark/logs/20110907-04.48-Ulfs-MacBook-Pro/syntax1.fN70[TU%{匜@DQZ'Fbenchmark/logs/20110907-04.48-Ulfs-MacBook-Pro/record.fN5g^. *E-[d'>1J.1.oFbenchmark/logs/20110907-04.48-Ulfs-MacBook-Pro/prim4.fN<X5 <@qSǟ^S `4Fbenchmark/logs/20110907-04.48-Ulfs-MacBook-Pro/polyfunctor.fN=);HF+DȺjր HFbenchmark/logs/20110907-04.48-Ulfs-MacBook-Pro/patternmatch.fN7=YB HM0R/nhᜒ{!oFbenchmark/logs/20110907-04.48-Ulfs-MacBook-Pro/nested .fN?ףK[68QHϙNOpFbenchmark/logs/20110907-04.48-Ulfs-MacBook-Pro/monadpostulate .fN6m,% |0~BJJSOGFbenchmark/logs/20110907-04.48-Ulfs-MacBook-Pro/monad.fN9)6R!Om]=k'6: G\ Fbenchmark/logs/20110907-04.48-Ulfs-MacBook-Pro/latemeta.fN8r{^a["79QsKFbenchmark/logs/20110907-04.48-Ulfs-MacBook-Pro/functor.fN5]{823dr^GeFbenchmark/logs/20110907-04.48-Ulfs-MacBook-Pro/datac.fN4Adީa/fzXt³Fbenchmark/logs/20110907-04.48-Ulfs-MacBook-Pro/cwf .fN49A5R+pT4,k7[Fbenchmark/logs/20110907-04.48-Ulfs-MacBook-Pro/cat.fN4 %^lڇhu½h#zFbenchmark/logs/20110907-04.48-Ulfs-MacBook-Pro/ac3.fN4UdA1 gxm8zwYY+~!eFbenchmark/logs/20110907-04.48-Ulfs-MacBook-Pro/ac2.fN45bwV)lٟxqL9ѩȥ^i|Fbenchmark/logs/20110907-04.48-Ulfs-MacBook-Pro/ac10+ hH*.8p d O2-Dbenchmark/logs/20110907-03.26-Ulfs-MacBook-Pro.fN8YiB;encr%*Fbenchmark/logs/20110907-03.26-Ulfs-MacBook-Pro/syntax2B.fN8ftBtn. #lMPص'Q$Fbenchmark/logs/20110907-03.26-Ulfs-MacBook-Pro/syntax1.fN7I½@%]_G(=84Fbenchmark/logs/20110907-03.26-Ulfs-MacBook-Pro/record.fN5brdsv0޻9L0`lmVrFbenchmark/logs/20110907-03.26-Ulfs-MacBook-Pro/prim4.fN<'TWx7aL~xWCj UI R#Fbenchmark/logs/20110907-03.26-Ulfs-MacBook-Pro/polyfunctor.fN=[}6n"hO<2oOJT4c;uFbenchmark/logs/20110907-03.26-Ulfs-MacBook-Pro/patternmatch.fN7gn,_e_8O-HUyTFbenchmark/logs/20110907-03.26-Ulfs-MacBook-Pro/nested .fN?xap*,h[OԇrQFbenchmark/logs/20110907-03.26-Ulfs-MacBook-Pro/monadpostulate .fN6s?K b*uhU$2!Fbenchmark/logs/20110907-03.26-Ulfs-MacBook-Pro/monad.fN9Ѓ~Iz)#'c#Fbenchmark/logs/20110907-03.11-Ulfs-MacBook-Pro/prim4.fN<6OEOCIsNvGC4C)Fbenchmark/logs/20110907-03.11-Ulfs-MacBook-Pro/polyfunctor.fN=RE=kX Y[C mi¾f`![Fbenchmark/logs/20110907-03.11-Ulfs-MacBook-Pro/patternmatch.fN7KPʜǮƣ[!1Բ30ި/3t*Fbenchmark/logs/20110907-03.11-Ulfs-MacBook-Pro/nested .fN?1/2y!zT2J/"^ lJFbenchmark/logs/20110907-03.11-Ulfs-MacBook-Pro/monadpostulate .fN6$fJ%|zڔ;rk@<7nFbenchmark/logs/20110907-03.11-Ulfs-MacBook-Pro/monad.fN9זbgYd(2? k/|k wvZFbenchmark/logs/20110907-03.11-Ulfs-MacBook-Pro/latemeta .fN84{nuORT~:}Vhi%ʴ-䫧Fbenchmark/logs/20110907-03.11-Ulfs-MacBook-Pro/functor.fN5;6GYP.iZb]Fbenchmark/logs/20110907-03.11-Ulfs-MacBook-Pro/datac.fN4J楦o*/br?,z2rFbenchmark/logs/20110907-03.11-Ulfs-MacBook-Pro/cwf .fN4`n?pjUW9 Fbenchmark/logs/20110907-03.11-Ulfs-MacBook-Pro/cat.fN4Y܁i|O=d&3@I/K~eFbenchmark/logs/20110907-03.11-Ulfs-MacBook-Pro/ac3".fN4'#uĻgS&?I-aGia;"3Fbenchmark/logs/20110907-03.11-Ulfs-MacBook-Pro/ac2.fN4DdC|Y6+H CuE:_Fbenchmark/logs/20110907-03.11-Ulfs-MacBook-Pro/ac10l\|QOrrOZLB2+zDbenchmark/logs/20110907-01.19-Ulfs-MacBook-Pro.fN8o1'[?w45ƴ.5,Fbenchmark/logs/20110907-01.19-Ulfs-MacBook-Pro/syntax2B.fN8H7Lohm Fbenchmark/logs/20110907-01.19-Ulfs-MacBook-Pro/cat.fN4AW%U~pZ"f%0'Fbenchmark/logs/20110907-01.19-Ulfs-MacBook-Pro/ac3.fN47Us.1u釽Dc je*dFbenchmark/logs/20110907-01.19-Ulfs-MacBook-Pro/ac2.fN4Cs\G+5QH7_a1AFbenchmark/logs/20110907-01.19-Ulfs-MacBook-Pro/ac10V8^"ΊC/F!! SDbenchmark/logs/20110906-12.30-Ulfs-MacBook-Pro.fN8Q&c_sۭVSј!nhFbenchmark/logs/20110906-12.30-Ulfs-MacBook-Pro/syntax2}.fN8Ε%^,  ?D<\+9ݰ0kFbenchmark/logs/20110906-12.30-Ulfs-MacBook-Pro/syntax1.fN7! fL^w*^ SgFbenchmark/logs/20110906-12.30-Ulfs-MacBook-Pro/record.fN5[hbe_6'b$>E~AC'RFbenchmark/logs/20110906-12.30-Ulfs-MacBook-Pro/prim4.fN<4t;1Jqpْ]rrɠ}Fbenchmark/logs/20110906-12.30-Ulfs-MacBook-Pro/polyfunctor.fN=sڿܷ;_K8vm[>D{`Fbenchmark/logs/20110906-12.30-Ulfs-MacBook-Pro/patternmatch.fN7;/>P$jx 駂:Fbenchmark/logs/20110906-12.30-Ulfs-MacBook-Pro/nested .fN?T f%-7ᶰMBP͂Z\1 d"YhFbenchmark/logs/20110906-12.30-Ulfs-MacBook-Pro/monadpostulate .fN6Zm4dOO#~E "ThAA)Fbenchmark/logs/20110906-12.30-Ulfs-MacBook-Pro/monad.fN9.G N Ak_خ\q0Fbenchmark/logs/20110906-12.30-Ulfs-MacBook-Pro/latemeta.fN8F>OtR:j ܒLyioEpwFbenchmark/logs/20110906-12.30-Ulfs-MacBook-Pro/functor.fN5H8cpg!rAيFbenchmark/logs/20110906-12.30-Ulfs-MacBook-Pro/datac.fN4HXzKj1<:/Fuj?fdeRFbenchmark/logs/20110906-12.30-Ulfs-MacBook-Pro/cwf .fN4 L6KpsSF)r&f,N G+Fbenchmark/logs/20110906-12.30-Ulfs-MacBook-Pro/cat.fN4%)̪ii (kK!Sp>C=Fbenchmark/logs/20110906-12.30-Ulfs-MacBook-Pro/ac3.fN4 ЦN}W@|p% r{GFbenchmark/logs/20110906-12.30-Ulfs-MacBook-Pro/ac2.fN4K#rT_V0Zl} RANFbenchmark/logs/20110906-12.30-Ulfs-MacBook-Pro/ac1<0dS<fl%]̄}mWb&Al|Dbenchmark/logs/20110902-12.38-Ulfs-MacBook-Pro}`N8׭yT:cRHqA,u JFbenchmark/logs/20110902-12.38-Ulfs-MacBook-Pro/syntax2}}`N8e+ٞ+tJ#^+Fbenchmark/logs/20110902-12.38-Ulfs-MacBook-Pro/syntax1}`N7hP4ea3U,kscc!Fbenchmark/logs/20110902-12.38-Ulfs-MacBook-Pro/record}`N5{}H;œu/iYfFbenchmark/logs/20110902-12.38-Ulfs-MacBook-Pro/prim6}`N<"ƒw3%[]jZ[fƌpFbenchmark/logs/20110902-12.38-Ulfs-MacBook-Pro/polyfunctor}`N=!׿gy+ h,n-rpFbenchmark/logs/20110902-12.38-Ulfs-MacBook-Pro/patternmatch}`N7[YZ*qikQ$$Fbenchmark/logs/20110902-12.38-Ulfs-MacBook-Pro/nested }`N?uE,c~mr4Y{Fbenchmark/logs/20110902-12.38-Ulfs-MacBook-Pro/monadpostulate }`N6;`j>348\&7*Fbenchmark/logs/20110902-12.38-Ulfs-MacBook-Pro/monad}`N9(X&ɩ0M$nE^5~Fbenchmark/logs/20110902-12.38-Ulfs-MacBook-Pro/latemeta}`N86{<5%!Cl}Fbenchmark/logs/20110902-12.38-Ulfs-MacBook-Pro/functor}`N533a`GfH `Fbenchmark/logs/20110901-13.33-Ulfs-MacBook-Pro/patternmatch}`N7TT'M^;J4Sqgtn! h3 aFbenchmark/logs/20110901-13.33-Ulfs-MacBook-Pro/nested }`N?4 ggT]xClgݨvCFH-fyFbenchmark/logs/20110901-13.33-Ulfs-MacBook-Pro/monadpostulate }`N6n]ɝts8-ecţ&3evFbenchmark/logs/20110901-13.33-Ulfs-MacBook-Pro/monad}`N9y/[H'4yz#Έ/"j>YFbenchmark/logs/20110901-13.33-Ulfs-MacBook-Pro/latemeta}`N8'Bu}'YSÌMQ"kFbenchmark/logs/20110901-13.33-Ulfs-MacBook-Pro/functor}`N5v9|Umz{8F3 T5oFbenchmark/logs/20110901-13.33-Ulfs-MacBook-Pro/datac}`N4\E az;gK2D܂;(NhFbenchmark/logs/20110901-13.33-Ulfs-MacBook-Pro/cwf }`N4T^BlFC_,ᷕ]Fbenchmark/logs/20110901-12.30-Ulfs-MacBook-Pro/syntax1# a_N5H. Am-ܛo'NQsFbenchmark/logs/20110901-12.30-Ulfs-MacBook-Pro/primR a_N<:rmO)Jrm"3/\K+gFbenchmark/logs/20110901-12.30-Ulfs-MacBook-Pro/polyfunctor a_N=MCQbrfKt= PSSf8Fbenchmark/logs/20110901-12.30-Ulfs-MacBook-Pro/patternmatch< a_N?WB5CL3;8M̠;1Fbenchmark/logs/20110901-12.30-Ulfs-MacBook-Pro/monadpostulate( a_N6R򛀧.K7ElG;M6tFbenchmark/logs/20110901-12.30-Ulfs-MacBook-Pro/monad8 a_N9U~]08MB7Im_h-Fbenchmark/logs/20110901-12.30-Ulfs-MacBook-Pro/latemeta  a_N8aKd@m‰{:DC:w{;>Fbenchmark/logs/20110901-12.30-Ulfs-MacBook-Pro/functor a_N4\ǭ2=pgچˑ ;0EQXvFbenchmark/logs/20110901-12.30-Ulfs-MacBook-Pro/cwf% a_N4hU4Y?yUu2sg%~3EFbenchmark/logs/20110901-12.30-Ulfs-MacBook-Pro/cat a_N4mҢ;隅HCx %-IKFbenchmark/logs/20110901-12.30-Ulfs-MacBook-Pro/ac3" a_N4eo.p?5>=PeE]Tśх Fbenchmark/logs/20110901-12.30-Ulfs-MacBook-Pro/ac2 a_N4ƻrdVH)$>j7rytFbenchmark/logs/20110901-12.30-Ulfs-MacBook-Pro/ac1p0˭;pp,Of-.qP)Dbenchmark/logs/20110901-08.43-Ulfs-MacBook-Pro a_N8\jh2|03`d"Fbenchmark/logs/20110901-08.43-Ulfs-MacBook-Pro/syntax2 a_N8^4=X1D~ i+0`83bݥFbenchmark/logs/20110901-08.43-Ulfs-MacBook-Pro/syntax1# a_N5G Z5^HP⊒QE4Fbenchmark/logs/20110901-08.43-Ulfs-MacBook-Pro/primP a_N<i׈I%iĽFQs/9#ZFbenchmark/logs/20110901-08.43-Ulfs-MacBook-Pro/polyfunctor a_N=GNtZ2 6WM3Dbenchmark/logs/20110830-18.20-dhcp-178109]N3eA*+kkCca?{hFbenchmark/logs/20110830-18.20-dhcp-178109/syntax2]N3 Hz!c=UOG.eF^S^^HFbenchmark/logs/20110830-17.10-dhcp-178109/primP\N7a4rĝN,s3T|_ Fbenchmark/logs/20110830-17.10-dhcp-178109/polyfunctor<\N:d@dHΠTƷ84&C@ P[Fbenchmark/logs/20110830-17.10-dhcp-178109/monadpostulate(\N15N`I^6WƲݯ;l(LJ#9Fbenchmark/logs/20110830-17.10-dhcp-178109/monad8\N44;>*HE}NOTSdzrFbenchmark/logs/20110830-17.10-dhcp-178109/latemeta \N3sn>F}:/_e\Fbenchmark/logs/20110830-17.10-dhcp-178109/functor\N/#2 5=3]A⯼_kFbenchmark/logs/20110830-17.10-dhcp-178109/cwf%\N/r=UeF[6"PCPc؇~Fbenchmark/logs/20110830-17.10-dhcp-178109/cat\N/)3dIqLU`?`F34Nw%Fbenchmark/logs/20110830-17.10-dhcp-178109/ac3"\N/l>Xmܽw烛uxXx]Fbenchmark/logs/20110830-17.10-dhcp-178109/ac2\N/! 1-`qާpxgFFbenchmark/logs/20110830-17.10-dhcp-178109/ac1X74áR^ݳ!b.!˻_ 0; 0Dbenchmark/logs/20110825-14.57-ulf-norells-macbook-proLLVN?%5@K$vX} JgQ!CFbenchmark/logs/20110825-14.57-ulf-norells-macbook-pro/syntax2LLVN?2ugJw.I %.>KFbenchmark/logs/20110825-14.57-ulf-norells-macbook-pro/syntax1LLVN<<^'('Td_N˫|Fbenchmark/logs/20110825-14.57-ulf-norells-macbook-pro/primALLVNC,5=\+uPV1 # PįFbenchmark/logs/20110825-14.57-ulf-norells-macbook-pro/polyfunctor+LLVNF5XlU l*K2j)Fbenchmark/logs/20110825-14.57-ulf-norells-macbook-pro/monadpostulateLLVN=&q8 |x];qRFbenchmark/logs/20110825-14.57-ulf-norells-macbook-pro/monad)LLVN@~)|j=\< U?,4IiSօFbenchmark/logs/20110825-14.57-ulf-norells-macbook-pro/latemetaLLVN?UM| rsPgŚf'[Fbenchmark/logs/20110825-14.57-ulf-norells-macbook-pro/functorpLLVN;ȁVy0 BYnJjgWθnFbenchmark/logs/20110825-14.57-ulf-norells-macbook-pro/cwfLLVN;*O]v6JHlfӱW3¤Fbenchmark/logs/20110825-14.57-ulf-norells-macbook-pro/catLLVN;C,]?<y6ĜT4y#L)Fbenchmark/logs/20110825-14.57-ulf-norells-macbook-pro/ac3LLVN;?b0_ύCٚMSAFbenchmark/logs/20110825-14.57-ulf-norells-macbook-pro/ac2LLVN;cӧFpc6(dOiQ4Fbenchmark/logs/20110825-14.57-ulf-norells-macbook-pro/ac17p`}i;6*m}>yFDbenchmark/logs/20110824-18.56-ulf-norells-macbook-proLLVN?#$F-w[͢u=GP Fbenchmark/logs/20110824-18.56-ulf-norells-macbook-pro/syntax2LLVN?YO'Ub6'mӴ_[C"̈́@PFbenchmark/logs/20110824-18.56-ulf-norells-macbook-pro/syntax1LLVN<-+hYe\U+OZFbenchmark/logs/20110824-18.56-ulf-norells-macbook-pro/primALLVNC(+o [NUY?c'VC޺}}Fbenchmark/logs/20110824-18.56-ulf-norells-macbook-pro/polyfunctor+LLVNF K^hL٦)B_5/2Fbenchmark/logs/20110824-18.56-ulf-norells-macbook-pro/monadpostulateLLVN=iN,mrQ 5Kx Fbenchmark/logs/20110824-18.56-ulf-norells-macbook-pro/monad)LLVN@¸ILtGm-nɍvu'PUfFbenchmark/logs/20110823-08.00-ulf-norells-macbook-pro/ac2CSN;$ U(g +K XFbenchmark/logs/20110823-08.00-ulf-norells-macbook-pro/ac1$7&f쌈@GKG?p&'KDbenchmark/logs/20110823-07.51-ulf-norells-macbook-proCSN?Z/ORfז\6bT$m5Fbenchmark/logs/20110823-07.51-ulf-norells-macbook-pro/syntax2CSN?ӊ܅_@x#ק9꤈[%vzvFbenchmark/logs/20110823-07.51-ulf-norells-macbook-pro/syntax1CSN<5Ot1wnO .+S{'QuFbenchmark/logs/20110823-07.51-ulf-norells-macbook-pro/primACSNC&6[."BM9J88)RFkFbenchmark/logs/20110823-07.51-ulf-norells-macbook-pro/polyfunctor+CSNF"ډ?>W80x0pzNl)m!c-/Fbenchmark/logs/20110823-07.51-ulf-norells-macbook-pro/monadpostulateCSN=0D,~+0e,R\J:Fbenchmark/logs/20110823-07.51-ulf-norells-macbook-pro/monad)CSN@Z+ax U+:ӼFbenchmark/logs/20110822-09.36-dhcp-190251/functorpRN/L'H{cھVz1LKWvLqvMyFbenchmark/logs/20110822-09.36-dhcp-190251/cwfRN/ ?3_U\ ;8ߧ:8d۪Fbenchmark/logs/20110822-09.36-dhcp-190251/catRN/sdu_UcE= pM2oFbenchmark/logs/20110822-09.36-dhcp-190251/ac3RN/PɊ)5D'q=e>'x. $O=Fbenchmark/logs/20110822-09.36-dhcp-190251/ac2RN/_EHQ]ăs<dFbenchmark/logs/20110706-16.14-dhcp-186038/catN/xgJn7 ( Sb½&ɽ SFbenchmark/logs/20110706-16.14-dhcp-186038/ac3N/ 5Qh'c4]4BFbenchmark/logs/20110706-16.14-dhcp-186038/ac2N/ߜoVx6b}ASRIuFbenchmark/logs/20110706-16.14-dhcp-186038/ac1\ +XM txf /g[Ly87VDbenchmark/logs/20110706-10.42-dhcp-186038UN3ԕ?]?>6D=؄ۀmz0wFbenchmark/logs/20110706-10.42-dhcp-186038/syntax2UN35{pHfMx@><%靨Fۛ>/Fbenchmark/logs/20110701-09.48-dhcp-183029/monaduIN4 p[!O<@W>^xΝ>7fnB? )3繥DAFbenchmark/logs/20110629-21.47-ulf-norells-macbook-pro/latemeta N?1{ f"_>s7;6B$%=bFbenchmark/logs/20110629-21.47-ulf-norells-macbook-pro/functor N;_Z KF&>rFbenchmark/logs/20110629-21.47-ulf-norells-macbook-pro/ac2 N;| ~(&o&$JvĚ Fbenchmark/logs/20110629-21.47-ulf-norells-macbook-pro/ac1*^,r5hfb@j1#L~sDbenchmark/logs/20100113-19.32-dhcp-20-76]M2.xL$ ?_-meF5@ N%Fbenchmark/logs/20100113-19.32-dhcp-20-76/syntax2 ]M2J*'yR@aן>laeFbenchmark/logs/20100113-19.32-dhcp-20-76/syntax1`]M0Z߽+A"70>aɸ\.Fbenchmark/logs/20100113-19.32-dhcp-20-76/monad]M. 4FF"{e` 42IP"Ҵ!t[&Fbenchmark/logs/20100113-19.32-dhcp-20-76/cwf]M.'SkRpN=5QWjE#M~3Fbenchmark/logs/20100113-19.32-dhcp-20-76/cat]M.7Z }:)a1ܿlf jfkןFbenchmark/logs/20100113-19.32-dhcp-20-76/ac3]M.k v $VqH􂳸TFbenchmark/logs/20100113-19.32-dhcp-20-76/ac2]M.Eq)+H c;N?0 >Ҕw[Fbenchmark/logs/20100113-19.32-dhcp-20-76/ac17e]U04UL8M7_?\ͷ;Dbenchmark/logs/20090423-08.30-ulf-norells-macbook-pro]M?589^f#.^7 KFbenchmark/logs/20090423-08.30-ulf-norells-macbook-pro/syntax2]M?$> ϫ C#lnƁK{Fbenchmark/logs/20090423-08.30-ulf-norells-macbook-pro/syntax1]M=so愜xܾ_$Xt:ivFv g>Fbenchmark/logs/20090423-08.30-ulf-norells-macbook-pro/monad]M;@7_OI9=(ؑ6k+s#[xFbenchmark/logs/20090423-08.30-ulf-norells-macbook-pro/cwf]M;<s")P/mpe,s&b}b]QZtHFbenchmark/logs/20090423-08.30-ulf-norells-macbook-pro/cat]M;i8l>Mjwc$yFbenchmark/logs/20090423-08.30-ulf-norells-macbook-pro/ac3]M;Ja+WN3.9oprkFbenchmark/logs/20090423-08.30-ulf-norells-macbook-pro/ac2]M;L&Y@ΚY0Ap9nFbenchmark/logs/20090423-08.30-ulf-norells-macbook-pro/ac1!7s3F}A!or.MVkqDbenchmark/logs/20081201-13.09-ulf-norells-macbook-pro]M?եަ0KVu%1<2`֠RFbenchmark/logs/20081201-13.09-ulf-norells-macbook-pro/syntax2]M?ՙaug  `ݽwƻ _Fbenchmark/logs/20081201-13.09-ulf-norells-macbook-pro/syntax1]M=UZmSβ%/bshG]|DB cFbenchmark/logs/20081201-13.09-ulf-norells-macbook-pro/monad]M;9%n n|qLG!@}Ӿ>(TFbenchmark/logs/20081201-13.09-ulf-norells-macbook-pro/cwf]M;+9"=mF:3DYK]i[}"Aޞ1KrBFbenchmark/logs/20081201-13.09-ulf-norells-macbook-pro/cat]M;3H&YlmިAm Ӑ *SmyFbenchmark/logs/20081201-13.09-ulf-norells-macbook-pro/ac3]M;|UعY7(/TQL&YB-e1LFbenchmark/logs/20081201-13.09-ulf-norells-macbook-pro/ac2]M;LCw5htYh\jFbenchmark/logs/20081201-13.09-ulf-norells-macbook-pro/ac1%72#frw)pcGu2GNGl,0܍q%G8JhyFbenchmark/logs/20081201-12.55-ulf-norells-macbook-pro/READMEp)74fX;{D2HyhoDbenchmark/logs/20081201-12.53-ulf-norells-macbook-pro]M?'2 (*[>Yt=ejzph<l cFbenchmark/logs/20081127-21.23-ulf-norells-macbook-pro/README07}N<}|(oo}YIkz tT 'B@A/}};0Fbenchmark/logs/20081127-09.18-ulf-norells-macbook-pro/cat]M;^b0z4RE/V=! Sf@`QbzFbenchmark/logs/20081127-09.18-ulf-norells-macbook-pro/ac3]M;4_͈X!Dn.C 3崞!Fbenchmark/logs/20081127-09.18-ulf-norells-macbook-pro/ac2]M;ي*`l@(ds''uFbenchmark/logs/20081127-09.18-ulf-norells-macbook-pro/ac147[;vspjdO4PBz0Dbenchmark/logs/20081126-15.26-ulf-norells-macbook-pro]M?KI-VŒٟܽtX.򎥴Fbenchmark/logs/20081126-15.26-ulf-norells-macbook-pro/syntax2]M?43uĒ4A,<k"%}~iMa搫Fbenchmark/logs/20081126-15.26-ulf-norells-macbook-pro/syntax1]M;o$ld7\NWNJFbenchmark/logs/20081126-15.26-ulf-norells-macbook-pro/cwf]M;5W̓>LC 99(cZYH`GgwFbenchmark/logs/20081126-15.26-ulf-norells-macbook-pro/cat]M;% C`_2gc Fd9e3Fbenchmark/logs/20081126-15.26-ulf-norells-macbook-pro/ac3]M;1j0*h4;|xvEߐ 8#A (3)Fbenchmark/logs/20081126-15.26-ulf-norells-macbook-pro/ac2]M;laz0=DKNt&Y7;~\Fbenchmark/logs/20081126-15.26-ulf-norells-macbook-pro/ac1Z]M>/j JF KZ1!T@wmbV!RFbenchmark/logs/20081126-15.26-ulf-norells-macbook-pro/README87I `; a`umP\nS"һFDbenchmark/logs/20081126-12.59-ulf-norells-macbook-pro]M?nwg7_u,`~=a| 1Fbenchmark/logs/20081126-12.59-ulf-norells-macbook-pro/syntax2]M?:yBt0vIh\EkpFbenchmark/logs/20081126-12.59-ulf-norells-macbook-pro/syntax1]M;Lc㎒>wŝT ߭nAp$Fbenchmark/logs/20081126-12.59-ulf-norells-macbook-pro/cwf]M; i_XJُElaˢthuFbenchmark/logs/20081126-12.59-ulf-norells-macbook-pro/cat]M; Ǹd XR6;qp P_K~Fbenchmark/logs/20081126-12.59-ulf-norells-macbook-pro/ac3]M;UwI.Y}f^D@H Fbenchmark/logs/20081126-12.59-ulf-norells-macbook-pro/ac2]M;$ȷ`\9-&}.0YX:ΙFbenchmark/logs/20081126-12.59-ulf-norells-macbook-pro/ac1C]M> <R08]!C/#NFbenchmark/logs/20081126-12.59-ulf-norells-macbook-pro/README`<74I\NU< u.dZ)-Dbenchmark/logs/20080730-12.47-ulf-norells-macbook-pro]M?ȥI{$M[28/osFbenchmark/logs/20080730-12.47-ulf-norells-macbook-pro/syntax2]M?g$"+0RP; /V5N;vFbenchmark/logs/20080730-12.47-ulf-norells-macbook-pro/syntax1]M;jz7.t%rr) \CrFbenchmark/logs/20080730-12.47-ulf-norells-macbook-pro/cwf]M;|KNHF艽bz˹~±genFbenchmark/logs/20080730-12.47-ulf-norells-macbook-pro/cat]M;#|Ze̚_v/pPL 87Fbenchmark/logs/20080730-12.47-ulf-norells-macbook-pro/ac3]M; l[La-eNrfȗU+fFbenchmark/logs/20080730-12.47-ulf-norells-macbook-pro/ac2]M;[=U ^RyW$rFbenchmark/logs/20080730-12.47-ulf-norells-macbook-pro/ac1?+2$Q]G4Npj0(ɺ$: n|Dbenchmark/logs/20080407-14.00-dhcp-243-41]M3y F;] &(u=K,vFbenchmark/logs/20080407-14.00-dhcp-243-41/syntax2]M3VC܇AaB\a# z@]ګT Fbenchmark/logs/20080407-14.00-dhcp-243-41/syntax1]M/(0KI9Uj'->⤩0"Fbenchmark/logs/20080407-14.00-dhcp-243-41/cwf]M/*G-VaV|Fbenchmark/logs/20080407-14.00-dhcp-243-41/cat]M/x$& R!vpTs-ʫJSFbenchmark/logs/20080407-14.00-dhcp-243-41/ac3]M/"#? SH 1B0t3smFbenchmark/logs/20080407-14.00-dhcp-243-41/ac2]M/2mz4R?] mъj+1،tFbenchmark/logs/20080407-14.00-dhcp-243-41/ac1B%4,}tMKniI40ԓk@{eD,Dbenchmark/logs/20080306-11.59-liviah ]M-DAΖk rgy[l0* Fbenchmark/logs/20080306-11.59-livia/syntax2} ]M-$c ^ش9l‘jT.L}Dbenchmark/logs/20080306-11.43-liviag ]M-dVJ#gp_9e28bNLFbenchmark/logs/20080306-11.43-livia/syntax2~ ]M-gjJ+53Y(-,70JW9Fbenchmark/logs/20080306-11.43-livia/syntax1\ ]M)Jʌy ?;J^s niFbenchmark/logs/20080306-11.43-livia/cat@ ]M)}]Vr̊/ ]x!(EFbenchmark/logs/20080306-11.43-livia/ac3T ]M)H[uIÎxt nID'Fbenchmark/logs/20080306-11.43-livia/ac2O ]M)hV,Uԟws]t Fbenchmark/logs/20080306-11.43-livia/ac1G%ĸ--fR4xFM #0YZ?Dbenchmark/logs/20071219-11.21-livia^ ]M)FҌ-3@ p) »cFbenchmark/logs/20071219-11.21-livia/catB ]M)(8Smk7/ E=qH Ru4Fbenchmark/logs/20071219-11.21-livia/ac3V ]M)k -M$JU^luFbenchmark/logs/20071219-11.21-livia/ac2Q ]M)FpM;3G(ߜx5`2o]Fbenchmark/logs/20071219-11.21-livia/ac1H,93,8Sj3>Х๤]?x=pPDbenchmark/logs/20071213-12.58-dhcp-246-168]M0/#:g*30&BuMH]Fbenchmark/logs/20071213-12.58-dhcp-246-168/cat]M0˽đR°-LL;kRC RCFbenchmark/logs/20071213-12.58-dhcp-246-168/ac3]M0y$`.^Cjt( ,}QFbenchmark/logs/20071213-12.58-dhcp-246-168/ac2]M0Y$G%vg'F叀<_ YFbenchmark/logs/20071213-12.58-dhcp-246-168/ac1r0OC PmCPs0c/&Fbenchmark/emacspJN2VٯFr/N žiqODbenchmark/cwf-.fNGM_~̔D+v|¥Fbenchmark/cwf/Setoid.agda%tgN8<:avF<{Fbenchmark/cwf/CwF.agdaa.fNx3et{D~5;Ǯn4rbhk]lP6_*ZFbenchmark/ac/Bool.agda]]M{qp!9Mne2+@XKֶf8Fbenchmark/ac/AC.agdaXT5tpW]&5 X+7CsXDbenchmark/Syntacticosmos]M-o05xE>`0,HmkjWFbenchmark/Syntacticosmos/UntypedLambda.agda]M$wbn4~ v)VMp9jۘFbenchmark/Syntacticosmos/Term.agda]M.N]vb&(x' FsAV^Fbenchmark/Syntacticosmos/Syntacticosmos.agda]M%^ flI( dd2<ˆrMEFbenchmark/Syntacticosmos/Subst.agdad]M%E)\֍fq _A5LcgfEFbenchmark/Syntacticosmos/Shift.agdaE]M!ZrA}.(X3@ωZ|@Z>Fbenchmark/Syntacticosmos/README#]M"P "{.@~qЄ ©%c7ޕ{(Fbenchmark/Syntacticosmos/Pr.agda]M#3Ӝ52~{-HGiK4`d_Fbenchmark/Syntacticosmos/Nom.agdaf]M#0Z+--h,e ;IïFbenchmark/Syntacticosmos/Loc.agda]M$Y~8嬗mGveZ sG\Fbenchmark/Syntacticosmos/Kind.agda]M$cej|-OvKG!]v4Fbenchmark/Syntacticosmos/Inst.agdai]M#Ew|OSQ-ݍ!:'Fbenchmark/Syntacticosmos/Eta.agdaa]M#Mb;> f!:_m6! X8GYvitFbenchmark/Syntacticosmos/Cxt.agda]M&S'FyU烒9T8JVFFbenchmark/Syntacticosmos/Basics.agdaz}`N%Z,eTR]pDte4@Fbenchmark/MakefileutP/pAmԮ +%ᔴ+gX'Fbenchmark/Benchmark.hsZ]M XRqgLbJFVnlwp4.1Faclocal.m4G ]Mi{#x[ 8}&}:\nKoWFTODO]M O ( a2q{]>7xFSetup.hsO-&-uQաT\8_Bk?IϜ ҉v: iFREADMEt!P i,;L")z{15BaFMakefileD @O  ۍ\ ʀX 2c$%!؀(4HؕJ\FLICENSEOP mybV =}7{'f7FHACKING?Q WP7?ݫTK!'6p`NnFAgda.cabaltP.Znt P[SKC8z\j*JJF.darcsignore]M 1dK]~֚hMSVyLF.cvsignoreqPyyL\-lv* 3 ䷓F.authorspellings