SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info e ,D ] Optics:threads=2elapsed=12.703cpu=21.200gc=0.532factor=1.677zXZִF! ]ŗXf1-/6vR[$G~fB7O7m3ƶBxb D))kIx'6B~ԱmP ӚiB7}Q [ȊyDG%&'6Bt~)DJ\ _ s8ދ_!j(k:E#pZo-?Sȹ<J%=YQ[b BU rTՍ'W)Lkذ[&ab>sP F׀Hw+g30<\$ɨmis,V$2*bM%{S4Bߤ%`ksBC㹅J{"~H ǯdyC]Xt8n'VQ/@d=Vc!I #6O1"{˻*V56UzTzaN܁gC~~@PTK4gYZ7zXZִF! ]ŗXiɟ.x<3,6g(8FϭgwAP,$v̏5 ftvr$'r24lE1ӻb![s1 1_-ьI>؞ߛ20~|s*gܶ\(T sf,[/ K(gg`(q'feRnlVlR zС,$Iyx쫳wdk"wZ4} ؂|U|~8~VZU˚y:qMHԫJo|OER+72_ =yqn1X՚ɸ6 _CjV0ٰpK`Nrj:^ #M¾/cU(PKa[oRkW|4lqfE<횮&AAMmA' ~ S[LIdPH~N w~ }1v'IKLcz|X" PO|I=p3f>@Pq_Ȃ5ol ;<$vo|WRLȄNc?Qy#fz]|Z p=d}{]uHwKr'>| &]-<0Tsn:FHdd`E 7\ &*|^*!v'懤ݝw-:SjTjI `,k$,ɱ %SNkbShߠL!+f5DQ)bzfnrLiL|&E%P: ˿ڎ@JCQ.V8̮z6qfA[`j2hcc! nzх`GJӳz<5S4& \!oo ^Lä{ZFGqw+9fo/[s]?I߯)Q#~B20zl!V/Y]d*F|_+na?GGv }7&6,PN?|XZ{]ސWI:3CV3L|st7._tQpae5,L# fp8eeFؐi٣4j_[ t4^* l6wij׭C 8lO3嬭ZwIAz8Th±gYZf527f2c92561a2fadb0a487b4efda421bce3542b0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 4f7e54040d1161908c171cb790265fb93ea22cf7   Optics 7% DOpticsOptics.Lens_Instancesdocument.tex7zXZִF! K]A-MՋhvG"uIBm5! G0HPWR MF7cH'шjuG T*ұ'y 8=m"_Ʀ&܃w F= UGrrSuIZ Hۀ̮kMFZn֋oJd\!\O%g!&B37rVKۧX-⪞mY߼W8XX"\oQ`b"2aw.]JK5̲_"uVN:<͕:>_j4 ϳnoge _8/yLH ?=#"oٳj&}\$NX|~3ӵlx,4'EE.+w~@=)3z@BLg4vqy1gK[voԺ 0$.P"X -3q}$v@N@oKX )^&6V:ɄS1=Qa'=KFsdRgoVgWl9L3$* > H,h>Z4#J;)CvJԺy6ϡѢR푁eH}Ә#CZP!(zBK06;%XdyWyE`uM+gDaEM ;K<hGr}[&4:`,t睯mUoo*("I$Ļ>EX03% OpticsOptics.Lens_Algebradocument.tex7zXZִF! /,D]A-MՋhvG"uIBm5! G0HPWR MF7b}Y& BXg M2Cl$lSBXT &RPJbAb1;}cjwlX(D]0LU9`ELJNxCfJHGKnR"X/zxmFy!>d~Gݟw8BFN쪗fu/oMlL2^ZLAY-]/*KЙfrU54zu&kil'Is dBD,ddx{ K^A;e9c).cn5 ﵬ>1`DPi1c΀[Qa(XaxTf0SM7Zm#}RCw22hAU'k6xny-mv3jV/)j'Nݠ頻[7~k82= &\B賗{(.1B_8bqPnv%ehHӤ@ |e.YO?4 Βt[*YNeTZ^*-pSP;e{8]Ѣ1t2ߤ ) )h\4v.11Mg4njQsDЫlBs G8!,h"PKН'S8H UV\C@ܒj*v<*<4Gjw)e&d,$_֡?F}`qD33$rEDcNB̡ͣMC/Wc8ABf=$a?m,9 a|](d>d>ߗ7#rec||JI9SWx: TFV-kF(HpbWv Dfa):I'@)t _K ywۏ-n6+UtՓu\zGog֥+2AlxY;7*Zx>Fv?;ր!ApjఴPLػUpF KHlZùkɊKG,';I-"(3f~x[Ռk@Лwy|6JcK5apgSy)f9SwöaI6X@NHj|{L9boҊ)3>8^3O©HٙR1W@WQwO>:ސ?E[@cLD0e ٍHc~UgkR2Hv=Ȏ)#>]<Kť'& 꺝VhEj@9 um&J65%X }o=#`y'tD/Fw5sPMWP8_.n,RRw6seZsO 8W*M 6l)6GwbmqO.γHG,_y[гSɔb PHmy?aX>P.-!&酺9._e,,G!T u/*hg0ʄ>י#h?M*b[pdgV&*RpH'ǻl# TrʲaHy"wI9V*h/$&q E7Rr1mʷR8vnoùr( ܏bǦ  Cs3U M7'5D0Te&̢uz`Q7sߤ(ݹ[Ɋd9 ]mt+TqԾ*gHbO(ĀmY1<{c\8[bmtwf e@ô("Gxq$M    .d 1}W/;%OpticsHOL-Library.State_Monaddocument.tex 5G%OpticsHOL-Library.Adhoc_Overloadingdocument.tex 0=%OpticsHOL-Library.Monad_Syntaxdocument.tex )/%OpticsOptics.Lens_Statedocument.tex "!%OpticsOptics.Twodocument.tex%'%OpticsOptics.Lensesdocument.tex(-%OpticsOptics.Lens_Lawsdocument.tex%'%OpticsOptics.Interpdocument.tex%'%OpticsOptics.Prismsdocument.tex)/%OpticsOptics.Lens_Orderdocument.tex-7%OpticsOptics.Lens_Instancesdocument.tex*3% OpticsOptics.Lens_Algebradocument.texQQ5,fʭE{@@~qL" zwԪL4skDUII ̃QB'6Ys/-4i@y X?2A:`kKWF,b!*B+!V @Ȉ~@HY }^XzӜz2'*{ߑ>Q/R"  밊KDhbl`d;K*} ,/tuQd0`k-/|4KEmS?*Z|9 ,orJ߱AQaqYyc:W5KJC^6;9P6.Þ;X"4zTe|B8S$m_/q\^K=ر֜ogS& ^ҫ̑T[]_Ӂi9tjIQTǔ6WH}'?I2΍2qDl%!9%(]`MC \k""!2zd!gzO i(Zi!YH=*'ml\+LZZ#ok (bN!{>B 2}Fbedd ;e=^a=7n_]X=' TMdg>j}yrU>GW/@s[f+ޱ1o$? Ry cpk?N%np@]X)m^qN8v&;BxD|o*y؂NV<=0LJjBX+HE%DhKNzO9A9$}Ɉiʠ}ݡ2ؾMEQzKc(WYPN5NOt'vjso0E"%WDl 2Q(.PnjdžoW@KߪJ J fbcn425li"0kfC6ꇰDP'obE X]Tܴ5[0=izP4ƻ%z<9}u9(fWnq\{RgD aԬG22/Q v?BE{*/ix|Z*FjH׭U濇V:-䱯(3FEٹWB0yNs.JtA Z痖Mܾ&Zi;+>Mx ?M,>z-TdZbE<}fϤn=6]͍=1V[!'D*t˅IL/;8`tݭzվcMvy3.{ى $!wڕXSӍ&+3u$̮)b4} ;ЌLʨT^]/yqbszJfF:=z& @%h{н5; uyMg}?k-a#b` W΁&hHR[ey N 3t, ~L9 >GVpjN/ܶ/빱9"jyiWRr|MKӞBdىƏ70Zgha9s7=jv4L= <@x?+ٽ I\qY7|Y]Ί&V ^?B^3ɇ^[_jM܅X/1/.ך IPxs,|PAzޭ 5\\BӚѩ.SVr"M.Q6VA_K;tccebڸ#d$X A iRWM~ee/MWt#޿FVUE;l]C#u!idRVSFikcIGhPA.<*(PM 2Ml|8:#깋JYqdA}ngȰ7ġsK!N M)oJ<\j_L~tO+cR)Ey@f. E%2UKƾ^6,!cV+(JfD^hq4-VBn/[A=إC/:sɵsw<4nRWr&/R3 ޮG]!$-ay.I Q~>}VIAz Q$N ڂO K,RT9fTK#^sK0GJi9[?4Z 4~mXXKG-FHs-J=1E9KumXs0Н/jl0PYd_C='ԔD-?~ⓉmѴS[$UJRMpeٯےcBF7xuhJt#K NGH_ H*U\){"Gɹǀ)Ö/e%$u I'"" KÞh&SsK"IЙFԶc+8,/ĺ"o:^ˆuOd,TZ' L˰!%~Ua246zȷi]qXۜ<ޛ ΞW}<(]rASD פ˾:($^x^QYAz=8b[>0{=20Ld],o^>*Em@_dk< A\{zsOo\v+#S|@>f',65HY҃/1!$틢8nj,Co~RՎQAw BѢ SBMՙpCD#K2XzRZ\gjϦ,'Ho!p uslPˤ8d/ JSr˱_ٖ1z9{j7 ~tQ([Xdbp!cv#:C.: w_Vah{B$#Q3BLHt4Xt5YĖ6F͉׈:@ 6_咯))=DS+t8%-PqDoNJpjkas}m5,n,!c0qG~P}O0B7m{=3%6QLYJ=(zB$,exy Qz<1$:{9C^2?e޷\=;+c'5+߬]#9X! Hq}k)Nm޹{G˫.Isk"bTE5Zٓq(q4wӅMXC{l,mR1Vjwy' wfP_[K-\Jfn!hmյ ;b_djo=Sd8YSJf$ZW"/{Ȧ6ԻV]Gq?wjAsgn^4,3}t;0@" #e ih}$vw}4$*X98FMƚTsJ]!17H#g) /1(U3V(_~ZIUD= LH; 6MXr}o* 52_:;ϏXοҢ뜲t+N"q'P, , VWF&ܑpCo%uPp/pgһ!e EHٗTQٳ!xɊEB7ٞ_Vdp+/[}&7D~Pўuϡm jdt [-{r %eUv /c?YXEǒnC&0Ǥ S ^}hĆzB8z 3RɃxhK;7 xT9QsUvd55;ً>Z(b1"|Nʷ Ս mc2(YɚeND7 f$}l@Mt!v3K8֤? (]jrXnb:5o 99wg̖]䞵B].ԀD=z᫫XkԭU64qaP+ī| .5$: gII\̓$,+.qڿc 9ڿ0=>_ǂ`Ʉk;Q2[bh hE#ƭr݇eG3yg<]?c6Ϫ`N$L.&4i`_[ I1n5#:7{S ,Ljv,vIuO׼Z3a{GHN.}QUraq> :Y8p a-p3ݦݫDHΒPHocsyA*6V\xB Qh}`{w5쀚uvZЮ`3?Gyo<ŠXNW05ʳsTwy"YhΙ]t -:Pܖ3^sCMёْ]Aem n FlY-V]N7԰jUbatmh4s9oB;>g @J {E!!Cj^/-m_(ڛOž,Xwz{H gӋ'r)_!m/3usc̜Ĩ8雯7OU>"oVT":@b4sа:cr(fT>*/7] 飀Be|=5 ){\ sJaR 3%ʔWo:|ut1[#\YA!p\!e+-(!Dl9(%9pk?,|Re H8€Ү@SMwZ"8 d0%$ uN.t`I&_(?mޣҤ:K29.[_Í}2yawO TH~up,y{QڞU{DȑM3QD{X9ej& =K yp aOޛiB!2x\|-еJPBRb8O)3/_d1sRFC\FaL]Yu@Xj^sv^;q]`iHYMC(1HgЪ=~ݲWl*b KoqŬr@4z4.&,YOqz+i~YM(IxwYD첹UD <JZd,'~*Rx.Vh U)k>x%[tv WB!{HNnE cvѦ>Y dř[?Z6oӜ1@!p{A^O, R8ÕAsF,!+k*v Wkܶ4ocs/}bd[ R|XH́[,Je}tغf8IBD;=S{ aFOmw""uZB]e(57K퉑]ϵh¤jAQ|HP!m+;[vÐ3^ot ~Cv exx ;bi:.(Aedg)–`ŴɑNa3|XU{3TQ33 E -2^ycs Ϫ7xANu6H$P!i#U[Ug)އ)1[VTq4} .aJؠKwKb ʛ䧡OLA )V.9(暉\Pqߴ)vOo stNͥ箒yZf>* eiOTD[ VNN2+Jte\j;]1<O Xjd{4 ZUN}l u1B[ o/ {BV5j0*Y4G_l;{:wXjKq{rYT[v62UEĤ]!1WИ) Yh d_Ħjfr^&KE!ʼ2 _^v6o,ٽY4D)7]ͮTCX E6;}K/   xp%XY.{Hטӵp1/Hn:  (O)DYh\7o_5/dx1*1Mx]9º6h-dlQ4K6vKy\̆oJ "?*Á0׺ XT_iTbXUD3phʍPB̰~'*?~i„ۀT}rZ#."-Ps]QS]}~tgZXU5(k K_ǵB4ؤ$$B6$٣ \Mg9k"}ZCXP&cgi׸!Q^ls祖ǪIEΆ.$:@DZ6!$+db_~^-0ܹ1nSTF a,K!(#?7{T~Y&IZ= ~uI:<.miMJ%FГGUZzz~*\T18r `}1(0w76k9n &WS<^>zxMo鍊1~ic/!&>ohi<:H2 إQ|0;tIkˎ! NH=^ó,Sx {@'g4~]!+WZ*tpЫx,[cNw>vlgDKzȄ"̯ <8¯rz٣v5iҷ2<'#tաa$+8hʆ9vi[wz&bO>'PƠ_j4 ϳnoge _8/yLH ?=#"oٳj&}\$NX|~3ӵlx,4'EE.+w~@=)3z@BLg4vqy1gK[voԺ 0$.P"X -3q}$v@N@oKX )^&6V:ɄS1=Qa'=KFsdRgoVgWl9L3$* > H,h>Z4#J;)CvJԺy6ϡѢR푁eH}Ә#CZP!(zBK06;%XdyWyE`uM+gDaEM ;K<hGr}[&4:`,t睯mUoo*("I$Ļ>EX03% OpticsOptics.Lens_Algebradocument.tex7zXZִF! /,D]A-MՋhvG"uIBm5! G0HPWR MF7b}Y& BXg M2Cl$lSBXT &RPJbAb1;}cjwlX(D]0LU9`ELJNxCfJHGKnR"X/zxmFy!>d~Gݟw8BFN쪗fu/oMlL2^ZLAY-]/*KЙfrU54zu&kil'Is dBD,ddx{ K^A;e9c).cn5 ﵬ>1`DPi1c΀[Qa(XaxTf0SM7Zm#}RCw22hAU'k6xny-mv3jV/)j'Nݠ頻[7~k82= &\B賗{(.1B_8bqPnv%ehHӤ@ |e.YO?4 Βt[*YNeTZ^*-pSP;e{8]Ѣ1t2ߤ ) )h\4v.11Mg4njQsDЫlBs G8!,h"PKН'S8H UV\C@ܒj*v<*<4Gjw)e&d,$_֡?F}`qD33$rEDcNB̡ͣMC/Wc8ABf=$a?m,9 a|](d>d>ߗ7#rec||JI9SWx: TFV-kF(HpbWv Dfa):I'@)t _K ywۏ-n6+UtՓu\zGog֥+2AlxY;7*Zx>Fv?;ր!ApjఴPLػUpF KHlZùkɊKG,';I-"(3f~x[Ռk@Лwy|6JcK5apgSy)f9SwöaI6X@NHj|{L9boҊ)3>8^3O©HٙR1W@WQwO>:ސ?E[@cLD0e ٍHc~UgkR2Hv=Ȏ)#>]<Kť'& 꺝VhEj@9 um&J65%X }o=#`y'tD/Fw5sPMWP8_.n,RRw6seZsO 8W*M 6l)6GwbmqO.γHG,_y[гSɔb PHmy?aX>P.-!&酺9._e,,G!T u/*hg0ʄ>י#h?M*b[pdgV&*RpH'ǻl# TrʲaHy"wI9V*h/$&q E7Rr1mʷR8vnoùr( ܏bǦ  Cs3U M7'5D0Te&̢uz`Q7sߤ(ݹ[Ɋd9 ]mt+TqԾ*gHbO(ĀmY1<{c\8[bmtwf e@ô("Gxq$M肘 Sc\Q v/% $OpticsOptics.Lens_Orderdocument.tex7zXZִF! lC]A-MՋhvG"uIBm5! G0HPWR MF7UBҐVdT0 r_n^xc=+pBz\8rV(mkU0#H2PB=$g˃oVA2SϷZ\2C:kvto $4GqTid]']46r&u.r*A8 PsAVݼ`e͏Q7էCbIjqL?_smcE  #x3V j;>-dOk QȗITPsw G37 ;ߢ'!ÿ#CM5y+n~:7N`6O601"sɩ/N[Y f$iO;-  y7PgT="-&(u8i=#[޷n)AV<5 ]xB[.sbroOix}ƄLjZHmqK2~S'Yh\)AAȸMcd# ?L?\?ECg}ӾyCʼn+8{+K38S:,[Lq K#&T};OiғKwwI6* J_Oo[RTdRn8yz8͒_:vB`T24`5G]~c}y.,7j48\5xXd {>(+!wFQ&ei8Z*/XLwuxx 9D>,fG!TrbKɩ ޕn=xCnP]Eg ~uLTf@H8pK㘏19 O ~ŧ-_O*adWZuxxH[ Mv4uW5FY9* ^nCːl0s+MiGqB3 Z%?40UG:Ig gjݫ=~jR8ټc͗`̢_õ0W0k_AQ4 ʠt%i/PcE:'|MilB滾FuGFzhdBB'3t(nJ^=t[( +Pٶ.Ԩzgy??u _EfY&Ĺ"`hzJJ3Pc |#r(ϲۆb6*8 ĥOѓtx¿ryF=ØfĞAÖ=0w-+IRz4Ƭ\iiB W!2E݊{Epy+-CIEIK74@skLmƌQu`x2sGТpL_Z*iTLQ)cji@dci 6#TF̣K`Ʒ.eN _6J4v16,kfiA#ZeޮlWAu6x̛)lUqTrsJdn+ 菠!̖[/aR^:2[IzQ5kRVH@?ӫM^3.Pk!)eH]GH|>!TVEq D>)M2 Ue-`#<|8*Ɗ`hc{oMQb5>8PW|{xe^|d⛃CG ]2n/^G}gi4nFj#^XpS#~rXuL8mn1[.p}tu[Mٝq(ha,k ~loLk}zdo!_lj+`-=\Pe(;&KsZ!T>= UN?W{HLdP) DM#bEۡxBZXɴTÀ+.i aYr k5d J9Ƨi&Bч6IZaIoV ^$P\ϽyBap~[ ~,H^ Lmou1.ch83E7#,U ȸ2 rrZ^`c@'`Ld~ ÿHs[eܕ|Df OHbu7")!dLautHӡ[tf#dfsWGlPxbEoS4e|ĥ#+VjBnTl^lsd~롋 hPFDQ٦;;aExOx7c,L,߈Sp/Q:!Oy!Rz#]0vD$>zEܿ Q8^=ЄH8̸࿍ެ*t/TYF'@F=3NBU<:"oL<[șJ Կ)vY_ l)u* 4f$|n >`iɩl/ALR<1FfxX3qk2"oSxJY J :'ҜWBYYګ9 $+ -PaYze< l6|B<̠0Ds@"`G4M`BH:6 S -SI,RÙ ]}o~Ĺc%滦2I])Oo#6At m ϭ;A[q%c گIW*7W&UC" '% dOpticsOptics.Interpdocument.tex7zXZִF! ]A-MՋhvG"uIBm5I/a#XY%o&e3s jfK\TdEǿk-Vo~xJV9 d>ZM:7:DLH3P}Gǜhk{|~3Ltk])˘^cQF-c*x;|B^%B,;{5ؕ2].`bM^ T2uHq]k #e xgc (=SEk#44L9&L"w1 jSO:%gdrBb/K8b~>u }$;!Î<9b|eHwZmPչ-SLY +J}E]O GPX0xvx%e8}A `p9lu}$}X6gN~a/٠N ynz뀕-է9%_H?qHC?HS&R^k7 ڇP9 <"4Srԯ&Xc/: )Oӟ:raG۫ OONɢ4 ?vXRގUtKW{z@+i(JTIQqoMSص;0sUJ0H7j Fې"ϩ31=+uzDPۧ*-^ua5F8RXhg+Tŵa>v;bt)szITx'2w eY;o Ś;}uKTJy (gPR D*0Ί9~?$ 7WOLڑL #P`ٸEcbCxO$1O"'6aeABNa>DvXMl_/Uigӑw\{Ura9m5NG%o$P' ߵ֝Gn4DkE١LdO3d 9SE«2c~(gq啪TEzHGM[nVW jZ)$0TtՔbf=%x}`ijif$'B~fUaCRa!"3LÛ\^aǚ"̘ՆOD޿A~R{8ed5~&8SۖPyZ 9)7 vl*gJ S`& %3rsZYD"Ieꔥ6 8?}ۈ]ۧX#w`BT{M &,WjCy49yN3_$qWHQjM5q"E2bGX1vŒBbJYRyYr1-\(ir0+d!Y%t# eS#lRݛu^p67Up?U6 QU:yBؤv;Z$a kP[#̫QXiyȜ;5?fHz~ѽMW+E7RCL~ Q^64–m䚫BܜR2,LS4,pDlʷEol!OFk\y\T>~[~ǿa= 3HTO5Ku b7&,(@, νƄ/`s"9eWǴC_%x TjDn!Cm&dȧ~S 9 %HGpFtrN֝^3OZqޜ|ǡwӎ.xE ) !P7>(᷽D1C+^6Eu !רM3]5%({ lWM*y_QVz/ehgaU~!ŴZIJ=M_iE=}Ƽlv)wH+y-Y"e]CNE r$_k[scz)'CcEyʻBx֎rFά߰LFICٵ>MDn}]}BtJKa6Hhؓk0/J_/o#}w~?%m^[ 8PBjbW;=3m@levGP ˱gXFaNXcTlGxݸh## NyAkۤp#NCDFOo bI(V5hG<ĥPpV HՋvT1 2c?z2.*79,D^Ffh7>?rUc.6ozt1geT}. qt֭ Q5ZZO{ DO*vdۯB&|_u3\U=4Z4z] y`i_=U~P+g7rd`(2O#nRHŅEpC*&1qpz!?k>abK&آ43̲%)^(!urF I8jҧx=E=;ҥ$W %c֙7=)UA֭d )Hx 8fW b9ۤ7s25M6žG6NӜiӶȘ q\aR0X@>aXv' WD2_\dܥ]9 J^aϪFD ?w1{9vV wZ=9D[G &ȕ} It،דok-[R fכ Sx1|̃v ';¨!Hw1Ef08CGSk*'TojS &63[AEdaQ%ʹ^^hUæ&r[ڮ\ KY|R/]g <9; `2bǞmZeBzslqdXV^JRh89žG K6hl46޲u- ,fhY~hѼܘtQ`E p  $P$`Θ\o$~%O[c>:ޱp'0;Ú%}SvILןe$*"xޫ ǍzYv2Wl$mR`:^ ƿoY03AY\.ijf(HPPRW>7ZfӀaDYC+(Ŕ:' "n|;8BI^- A*B8u$jŲau'蜅9rX̺fdI:i͹{XwG83qhWFƖf [Sm)د4x\;4z\y{3Xl_S_R-oqb!\U0Q?3]1 \ݚ]Bn.@R}흼4(hqLq:Z`FlHbVHgwhBU C`*H[S}۸vhHDQdgoҪC 1;610XV>/5[RNSNj%l]&O mI{wF}b F|'o #M?\|{Q_=sr07dXq bLZwzK4 mX1_Ky=#f?)Ye b6 \2R6by_T@ m>~]AOyag_b5:jb>N^Pf#&gYZ  * /% dOpticsOptics.Lens_Statedocument.tex7zXZִF! =U)]A-MՋhvG"uIBm5! G0HPWR MF7î`|RuT@VvnEaѫ; DLM>*wrisED!ה'z9'`Wo0Nlʽ %SS&UN-O랷^_S!#H}2,WCsbAʷ3pGyhngthL<V7/x4#Kxc_\X9tAt;O[ZF73!w*"% ~ѫ ߕ Zv#/3Qv#t׭^aQ~m]wd dJk䮸bVgzud#\r 5cH庘fyq6nBimk*X1}Ib28TF|'Q^8vSuU,s-gnN\W):Tbqb'4:$I=!vE8 QzRu:#<Oc5%v8?r1'}S\~ц_ooa ˓.OlN -.!d>-U2Y=aˤGbK=U4T1eL06Ӗ*m@<<R. gA;XrԙVmg5V?_%brs>hx>/R@TC==`ۜZxS{[{hؘh~z<7LOfV~G'_.zgJ߽}~ߡ'TȃNMz[l+փdg1I OAqǘ׷p%Ac:n#zɈ%6]whD%!* RHMq, OFs* !2d{7}\kg3C bblN$^7$AɳחeRvm_N&;IJ pyOrKgu{ئ5ymj3~T=`V&Pp' ΃ \(b+kPx@.vP*^?؍&v_}t:wJ>k 4OE; 1*YH]yEl.sʾ18h=]'nZ~LBD|rƓnC4A?GX&DWܛ+D WkX@?C6SVz0aZ߫V~8wf`5Y Z90jkl%5mHY"a+Hhm4v2=At B'R=P=N2/rNⰴ0Y<ɪo-LvAȫԦ9 *H}Fb[\W*aټQBu1#]C{ޠ 250ɊaV# ;BݩD$>uؾT k -B_6}Ou֣Gh!=BH9URXy Pew`9h܃B.7C%d&V@!ʂ4mO3"97J3,CDF^vѫLh%OሏڗG2{ȱ=w @Z8iڞu϶N{w>(ɘT4~mUZU] 'Y"<ch5}Jt̕$^ eO{[7D,f/- 58I'];poߙY&ۚ:A4§>nG&!p+O8P$MEb ,G 1%b{n˨SnPS/믹mLaD&Eedݓ7פ_U |I|\ +? sROc\:\F1Ī>$5g pܶ(#4=TI y\th9"9C,{V6l47VՙllIs$͙X1q;!^3HoǑt>䏸`AXf*f] MIt*tsSKbq1|Aҡw.=Eq+ ]!gwQgE{^3)ə^6I bjFaw ~׬ F-Vګ6jL͐ Pm/Lқzy{H T%5Y!?yHG2dbۉ|;6'k!꫻BcQvգ_CxЄ9 T/ֶ)=TC/y}q\wKbD@s vx^Q@j e{x 9h=bMŵE]b"󬓳U<> k;υOw捔>^P답z>^͇\`s dF`[HՁtOW\""ݙERh VB,—oW<|5^  gYZA =% ,OpticsHOL-Library.Monad_Syntaxdocument.tex7zXZִF! 3N]A-MՋhvG"uIBm51#pzom?bK:y !GgaEo>v7/UP>p`V׋b u/"]BEZ݋`L?ԏhYBE =*#EV.^[>dⴾfÐ9q_*x.f7LGT$lp`m?ԃEP sPA_FBKoDu;a9EDj.۬97g/N2gmgRx@DNL"]|vCx"ClIB+bqi.cEj! xh.>~5\cMрI?ŷ9*YPU[ Z vE:1 ( {Vz6J@Em'] 0[n=˘u^^x~[o`m-GnC.o}z}&miq@n~Epz8 ?*Ni 쳕F?v{塎Y~ Q`P[#>\я'>m1'LX,ǥ҇~2?."}}d_CjMkJmOZ ew(Pޒ/d%姴Щ?Aǯ,s7ߴs噥CV(`~= y\؊NWŠud_GogX siVR "^ vV?T(✨1?VTORYvH`NϊDH!ٯM΋' |^1֧0Pr~W[hlx :C<\'ѳ@@LVAǣK+y C,Rjړ6XrNb/թ2V^g7uDw|n >zpɉyS''B2xT Dv//HH^Rq  9=vn#o vxcW<r݋?6vt#nS(osxszCt J0#xboiIqS*~$|"#vml` PQ{tm1*37<Ipe=bE[.55 (8%U2aR .{rxYF6}]VgfȠ\%:st/Lg!] Pd1V\}a3t@0קy35dc!\.f?ut BtW'1IMM\/ru(bQАZhТ7?GK֩3yw{4[ J՚Q˃U~[ UZ8{+%ΝMwliYj5|D&FU CgGА٨ fwwgYZ ( ;% |OpticsHOL-Library.State_Monaddocument.tex7zXZִF! l]A-MՋhvG"uIBm5ȩ<)+$d•V%Jnʄܪ8xcX|+m:UbsS/#>lla?r Ei9~ w/= gV?.vɪ1~8,S`mib!=;sdXzT_Qv Tt |w)tRSlg;ϸM| [:4[ jN;"MhNF5tTG&^hќq 9g%oυm&lJ #@ H2`'lOn 瀙G>oI[G &Ta B߇~w_f׵4P ̧zq\VXl z1&c?!rcN@&.̇6[֨uJK~C̒nW 4Y8y"r3}\k<~t&EZH-f)H$6UP6o^F~ŚH6p_ bۍ@4"̂E8¶x\WY!+>[t?lXf?5%}*\Zk~)Q[ V 2`Ѓ̴w=Ez}$u9~$QP4} CyP'$l 2=$ٕzyyJe:ugTAhn@ >(S-W Zt}`:Vr(ByW3|KIO$&`CiE!^p 7)E*W؀Gx iFtkzkU='ʖ:\-&YȾHՙ i3.Wا-5a(Y8D2]v7L徔R;gL]y`2B[ d y$k&B ,6`@*1.#.&s{7]hip*@y4ЯJg"V59)൐cYly2?)d"eAj7@)jlOfR)2L>d<Dkw 4&,5?BXc"K6QL={B{~h}z_r8 AgWCk8,tRZ:gd!EIbû$ ȕP|NQ7KF,l%ymp |ȵ"756 !rp"6ď{a؃c D Yt*w㪬B;sX1$4;PNn4e(,jJFѯ_):i(ckQ ADjvzOG99# d >wk>KػuMBW7vTr.\YYcpLQ"VijukB.%DϿL}6)Kl0XE )CZ vj1B} `v0%4>6IOVYdXݎ\ ih%6.bXYc;ppi3gKAofidk#ħnhCbŏ%xw/ZF4yWOPp@BS<7Ąwy>0@؎7#ԯb< @gi5әQ1i12tX ,:I]A8_܅"ZP'Oe⤄2!Bx8Ge>;%eܩB!)蟚(=7FgZ!_ӢgxY @j BAˣsx(V`,zbWs=gWyȯW/6{Ҫb)a8%7Ѵ'Po|"Yi $, #VZTُ30?̒<6 * Ȗo:.h4>O6W^?'dfc(q"Z`4dvQ H_9]n hP?lAkb-&P-?B$Yr!dJ7V,~hsj \Zͫjxp"O }F@N7gYZ