SQLite format 3@ $$.K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ltL,, ] Optics:threads=4elapsed=17.880cpu=43.132gc=0.9007zXZִF! ]ŗXiɟH)0!h]7'$]$Uy$<=r i8^0R! T* `Clxs6"* ~|TS*NJ_Q8yh5ז:tgQv0auJgMhӇB4L{q=_%އV7 FaWqU uW)OXy[1y_ 9م nYεk H?z |=/ MAߌ@~Vde8@JI-,.fUNM/rLiȿNAj2>a cG[ +O9LXixZBs%Gd%єnB͔^,&n }* `˞}sc%"_;|uMI懟,O赠[b b8[_]z7d I/ c5{>$- U8ɻ!sBgYZ7zXZִF! oM]ŗXiɟ.x<3,6g(8/pNo}+GWbnatZ.Ϥ]3o6-ZVmzI"rN&o*;߉5}lO؅KÛ9[ ~ݞ@aOsJiG`z`8(Hwq d4JB C1snVp}o?i7*35%6s ́\*; yOIp*߬Y/6ohHKmu2JeHzu<:L@ް.iu芫gYZ7zXZִF! g]ŗXi%T[DZaqZgA2Z" ig7Q&&r0ATtEu6ɧ k/ޣ.JrȔD$_™,'Zů;Fq0v;rrx>Z@AdM͈&H2 Qym*jkcTMo;@U%rRڅآ@ ; .D]%L5ƨÔrЭW\1j,1w_BA(yZr2Z[XK^{d|5VJ/D."Λń!e2|L4P.,?iE_G5P[Yzpa h{<0m~8Wz3u!^쪗׀~ Gw%pTu`-3;ÿN7zE=-5M =hӢScMVUcmha[TȤRc<}7CDa)$}o\O&(ow}X0}Xڤ&F{i6R/m̀1\JZh@#eLFn'N|Ϥ}2vw?]"tmmmL:OT8ʄ5S\RА~Mz󫙙֞0StF:1NMۆ !`K6zwd7.EAM 4gƒHJH7p<VS._ cXs&;8 ,kzE_ؑQ6t 0lς9ycX2(Vg5Ɠ:}7;b~ԱgYZ8d30bd014c5e35c0f2a1bbab2d73c786f2acc11af4e66065a04f1e2d2dfdb251791c7f25eacff512 b7343e71809abe96ec8715dc85d1d5193e283b23 cfdc11f4f1fa99f2966c5a44ed80d0ceeca960e7   OpticsyB~y2'3 OpticsOptics.Scenesdocument/Scenes.tex7zXZִF! ]A-MՋhvG"uIBm5ȡ%~򛲡k}3T"_H)T}[CPUt[RI F} "WAG,Wѽ-xoP盬̓eH54F(xP~d,p4c{1J 1O*@.#FDafj 㫺CU rNqѧ@5ʓN_I^)C"P:[/ӺR=1mO 4rMءO,U=2|҃Iv ne7l vShaJھ|Sxtx[ نsP`nXQ&KGݏmiiwf':a䵊),{ N R8յ4 -gs|xe i6J~` j0KV[hCA֝ADsGӸ Fn?;[Z[ =Ln(u۝9V;̯`mVUv4fӭOB jՍm7#5NMnBjX}/P F[DM|U? QdBct'{ " M օ(,.%ZK=NE:X/ @RM Of@㩲WcɽυRcT-ʌD*n8HT‘K;ӏ5NvSXރ"bU]1e}[kZl?ծZ P guOtX) ? ?#mJԯ! ,bO( #5?T36OhAb8mp|e #!ws]"cµ; V+Zzw]|ѨJp2kDS3F9 0}^YM:]2Ӑ9N]~IFts2)K<+jH_Ԛ3 k|eg5B7 IP1(cfٍزR~5:d Aexa8;j.j{N" ʳP.9~Q[nΧ("Rr_Hc8yC{<.PQlcG\tϛ|u-NKU=qmSؾ _$uc&q{IS< Irab,銘)\DW-E&<3W wS;ΜEŃ ؾܘyE.2 ydGqjG-ˮ}f$Kcclp[(ҠIdFv̢O {3E1#Izh낾-}QER33^t4 JoA?õ=q6?h℘qe@O6pqĩ #ijR*5 [I6ݐjAG-4a0u:b{[웙x"e$)Ӵf_0b|!-b=1+#=&'JiG.q*DJp6WUzX>vVQ+yv6f Zdzq.d{t9&ǵhD@g+w< M!u՝}ZFnboPd/quc}Qz["R[ߑ_^* k Ը)FA'#`H֔ot9 [cBʞtmwUL|9=e2939 WTNV %CAL@K?E>D  :T& v Lh  }K % #]3  [ 6wwP; "jP&''OpticsOptics.PrismsPIDE/messagesM$'#OpticsOptics.PrismsPIDE/markupL#'!OpticsOptics.PrismsPIDE/filesK)'-OpticsOptics.PrismsPIDE/document_idJ$'#OpticsOptics.LensesPIDE/markupI#'!OpticsOptics.LensesPIDE/filesH)'-OpticsOptics.LensesPIDE/document_idG.7'OpticsOptics.Lens_SymmetricPIDE/messagesF,7#OpticsOptics.Lens_SymmetricPIDE/markupE+7!OpticsOptics.Lens_SymmetricPIDE/filesD17-OpticsOptics.Lens_SymmetricPIDE/document_idC3A'OpticsOptics.Lens_Record_ExamplePIDE/messagesB1A#OpticsOptics.Lens_Record_ExamplePIDE/markupA0A!OpticsOptics.Lens_Record_ExamplePIDE/files@6A-OpticsOptics.Lens_Record_ExamplePIDE/document_id?*3#OpticsOptics.Lens_AlgebraPIDE/markup>)3!OpticsOptics.Lens_AlgebraPIDE/files=/3-OpticsOptics.Lens_AlgebraPIDE/document_id<#!'OpticsOptics.TwoPIDE/messages;!!#OpticsOptics.TwoPIDE/markup: !!OpticsOptics.TwoPIDE/files9&!-OpticsOptics.TwoPIDE/document_id80;'OpticsHOL-Library.State_MonadPIDE/messages7.;#OpticsHOL-Library.State_MonadPIDE/markup6-;!OpticsHOL-Library.State_MonadPIDE/files53;-OpticsHOL-Library.State_MonadPIDE/document_id46G'OpticsHOL-Library.Adhoc_OverloadingPIDE/messages34G#OpticsHOL-Library.Adhoc_OverloadingPIDE/markup25G%OpticsHOL-Library.Adhoc_OverloadingPIDE/markup113G!OpticsHOL-Library.Adhoc_OverloadingPIDE/files09G-OpticsHOL-Library.Adhoc_OverloadingPIDE/document_id/.7'OpticsOptics.Lens_InstancesPIDE/messages.,7#OpticsOptics.Lens_InstancesPIDE/markup--7%OpticsOptics.Lens_InstancesPIDE/markup1,+7!OpticsOptics.Lens_InstancesPIDE/files+17-OpticsOptics.Lens_InstancesPIDE/document_id*&''OpticsOptics.ScenesPIDE/messages)$'#OpticsOptics.ScenesPIDE/markup(#'!OpticsOptics.ScenesPIDE/files')'-OpticsOptics.ScenesPIDE/document_id&)-'OpticsOptics.Lens_LawsPIDE/messages%'-#OpticsOptics.Lens_LawsPIDE/markup$&-!OpticsOptics.Lens_LawsPIDE/files#,--OpticsOptics.Lens_LawsPIDE/document_id"&''OpticsOptics.InterpPIDE/messages!$'#OpticsOptics.InterpPIDE/markup #'!OpticsOptics.InterpPIDE/files)'-OpticsOptics.InterpPIDE/document_id*/'OpticsOptics.Lens_OrderPIDE/messages(/#OpticsOptics.Lens_OrderPIDE/markup'/!OpticsOptics.Lens_OrderPIDE/files-/-OpticsOptics.Lens_OrderPIDE/document_id$'#OpticsOptics.OpticsPIDE/markup#'!OpticsOptics.OpticsPIDE/files)'-OpticsOptics.OpticsPIDE/document_id*/'OpticsOptics.Lens_StatePIDE/messages(/#OpticsOptics.Lens_StatePIDE/markup'/!OpticsOptics.Lens_StatePIDE/files-/-OpticsOptics.Lens_StatePIDE/document_id/=#OpticsHOL-Library.Monad_SyntaxPIDE/markup.=!OpticsHOL-Library.Monad_SyntaxPIDE/files4=-OpticsHOL-Library.Monad_SyntaxPIDE/document_id;;=OpticsHOL-Library.State_Monaddocument/State_Monad.tex4/;OpticsOptics.Lens_Statedocument/Lens_State.tex==?OpticsHOL-Library.Monad_Syntaxdocument/Monad_Syntax.tex GGIOpticsHOL-Library.Adhoc_Overloadingdocument/Adhoc_Overloading.tex <7COpticsOptics.Lens_Instancesdocument/Lens_Instances.tex 4/;OpticsOptics.Lens_Orderdocument/Lens_Order.tex &!-OpticsOptics.Twodocument/Two.tex ,'3OpticsOptics.Opticsdocument/Optics.tex,'3OpticsOptics.Lensesdocument/Lenses.tex<7COpticsOptics.Lens_Symmetricdocument/Lens_Symmetric.tex,'3OpticsOptics.Interpdocument/Interp.tex,'3OpticsOptics.Prismsdocument/Prisms.tex2-9OpticsOptics.Lens_Lawsdocument/Lens_Laws.tex83?OpticsOptics.Lens_Algebradocument/Lens_Algebra.tex+'3 OpticsOptics.Scenesdocument/Scenes.tex ;;4 ] xOpticsoutline84fc84e6c69f4632490a59889af9f52c005fd11b7zXZִF! nb ]* 'de )愸[B"چks&fD뛽][l9$Ct 8<>#LI!RGУg6 uF(3`jb$Aj PbK^/3{Ϊ9ǞcD7?L~5R00Ϲ{2`DP^d:?y␷e܆\P;buK5.efmރQ"^wќ綠%pjq A`xgK OŸx u5uݨ:!JCAեöbcV~N"`qξG(r`e|KC(?Gl.P~/ŬY֟ڛߟ$Kٓ VG\%y6® [hi̢X 759]ڰLVZCEjzr.y;NW.cu\A?;T[D)j-z `u~ 2)zzQK[ķKWxCX=LF; U)9od]#N~q[-+ӖH9l'#]= 4ҍ2(LVy*d{[E6q¢׿[wnFtۚi+irL`,)z w4"Kf5'N epb R(CWN*]B+p4̟EWsU..Vh6VG1NMVHQe}]ҧ^"nOg-xx"+QFS<]wک)%XRpԏ-HO84?ϏJ0nje}F++:nUk`0i,Hsn=wunF&P[pUWA\. "2k~gpl~ e0)PXz H3늹Sў'RP);0,qsp5~$/.|Яm܂= - S l٦JBDywrGտM&f}7ˆPBnι5fPX".>2>L(젎Ģ Dl@֛zeqݺB=}]ѻ+X&Y_N{ GFZƛbQ|vW^XeҴ3  .ڷ[ƒSsbV.㰫4s,&.8*1Bpgp}3K^#J'4ibQWϗ>]Q 4ɍGNN轟x|bPk^h$[ Z3Zi-@&mPMTn'ة`0W֕IrZ^8+㾀T`xBDb0o^ f Qj|`81zH.Ӹ"p ˱}i潸smD10Si|ǖZjZp/4c7jf?m ƛp-´ɟtqb b}#P /err(\`S%,Wue41㍎Ī+f:xXBlMRʒPx}j)Ʒ8皶0vs \6uEk,Ȁ!\˺y :>R/%!^}nAS+Oy6HZQ }WrweSi%,%(CeI6\] 7(<#$8׳,CoB=O'Ts6J>P<^C'|OĻn;\ZE"_XB7q sܙp1dT˶_T/+u+^hs<3hY4Tl eyyJc) ^-ݨ sb:UX+d(R8̆.ωfmڟu̸=+p2|BL|+\+öyO;pj8q$rCŐ 򹓆M d$s1aVGjWi_dG,jvK:j;ګv>Y>nI1il ],FOpticsdocument2d37264e0e2dc12a82fd1b165633a684ab4703f27zXZִF! ]* 'de )愸[B"چks&fD뛽][l9$Ct 8<>#LI!RGУg6 uF(3`jb$Aj PbK^/3{Ϊ9ǞcD7?L~5R00Ϲ{2`DP^d:?y␷e܆\P;buK5.efmރQ"^wќ綠%pjq A`xgK OŸx u5uݨ:!JCAեöbcV~N"`qξG(r`e|KC(?Gl.P~/ŬY֟C Opticsoutline Opticsdocumentzo y9kEdBv![npAvScʳI*K4#hgACgrW8P㛼J14Pg׆߶ SGE>OIŮ*~Fb v:pex 㫛m& (qcA|w_H1p ZVM>y+o7t伥LAi(VH? â 7W]9q؋{sW95GR#!#7W )וC>녶@t g4&e0ft:s74tB+z2w{"ڶ S8[Xjez@W$'EN-U5SG{, l9kFʃx)Gu.t~qhʮ&<#}/޶R 2٩I}%0v3ۂ,4D<×)KDu~UwJlA^4sq^0 +&`MK<|4jR8 my&,I SΣ;-0gCe1VAT^:e6HNV5L*VN4(ʌD 10ڨmDhHS0K_*94HτʘbA |n*EĄ7 $|[2߲cd3.\ qp7]T֭Pgɸ 0D}G ":m;e?Soc)Yt[bMLyuEF1bfHL[$r .9p^6I!^6mdyڄ\CYuUV+oKQLR'&UeBQ`&-(D'ͽ0R:CyriuŠacuBk50|R2]hӶSNGZ4èQ;Ǐ̸G݀!lϭVM/c1ЯVM0Y$ DkPmWjȊp \!Q1([Yw/G M^ŬEWmoKr+ d,^Cw44;ʲ]Gm':v,XQ1M_*oŃc}4 W?>Iπx+]Ypjk`׀uPҔqYBf %mHƳQ* "XZpݗ؃mS6t4P[fw&x,iE܅g3{*;xo <ۣ>v"0P]N&2e*(G#bѢ"sh-!S a[Z/?O[o$!)wR8wQU\Mm49v 7 xg4+S\j;eBï)pwDdqf@hMt؝o^V  +B 3~@ǣzi'52*]J=9K3G B}ߝznC(XȑI YUONMK5>'ey[- zg,I1\>^~Z쪍K܉6sc}So@Hi8?qc4zT%N=Цy=)h`/vT=-4GGmkhkǨJ u,b‰:5pně;'2@9}2;YiשuoS &'?o Lvc8SoN-ޑ8a]ޥ[lyuMҢ|9tcz0tDvsaPS0HNIþr:1oe#==Fkzx4C7=܈/,`-7'3z) #bSUL# 8.$iO̳oeTxճ[÷cU6G9>9gYZ#3:=Gi ]T$pL'w<)D|#p?8tdNM6Ʃ8Z^ytd[L4殊p(]]moiՐ*}Aca[epkSDi n>h;:V/ c ø^8~ҵuk(VV3j]ګr29_9v mꭞM Z= Յ%:pűKcAuq|2!WbDӮ K^Wbed=nmTb D.2ԉƹZTqEqz S4Tf_5Ja N#3aVW}-\#ե'h*j%m_7H Ɣ='|c⽦ǘ뭫h}WpY}'y{n݁"[fb :Q=ڷ){S S#;6H7r@E"UnXӕug;ȶÊr*KZ(\]ǙǩF|*\*D _)0v!w, !|Ub,+0-Y iX帐0μm6ZV#2V)fʟ1q_cCN"׽~tdh*F Q3d;bFfv9SbπV>[! Th|FOtI 9rx$`˙o]s[;?IGۻ`:<%-2/=P[0c4|`G?"y),ШNav=y@YcZ!oD `K/>;R1C[>*MؽdNXf z#\H@zk??;C{`Y6V ZіmB 5td"Tڕ(w䉁*dTT%]G &)( vL7F'P>@ؿ%'r)$?@evOw\D u q#% <*5&ͳ-+=-:F|b%#20+a("T-dV/܁rnIy scv-\WTr00lJ$5U=orDѷs˲E΋Uh֑0od(J3z{Qa'U[uJc=^}GrxŹ(sDS-&]G@$<Yx3ղX,)!r@^j/;ɽ$VhKP/V =Rz6EXYBkvԍ@WdKb&:kΊTfd2f/20~IcOSU.yNǟ R"+w_2Y^<5%{Q_a=&ߓ55]_ ]fR;dW^X_`;^XqD{EӅ{uMCY\RI@[ j$kkkNU,Ǚ1DHz:Rwzt}Fe,P${եE-^5WZ*_U欄c8Dͮgf`7Gb4ac2;v]VAAe~5J*^'y#@aao/p蜌w*.> ` zQ"fA(y,W-uD7{[ux kXtWRR$BZj e4Ks)Ðb@xfdv\(B* q2iȶSs.vxHy=3K'Paf_A*$%k5ö/YqJ@ie) <<ϩ/1 -6H0mJUٺ+ KRbe;bC6hд!v@~ Bxr1+B +N;ȓ3aucr8\bςOܢʯ\40Ǯӿ{x(<_yHv6?feȪ ݘ@ob )Li5*P:$WӅPvvInQ'ԥ?ׯ-ZWn鵗<y9GH"qRPL֢;)G@P̾blC&xQ?؃b S4pH~"+?$5p gɤ@򕆮g 40E=WG4N;HQc-q>Κ&iOΆ؞;2Az!myBCaBaj aB٩{39ʜHh .Z7=PKcљJb=Xzۃ!X98#`/꟞f KM~0o ۞u+0xmPOq HCz iS3>gm@~m4WliG)Y.FCZذWV*Lͽ~"e$}xǺ_~fEJЗ=یюEm& ͊A_$;VԶ=[2i)Mؐ?Xjp3!11sMVFH[ Nr 1 .$Deqo G,/š6Gs ؒ9lmfM^y%iU81إ(uGi# Kܳ5RXȭnv\<4yjl aQ ?{ qVzh2.Qw4ƞ$4b 'AM%_xPiV'*>HkbE&9K<#{\^Z Rl׮ы?B (j 6S/C\3Yd$0hg~oH!Px׷ʎQGpVdHoTS yg1C2bUTaO7ٯ4nv@PZtab+c[o6 ѥA`O`es qxwE&D@x >4VVZ^|]V(1 NN6SgYZ 2'3 OpticsOptics.Scenesdocument/Scenes.tex7zXZִF! ]A-MՋhvG"uIBm5ȡ%~򛲡k}3T"_H)T}[CPUt[RI F} "WAG,Wѽ-xoP盬̓eH54F(xP~d,p4c{1J 1O*@.#FDafj 㫺CU rNqѧ@5ʓN_I^)C"P:[/ӺR=1mO 4rMءO,U=2|҃Iv ne7l vShaJھ|Sxtx[ نsP`nXQ&KGݏmiiwf':a䵊),{ N R8յ4 -gs|xe i6J~` j0KV[hCA֝ADsGӸ Fn?;[Z[ =Ln(u۝9V;̯`mVUv4fӭOB jՍm7#5NMnBjX}/P F[DM|U? QdBct'{ " M օ(,.%ZK=NE:X/ @RM Of@㩲WcɽυRcT-ʌD*n8HT‘K;ӏ5NvSXރ"bU]1e}[kZl?ծZ P guOtX) ? ?#mJԯ! ,bO( #5?T36OhAb8mp|e #!ws]"cµ; V+Zzw]|ѨJp2kDS3F9 0}^YM:]2Ӑ9N]~IFts2)K<+jH_Ԛ3 k|eg5B7 IP1(cfٍزR~5:d Aexa8;j.j{N" ʳP.9~Q[nΧ("Rr_Hc8yC{<.PQlcG\tϛ|u-NKU=qmSؾ _$uc&q{IS< Irab,銘)\DW-E&<3W wS;ΜEŃ ؾܘyE.2 ydGqjG-ˮ}f$Kcclp[(ҠIdFv̢O {3E1#Izh낾-}QER33^t4 JoA?õ=q6?h℘qe@O6pqĩ #ijR*5 [I6ݐjAG-4a0u:b{[웙x"e$)Ӵf_0b|!-b=1+#=&'JiG.q*DJp6WUzX>vVQ+yv6f Zdzq.d{t9&ǵhD@g+w< M!u՝}ZFnboPd/quc}Qz["R[ߑ_^* k Ը)FA'#`H֔ot9 [cBʞtmwUL|9=e2939 WTNV %CJt|^7A6*~?KU@Sxd啶p|JL̥hrO܎vZ"*ہ;ڱ^15fu˭A\W~i<Gzy7E)񲨦 1ڕbC\ CC23? |OpticsOptics.Lens_Algebradocument/Lens_Algebra.tex7zXZִF! ?6]A-MՋhvG"uIBm5! G0HPWR MF7)&;i}"'L=#Tf᷌X6J0]96+(~*T׻bp[mo LHlȞT=${MntsF?^q0!4*\D}q81m& ϳUbBCAzhи02G#=B;XɊ2n@!,.X .*w|hE h͸`պ/S4fۥ> g"[}`e4%zBa}/~+zsPiHZlհ1 *AXK`x b?UCrIG Z]" 2~F>Еcsin˭[YVGLYizͮe"Oq|IK8 $y"Q<מb1TXhdheu2zS04l]b1t'SMy! /޹5O'V[nb>XEɢb[ygMq&>]+&Mǎ=/0'gN.A3re}\X}["1p}ے|ccyg=TXYZ \'@ye?XÛNɅ ss#͢-x$2:PKXD^+~l _ߺ:="q EnK{)8j޸b\)]|rlT,_#9)re鼄Þf {k7ќ]iE:x t]@lqo} :)W<_,-/n? #5L\mC!@hu5J8v$;H_?4n҃jt05C䀄Z V"o!,o)z;]ސ߫v zC0V Y {28'HAit}ɟ-QrI#uWAbEv yh&7Z<|gAF{2=a,ëU@A}2?[>7̗lYkJq-¯8@pd&Y_pMxH,0,0\ŷ>`,;;Bw#v()6C n2G8NSqUImL&žJ|-fA.62<tM~Apt sm9]g/TwH5TfASBk%{O @d `H ;T= fp&xE%8 ٔUBM=V[xɎb> 4_ ~_XO@޾d!eO,w=KlTJQ!OO.\҉?ZcO|Ci0\hd|oGIo͎ڄzז(S1$FC11AvY*ČyS,ymh&sdl!]0DX7= %.֟Z "e[2LGJ+-a };W6skNJ*+/3`qZ?u\mt$n‘Zz;Tc{tůqf7Y$H`3dn_TIVɤ kKvg3a r9Lb0Z\\ID-|>384gȏ~:=8n&$[[}8]ќR;_b^$Y}´تG \=R{8l lI'Zfj)|Wpk<Ԋhq `Bi=;V 伯qL &R Tpsx|yIyҲHtUahD]]< }\.@Ҏy5$k[`k_H5|rtԨjٸwC(,OX\گ#NugiD&mT!銭-XE{q "QY.؉w{.cn n; Y=:Pbtȡ>3[ǩs~ ՚`#c{k ڵwx*nƸ30F`Jl*x ޻UB  ߋo0}c&ʰUWoN;iVW?rՆ,~i81ɻCɸl ~ N"^2[)\]#KޡB:!~s=E4>3!?#NKƌoLGIN|(Mo1y# wwj^58˰ 1?^r`A}~deIV[/6k̑ ڗD<ݓh{/ TUoCc,l["OꞠ, /p7ܤU0/\=X¢2UJ,R~9/\+!4\h0gCgϞ ZBȇY2ЉFoW?2J-N!`V_Ѓ'ۧkhύb,Vt11z4HO#J dPf ( ˟VcV,\,UT8*M9@f/+MfdcJOz%s%vZRsTLuτ+C>:Kzp<zk>a#vOY fJ#J#1\R.`bte5_?Owj8ؐ&jp?<቎*BB*XL?){u\?t2_Y;-cO_#SņZFtO;؈"O] P W·W)0.!<@zԮ;&oO% 81dЇ+o&8Ύ`u<Bv_Ϙ2v-?B_ą=̰}3Рe~ AFċƀtμ%gl N]yܾy\-NWv\n1j&;y~\CPE}-鿬O93HU'44Ƞ5.Ջ2FYK'1OGiEFBS-4@>-er%!-JX<bWjŶ3ǛkVhtm v0ֵw.f%_qvh(i&vUn7ٸ+я"Pa~AQ'a,5|ewϠY"˨fvE|islk 7q~BEE &{3tno&fn ? P/9 >}{K4U+wK%Gz>Ȑ;; vY~ȼLwRۋ>ZWӦ:'T䐽Г#ekg Agt +g iYI3f>8j:<#)Ȏ8d~TguD;Y6Џd+e=LSVeJ rY6[)A_q|#HXݫкButa6!igU~u`a򔾥cIaH$rɽwفޝ}N^7BSSNBF6˷$nJϨd/S~0)zY-2261xjk,[c6911&p>JjE fO^yzv:hy_uN7xYi2(; \ty&=E}r=O-ƷdJi{<{qp+BwЍc, PJroe``!5uVpL36'o VMZ24R'VI'GS\_[.&P6)mƸx"֧fg._iu=i~\؉g5wB1zB#-nvz: wP;<q^XwE"MrkŌtv\Re>cUXo}tY҅M =RySp+j|my6lcH*ʣ4R/8ic6I1M@y Rw}Oo(7OuTޗ9"0}u0uh4c| ퟼Ym|c#g:@>#kuyl[6>Tk3čcbfϥٞ*?C h\ÚH-:W% ;Cè\ 2xWxa+I2?qH뵘cczN9"]OĔ*eF}-G!Cmx nA$*\gRl2 aCjtgs 4Gn딞LxgQ Nɶ{qyՐՀ:{|Ɛt9{r -57^ '\%x~FVW!D y")4 16pݵ{]^eYԃ69vn(x6[84 '|| e/ۖYx|#3T}e>oҠnbFu/C*/zıQF7&hRݖkG.*Gy9dbghpAL Bр^+F״~~oqɁjH,\;?·XG}F+EV_rSiNӒtvNEb4xz .'٭֦rZx1,NQrY=bόw_"*_T?H?)i@`_B>{k$%[k&~inxn`;PB鸀6!u~LcߪݗT^1&sYyxao~$q6<еAgYZ QQ$-9 lOpticsOptics.Lens_Lawsdocument/Lens_Laws.tex7zXZִF! Z.]A-MՋhvG"uIBm5! G0HPWR MF7)&;i}= <`ōLWлjoyNܬCP8X-pXf͏c۴oI@QaJ6Nͮ9 $C@13,# h!3 60w*hU{6#RvdNG3}T ex% IefM! P@rlkū˛wG/3I&nL)Jj'nLhL#O^ú/H-ϠXU/k^S6Ijb{`0ĪlQ _#G Cs"jB_NbY' ǒ1 uu?aj]?Ō@R-:E_.h,Qm- M0ۻ+]S1$D}Hp 6Ni5Vl8sғu,鬳&O% 'z%ELWq#ǶD@31 r~d($3j>-rp\O6]/L{I=[-iz^5x@,:K/CAmŜ:.ZV3ܞluKt}S籺PX,sX 9lUO^uX{zKduȳyboA=Y_ES95-\ր#ؓY-Gwo" u{GN${կp 꿔-pi 51=3-Vq|7ʧSH$Ո.8P !Q:^g/oq“haYylUZZ j(^ Ηb-Fs-K/(Dl{ITٟ'Q;dTsmLAw ƧT>"BY8 K5]Jdc%OWoz㍥E?|\vSq.Q=B9! X(.r͹v7ݢA4{8U oiKʅVOz Fp>$*sQ"$3 9j:8𭉨ZvDA^bY;.Qg**T/!DKR[a 2Kig`f`fVQ 5iCih*D"{Ga2,,d4*[n©Cx"ƻ-OYM3scՅM ih5BAliM<+gD'd_/+.>kIO]<\RӒV&2s 7 O1I+33G 7̎Hvf,3:t\FW#aڊSy +jA2z)c^TZ_g'_j8RII/Q<2dv !(#L⧙ٸr6gY[65\;v80%2vO|z<]?;7H0a!=Η42fJ?Ņ^6.?m4&?IT+\qX &#/j\vbS %:PZ> VYV l!S MMaYd[tB<v|'289=YQp,Ulh Qo^%093%L9]d>p0TЪN !MU u AGnX_.u6Ҡ$ڈHޙKQ{f\RkJLgmaj^6ؖd@"cm:t.g" sW.6P&32#}iwJU>Q>rx!D[~B΀<krppC$n:m"WrmÚ@#nCp5ήJ/yw`]Dz&"?6X 'U%qP"s=n,Qbw;`wljkuy5X%K §C`p+^G!ik:X5p#l&{IMXUP l |hmZhئ+B}Uh? PU/) +Vbf:,y^g4cB-1)/e?)}bWVxWˤVWypg{+R+c_ˊr?$ 5;<L5mLjU?D;ϋQɛXx#T-AE'\-%joZ0E.s ʽ7 1O. VX((!r#*LůXhllNm:rV U w: O(&_{OT@^ /j qs_'wI)j:dy-T#`_cs7~evr4w@ ͋0 n1{19h`v4C42oF,@_(h^85Ҹa{h;uBLr io4U6FjMGEJg,5 m^gsc* _ecuzQW0dK咇0,W8#Yژ '`c |zb̈B`vwEP{+ jAL7[m;.bŎA=H?$z )eDt|NrÅuX+~r~TԆ[X'#Os_G(O '4A V% VmIQgK `#uXb1ogCSf7q%yfA[[56'_r:o%ؠylN{ތ #ԡ69mǽ pfu`i &=V៪#|zP!zI ;X0dYPq~ 򫬀~jmM9uقNBΊ16͙ug aŐd0ugqKܶ%g˽%֢>,;"SGd5x=#b)$L=osZ`dK{R ׎so)oR2,,+)7K/*qjCu""H;w_t貟V /&>R :̽Y[e }iݽa:ʂ\X|/\93x,?RT/ 8}9lGlL_2jF1YCu%2Ə)!оtnO1=s]15~ȕlJQx}k .'3 OpticsOptics.Interpdocument/Interp.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^ T2uHzjE}6$ cFd)S56b?bB#lD&Ryq=^%kBɟKW kJv9fgkaxi=ݵD?ьe,X]$xoJкNLJ8)0Â1VVu VF#mU~ 諱\K!7[9`>6e#¤<4ݴu cU4 \N.e k YPp/>ePX̍4.3O(;qeKB*( .NQ \YLwZBVV-CyD C8O07=ו2(D„OZ=;_wJssߢa-م_(DN}et]$wF@Bz珎!C`=ֽ;Nx3 H;nCJJ_J$JԋvMt[2>څ^\b 6:8S>SE^l6eY#}gSpm̶Z%p3e*\?PŰ| b9&L"w1 jSO:%gdrBb/K8b~>u }$6j8hnQYM29m'1QfJ *&Vv-ߗ tMvYza7R %Q7{ۓ^ҽo_0SBdveJ6`ຐt~pWtw%&,ݡQ՞v̢>=mq~PrY=vo/5CTöoϱj|p/ϙ_~ۅwHuCnO3{d|%˳ĈNcU_ ad`wnU+%)/`V ]RKG N jrQ+<-Vأ<.XI@ t X 'K'6ˆ,k˨,aU]c+Jm.z.t+vtO.BEGX)lh+`7}t/]"NJj&T)XҚKkUyG9+9zR;1$\Ncm9^B=& @YsN-)lCVFUWA%/ 7{f }o[aU G\ApYü R4`PEŅvF )=ܚ r ceEzY*b֧(p *nڒ%՘FL ^p(%gYZ ))'3 LOpticsOptics.Opticsdocument/Optics.tex7zXZִF!  ]A-MՋhvG"uIBm5ł[ǣ DU'! Qˁ]IPwods>[ettGB14۫lEL\W ={ ϒ у!cRmMoyHLE]`] @O3r9gҹARl=hr9}d۪8fCQ`RBtTs܋$n L%JI}yuC=B@\0aeZ`qC}9(G.,5PQ){:t=>[ HϼA9`{.aakNN`EDMZd6P u"'k>̱5|5Pְ{ËgtJFB<j^c&ASvߩO|m&f^J>f=fukZ®M>h˯J$eXtq" ?7_8$j3"2z,k& VU5r gpRtv` I)$%zk'Nn=یq)M*Or-(oS :dFM"!I#=}/k.L$yaT[[Bжn)4ކ6>CZ;k6-zc]zO݀$:ˏsV{(vyS`f݊f{OI[X23@]jZJeBkKB_x+@֐3w#PD/JVx|Ֆ=Wy^kXNvAGь[RLg,} ]aTg򍽖WYqkģC> f%VON}jA To& Tċ9%pA\FtVs57( ڙxmbRo*qY{i~q,'R:N%n4Pf0xYb7W_J8$>$*ȗN4>2i#ev zDKJɚ>GaQ g|s|]lQ?Z)L򥿙qډp\Jl1hTKUleT=*ؚ@k\ XiU*u;լFZA~$%no.5Ef\`6 p tgr!D@:1gVoF⹗¦Xd/H,k\!ddrȭ5g{G/ߺK1s˘ mvсUj}GJ5m&x{ 4uBQcU3cD~H O.>ȢcIer0 LQTżz@tD=Y 68+Ùa3BwޤرJMfyMq*^E,Rɦ4`y˟f \B\JIOu 7_ 3k+i?C?&'*sf['*ev?ܓDyG`V馺#v>pxXwu `M.;m2}rFdp1=c2I^!#"Rlu_H-euoUһBX^BI@.4L \ޒ}2@L@],!%x/,pYi&`+8QҝF>*}ZrhfZ,]&ɥ)v|RݷTam{˥3ZeL#q+9Zk*1CA2:!i㛄^"q" 09tűd3r/Ft@s]CU+wiƉ$ '^_<32^flrgYZ c c /; DOpticsOptics.Lens_Orderdocument/Lens_Order.tex7zXZִF! }(]A-MՋhvG"uIBm5! G0HPWR MF7)&;i}KeIan"rKUS[d6#*!($~/N\27?5^Q:i6šjYzGJoOƐ`I;-@~ו%)S.0eIMF om-ĕO D}95TUQ諲A^{ DgZAvr.=Vf`+eEh\6'>Gir1+ĉo_9C;HxW$g ">u6ymq MF><@Əs q?O?lP mi-ab`9_6n܄.H"^L$TZ3-[?rLC!z:SjpNkܣ K"|<7ӫMU;Q)/#8Gf*ؾ>jtBEH  %:K@h™]zΆP~ u]qԥ̰Խ*(5{c"j4ܧ.ϕ)# dSR< 0 @3jDAbڱ̍x-֝>ijlzsJ9hDh[Q :c/t{Qa֪]6:| ╷:kS"}@NLbL̦PUHfJX(qY!5GvBK@Z Oܕ{yH}?x2t#>Dzl277&P6yӵ)nC`Zc6ip2DCQn*")ی~-tKpʧBi]ZJ)Qx7nN gSg=<[F-{ F˛u#A z]-_mb Z7V9^aXg DDjTzzZ)Q)4@(L~L 59}2s&A^j1Fƞ{FB216KgNc>Eqq|H^ y~K3 \$T;&p+"4ObuSpP⃆uq8&/~iUvC9t`"~֫.UmvV=oB独)jJDg;ZA4DOB*dsDTM0 r$‹%7!U>{tMB]iV~C4a~ըtDVu1PyXϪ!TNJʾdnRPx'Plbi<ߍn$GفHuFFHE06۫R*`:}lɭ=-1_e#ɜF= Bf775-[[Q4./CS".mFᣂcޗ}g >6O( bu;9Tۋ\\R??wA"T^j;nh7(7a)QyGb2@ְqQ@ #j1 LJh+NuVi(3\2\t-A-W m]M=> (k^aU 憈gx@ J%?㧸J e !gF.GDL pjIѱv;um狱س)nPp.q.GSϝx<#g2Ȼ$R޵v'٩,ou7d\eZ#S${禶Hݛt/sB3,Ca{+ =("/:^Qa(]77(grXNf?i9 !JMP^(̟z%O#>znP62*f"h Uц6ۢ¥%9L>d#hReSn䢫Hi|.N1%6dD>քf($H&G;Iyjv V7vWpG-S6*Vw\A9r)frkI&Xv HiF: \).0Q|R蚅~] ,rЖa`? $`o*$m_*ĬJPR( ]M eiK: Ko&KgYZ06/0P(#!P>6 LmI'+¯y2+ת4bRS/T5):T3`>"_4~g*vf2=2:l-Ń%g;jۚ|>am&Txf*fy"n@&Ʈc=lc}ʺ0a6ೢKh^SC)\-~-2y*+ƒp^*o ͕}ꃍ}̈Rro-\3W3!*揤nlbcT@\T *x3j*/@ zh7 fѕ֧ܒ@<돑أgJ#ɏ3 6Zo8 +ӍbTBc?+y-PB-qvm2OM]V):OO RA%zfssf? *W!z^ .W4>!.K5Qdh 8}o:ɉnw9.OM_k5cX ;ށX]KMZUkTh4ڼ`ً|DY\ǛׁoC^o/!ʥT<@ nYyU6mtX#=\ UѕkYz1fb®|.L1͟ N-1q0r9{6}F45Ķ:B-@b #VЙz@$Ao vO,݌Ev/A4p SBnaN)Jua+^jSipd&ߐiؕB"or0# dQۻ-OI0D#8ŒldXA!TPy.<찦vԍF~@hRnڸD `,oV%cG4Vi˜JtnWC%&GPu.fp2j.(0M6T Hh3Boѯn zBta[x9CDfQc bs:qsۘOd9Cˢ8MF>^e6wezߊ r%c vXTv,Z]?ޥ=`?#=:7LfiGXZ8{$!8 1RjתD1a{, w>U@v%|3yDž.0\V]ka-i} Drz}gAbv{wX;6RUGu6Rly h/LdϱsgRH5KЗ.D,-=G]ڧ.^C$)O-"1zU gVSz˖ǁ'24qv{;(~ u$&Ҏ.ar&Ng2RV >@-iTJB8=`[/i Zw!2,ìAfB.g!z0x=RkOrTK'&Ў\p2%"zfB uv "2TP}4= yPXC,|,1vdlp#r*.n̸߰N؍D \c!kܧ3!S2KkkxF*}n: $3 qciJ{(@Z(xމr";\*^RA š%tCkgA 0;:_]X}EVДf6>H3*_0TfW@yTKEk63xs> BG17ciRmvx5d|; ̬>We$ PV8Hu8,qwH^ԙxd[׺h;sw(=El_itM-ވ fA()?U;(#HPFG̻+Omv8AT'I9D)Rh80LOԣn>Z}lhlm=q Yeԏt>t9z\:Ed pTsï]")iI0a: Rc-x7'b!2Dng X ߼m3O gs^ѐYy/l}[=L->M4P2-uzBctɷ+ >%ŭ1Θй輴vKnWLb^|äClw+!SJ'`9,@¢(}|Cq¬u>/| ks;lKe }qpcCgΓ7p,fxIҙg5&T[R&"Gmr @AN<^@L4äQAP?U)aӗ"RPM=1Vq?jd(]\cQ]9n _g)ΎAHCtNv< 70ܣWйTɆO?>n%_;V)f Z"Rs w!W#ak7,vS4c2SB*%/#Q0h: ?\ծ< '￘ U!fCds}o933 S)J[6XAaX$n-)DSU]'d(8D`eWGBH3VpFcfıkLzo;yJRJȑ Y*b"Z_[@,_Xsʊz)D6st aN3}qeJ puym(5o2%'ʷ( bh{ {X[NH<,|9Mz c DjIp@:EUFwh{hn>kfpKa$U/؈Ud Y&>]Y8 _H +L'ˈ_y1dxˋ ]eGIʼn[+w%X;;Z'hT֡1>,? {Um"3Q@97\~U `pHHlqtDR h4f38̯KLuk&gP^ Ǜ@sKN^֠kG'.Ƃ!݉Z(c؄Ho},A=1#>$d.T :|V\2gb(:-#D Ӎ~/rgK\f . رu#!HBD]%I_ǵ]/`mZ!akP2E*r8Fw>L}Tޤy28DZ~FJfѴSlKS!,Jʭ.xc'߳Sp~_R90*Tk2I1kJLU,rՃU|2/Cds!Xum͎WChR ȉMRbڬ[WO'fQ+y^P0b&F;!B`|A+C_Yu;X"u{:%tB_XPÖڻ~ sT&}kĖyroVs3g S$ظR.?Нǩ9@c$6{] j%a7-1Ƞf ٍfp%8j<(SN~ޚ_-[1Q:gbëZIjoa = HW̌uն"(V) izfR6##T nbr)LG3|"HcR;'N41R* X䟩sXqkq٫6i6+$ 5KOa%v/#JWE֣ VS-bɂ|on;-./0hAY]ۿ=#F fC2K[Ҟd+k 6N;ܲ|0Gs 9=>ܗ!!}>.S"IrCEaBD*9Śbm%"༠\>%~h*5o9 \_e :~00&껭'ؕ ('"~+'cUVm@, Qy B%ӗ{sZMHhhhډ4} K2VUD :k?U?Lכ%uuƒBE'5hw`\ ۓ ߼RquGV[^}JmiUD(ugϨkRSѢv&b8E$|übODYbmQ6T̶67;JFp':ow[Q3Bu]%z[͠&xleTϤꋒҾf7*A{)oZjkGrWÇY҈H^o?[}Kv~n١rj,m܋ePU kh$]gV{g߬pvlDE$#upfYsrT eeyMvژ(;I9PJgԲ?Ws>Mm_\Jƻ8ċ!!D~.UL@ߜjq]+y\JVR5uIVy2|TQumF>ט:sf,#PI]u'%zx6}{2QdGTq5츰eNs}*륙AA6n'ykuV-_ S1rh*'y#RD'1mF4ZzW&4OH*>%/|=<|xЭoу\o -u:i 'IPfPFEZ'%pal)1z@ Od[ήj*x f(Iy[BHtl G:oN9,3O},vD+mCJvO;o0^72S +ilmo?a]]Mz^u)brJVhNm#Z+֒z[Obv"A!0+A9R sp 5S,~XEueJa`jt:@`)i~qR8{/Ig)`B;f+ 0 "IG\b 9;3%NLZ d cJw/,T?]4GVZTnnߒ$ϙߥSk@)`ʱ?&\ "0s, ⎓P?rC1'W,V: V=$,=f&sny.USO@1}$^⥂q[ z@.ie}3^I>+SES@ oMyI{mQ+nvb>3sY+0hP)",K;bW^c@%uL-jߴ4Y`j|eo_Aev$ rMÊo9f 4ba/ȴGnmek.‡I14n<1p51/B3L>ՁU-9mVZDNfv:֔Ge5/z@36bmktR v(\_2@}qbTP.>M%(5CD<з<3AsQ1MPcDZwr ,zl+ҁSP@rДF/ܧ8eL[P y>pln%J X+e؁ET# r:杷 =pn2'nq/ Ԧ8yGv ? /21춇*]q0f'U~׼8o[ B: 8sC֖Uǿ߲W aJ}~U2e Oy 0)ak@(uefH҆@x]4',؆{N,>Ӳ3;SR}'@H{;ZA>o8H0C%|_m'pN{* 2ʚc<칫L< !}SR-ObS2xFb9 [YP H˱gYZ'S9=`ާcM #ZXYᆷ/;?Tx&])' HDwBQx's{/<RߥDzli!'v1e.x|E_7:D3=V\EHqGNW_Mw&ꆒG i0 3Ӣ,`)@3(cVypO4}0~ﵑHԕ@+kճ_R*mȩF{[%g[/Eퟩ8qo9V{ ÙK$F"D{H:JmyazJ鷺o I6͏qL3_jGzVq5*0Wym=yl,V][i,b&$1.0wisX} J %-N)H 2L鐕4ȘSExjy%ѷhYjd- !YۚG̀be ԯf̣ [uݟ4ZdȬN@i&;8;68aR2~rT[3 kaz$ ~@бz;ō ~0UMkaɑR*N;-?VU'AXRIkޡPD̗!QUx`km[Ÿ,Ԣc?YDK =ZMk{]eJ?2ǃ3)ODΕ[@*n2N J^61̈́L +ڢ="PT:U?=T4r:®@ܨ,o$ba>޵UkKJS~rV~x6ͨ5H̒Kpx~(0,HN+1E ^-YWrK+74o|pFm9f3O!+ެ6& J]mkxK ĉ݀)8MCl!~ҕoQeXBӨ~'8MùLpuI @?-n|3QV>e =(J\A5=2h^ӕMd!gpF|Ӕtd^ *\m9C7nby4r7j"F*N)uqYV́o^cy{Zj0z{H<*.צB E %4Prj$@ry]c v]#l!>wUDyk_3t p]6ޖFno?M.68srry6`TB5 F4Vu*::$u@d2Ru#k%~%'11o^9G;wo|f/JG},kUF-4AK*)zm揨kD!K 06`o]`XYHp 5;: g._G ̩ q >vD,kpN*@3ZN͗{xE1-{o_x 325+c 6d@:~)6}AC6r-jb_TnC [=Tg>IDM182ST̃WOnv~/ʮSRՂJ>K47Tv>o@n~3 K nYr%uxDw7ۥ-cnF[׍vhzBeڀTbD]ٕ6rP`n>šF0완 c+S΄Kb*OY WsxzceVhc4P֍ltYoOd-ғ5t^蓕k7R -2 hi!;r{eTutQX.TPoj3mν<HtruDž7q)=>sîؐI#(Y%P]pS"M#{ S ;`? 4$;J=K` cU$)SŐ07nR/ueaT%\)O%[FA{w&xGQ`#ݳDriu'U14r'R c&v[e5:hhC s!ӝhNDpg ⊤{Ivl&I;&6[,N"{I_q-`C$ K݈ZCWaQ}]h8PsDŽࠏ6\W|{h| a@@J@=0- f32yaKba/%Hx QܓݖT*Apqe,0lflgT`%߽ ZqybT:31]H}ER\'$7b`Q/TnyީcV@7W9IwǦ8~BgYZ o GI OpticsHOL-Library.Adhoc_Overloadingdocument/Adhoc_Overloading.tex7zXZִF! ]A-MՋhvG"uIBm5zyU}Eg~.2aKYo0bsci2v$~7{_V ipnj[i #|sK|Q3tu3՗A )5o6s/2 F530t#U/b7q8/.j֫%y[^|mk~wҟ.@_ч1OWATtq5o?"cېj[&5|9's'Hu0٤^^?^e]TSW({="oFڤ-释l·"a7EGT><`"I2Z)C"-q'b1 ɝxA)§8iSg pzab(+,lkIBuPKnpX95<π eP?nw$3CZ8ٱP|NZ5z^)Ô տݝGo9wn9˕Ł288ԒV9DZ{}e]|6Gw$A1G-a8L4F#gf0Ra4d^Oz*GA5z5<!ګ#$c.g)/ ĽZD޵2[{?#iל^.raG"IRxt%ԿvӍOI&cݬ_j3[6˸q\B?ɉwf̊M?)Mw.`nDor/Lve37;ԉJFh<41d s3!iŽtOMsi)iz-($ULy\f֡ !lq  CnO^?88ZsEkf4(78A'{b Y S(Su:l0}qک1\pKYBL Av5N{Jb y JXplS`rlwLc>qR Bǰ$i˥6x䞄a`ՈbO]e@b  g"ehΞ#3P2p"]ƙ5xq^aZzVelo69Mqښ1.fY-U@P *{5`OMlw67`[;G@JoW"EMUA.(n Q{F˸~t'" T*ɼV|"{6O4wB#![jEkUq-0}vLxLB5ĸ0q#حA /1J*o0MyɡGa$}eYlr<#~ 3ã$0ScnL,= g$䚡V 8 hF8 {X+FE;eeߩ] ϒdϯr8 Ā\-(#975VS1ayo.}{)2I׸;/$V4XI1$Aedg槂@!^lɤ7E6|O \،2*iuDTȏz0}¼8v)9)IRrr˫ .?(i0X.3u#J^q|&UMޢ j]8mkpuM*8T8Z!Sʫ$y/hp@8vؽJU3m9CYl ur[W&Qȩ^* HKR&6@FL޾n.ѬVt#6h_unkTA*c|1 !! 68:k.Z&Td$ < P!HfAE%/s*SYg@ ѼQ P(`!DI8(|d)S ulYbf@5X~I/k1ZaaaY0VYoa?[߼~)LuufLS3̀v,\1UK $/YkßI@YϴCofOszƉ70 |̗y|G3+ u5LD|+vB Ll`TQOc]uAǸ \-\P ԇ9  BYk.+ ;\D;r=BZj$9(]&I K "mM $=װ%wщg/FRzd{4jS;W玴2 ofNj?3zlͷu$s(iAG)pWu7hLF!m+6g's 嵁 3(ʀbnhZ6safy@)ǶG -i*WleN; MD}i-eѰ1$2ЩTϖpy-"*wvİjſII`ȕ3#% ֢!1|v1Ui bhhiBbO8xzK씆GvnEƍ) g8?B&}ݼ9~}]m@'ؔDojĈeqqsP(8'9WBGwHX5m<>WJ&CYt)FUCTe-l_ z+cHcYnS WΠByH$5OZw;Òo6Ԡ)]AyC U>E^xzd52">:t-'&a[=yr#H?s EF1JR͜IO@_ڞz٦fݨvޱBcFFdlٗj@MxJ1pNFn'eBq,azA*`^a2SO ڱQoCVÍ~6-/>" 4_lK{/*Yf}+zY5+,vRVJLkAʜ+bw/<(av(#U0+oWw^|*\!x3{@Jm2Lw'Fh~MYJkiۚjͮ AUY*L2'W' ,n_.P^43|x#METQ"V1q;Jet Mp*=Y܁O|z_7 ,6I'9+5TU /!]7+;əG*>}5[zwds|f<*erM-|)hJtJl]8K.bad#ڱgYZ =? OpticsHOL-Library.Monad_Syntaxdocument/Monad_Syntax.tex7zXZִF! >]A-MՋhvG"uIBm51#pzom?bK:y &.u{4yol^Fl7l .^CNHn_ sgvܓ[p'Ug3a_1M_gR̶|=ӁWBijE\Hq6P2q "Ԍ?u; a͔JB"B+(CG Z<,74yl3l$`Y/2׭|q:;/e8 h5DT%(;2EOlW_L֮Ce?qk8N[Zl|e \KMm ,?D5c8D}ˀ_iOcvc/jdAvD9Km~NsPMCLfO&530R$-[d2*;SfbP*XNߦw@ YĎ%~$9 hiɮ+[d#N{7|~ޯo+.r\ bM@m[]ƹ'u[r?p[GfUdRTp!8[D,@R gEllZ~PN{{e[Id^dmNsLsȶ忎ל>]K+x?l)VEqv hzŢP,Йkxw#:סwʌ0,ƵE`4~N8lg箮J?=6j}b{2lP/CQa4*]{8|e t2Ȃ;h|3 !1EX$; bQwZ^ZG.a^Gl o4U?Ε} ,b Jr[|~X=MU߽vTzu@amR6$x) inuO܌CL̬ 飨Ғ!WMD' RHh @k3ً.޺LƵ%o*O }8 xgYZৠkIO9|vLxV,a&lBOuprrɆArA,gP֚#S1eimNr8ίZ/`rͫs7wW3f\];Qڤ&u2; 7["|1cy ġ@+c_n/;Σ늳ȣML֍SYc>7]4ĬlFre:5U9qw*~0c6pNf'9~,OiFt AF]W{D7 HCC{]>pn[r]|]㒕*S:;۶v|c+qDȭ+/1cw3r cE|@=iy+! wwn`C<8M:Dׂ/7Y>ˌSTSHN#wV9ȿ5Ԯ>;^A;"U9TN+X A!%-2ec6%5U?.:V=I^X$ܠm1qP}I(My@=Taij08҉d.Eh/MzjcVlZ=xЬ~D}Rd@%4\H{hf @Ab.L]{{y'dcj'ZYs,WlufYƄ٭'j&dOA}ס;i GމHc4Y)WCYqqRCʢO1Ec̏RjWޱ68+;?^xǏH&}CHQx>6?cWL~Xs\ 9}EjF.?sjɇ626SV  ܪ#:wpȽ c 5';YL+7 IEQc:]痬9|ѪpS:uRWo]ˈ6teN s>/v9bsw2i.xzCSgeXg:~ǚ*`Fd'm;&QXЁO1Vz,dXIwXq-!ky^'KDd4nZ_7=)DX;zljKsé.jNX[Un="&=¡>+sUnADaHV5,]& aOIIspa2h) t}|K+Ќ8ַV37**E%KTgׅ#ea+iɴe9%ӦVrj,4BEHԷcѲzyھA{C=?̷"|)H!2gzܢX-EkcIˮ .bF˜(T-t  /5 4W[#M1$'TXԷRfvU\WYQ([&E[FCޖ3M(JMqN]5qZ0g>;DOL9.;%jhAME)1K'Z2uH3q \oR/r[<-OȟEK" < բ.>s nuffy-G*З}eD>>;JݎuopOpj7OKHD; ~(bާ6s&0m4^nclהwi hKB#@މFE*[IY"j a<yZn.;|C 5\hU w#mQR 6wu/`N􀖙z4u@T_ELg~!"gaC w)uP/nRTZ _ X-d0rw@+(찇ta_?R`M>RSt.e?Nu9:vV 1SlR7_08=p)[:V4$1:uA[=Zvc֔~m |K[p-m!&T"qI)>RGq ?cqSQA靱6MAQ{Y[ 5~Tz=lYNH3 *h`#՞OpHig5˝4kS>LxYXhd(%ZJXbZqݖD#morYl aN߽|ky0/̟ I"Go \-໿peH)vjPήI6~410"-SXg'_OXEr7l$gYZ>/# 4OpticsOptics.Lens_StatePIDE/markup7zXZִF! ֧]9H}4l w`eߵPzEcyP5^IKUJlRblB6x2 5h. %,ʠ7- iBET;bt ' O}V1,U+p6E`P]^lK9Tg ?Вa%p|F[B7kcAIp6T_y㺹ZDjs~!ΰ [}T6|aPv^[Gn|<L ˿ZcSJ5zyb ljN`nҫd8,_p9< #FvSQ˴kOmlҡ!Sޱ\rz j4-j rw0iN OJSd=nG6'_\ P-b'ߑcw1ntbi5rOc!|_N~>|$Fvķ^z\h1F[҅dެQ7w.}_s# Rw?lܺq (O2}j4B=9?=NӀSeڐW 9eƬɥ $4 wAqk''osZJe!ء{ؑ6qDһVE<6Z4}\+w1їcS4.Ѥt2uy-l~6pFYQ%8'&AVm?V2ѻ#Փ {eg=K\;PO:N/8쥅"#B^n񔔧h?BqYZi:0w;0vhʧNEz1/yGm8*f$+\AXnm >.!򙘼3tTIbGa56@tL'm%b^r bc~u#cU*5Ix@9IDnڬDZ5{:'(oÚQ~:Q#w>++,pӌ²5-1#vԾ[6U`cZvQAx|Gtsaw->O}4-҃x:łyZc26إBs ڹ.15ݼv-υ|1u@UƷ^`-b S nuiF&7{X%nj˵{7YCP-3Y0OJg[^y$zNmQ)qcgEv@La~2JL`6rByf$2~ȂTP c]B) <~s$]㻮9j*3&wEo!4-!:lȨe=ۨ,tmQZ"E*'ˊ)VDTD0!y! /mk*o,-[P,@q9s~$6÷GTEV6[[VkMplE;@A0˖ 6ԛdIƔ6Fm_} $`K rґ15""l/3coǞ.Cs%AM "μ+O󪽴T\I>/Eةd7⮊f(~,)m7UꁘA?d0[Ri$ &^7ٮj5nPVGAVs$ O>yTO7Mp啜rr H=ޒ)/nTduk4F^qjru<ԑYͼIgc'~L{x_'QнʵCwmtBgoP mj]h:QTTS 'Vmn?egr;$vR8Sߎ1{&j$3<ʦSDY]u* `Ք^@,Vm/?zS~?Az jJ`CN,Jja>SZ.nēf_-zH.Rs%~8p(궝؁wU 4 ֤ra D"XF$kAKO xU^Zg pPjgW6K}j9_w,|oNJgYZR=!ROpticsHOL-Library.Monad_SyntaxPIDE/files~~/src/HOL/Library/Monad_Syntax.thy8=-OpticsHOL-Library.Monad_SyntaxPIDE/document_id276!;= TOpticsHOL-Library.State_Monaddocument/State_Monad.tex7zXZִF! +]A-MՋhvG"uIBm5ȩ<)+$d•܆J"43dSԕ7|@dTKKPNC{Чͩ ynXDѓu?s\I'gFɫ#TkWI9:e5&j; $PK~tLU6`Ӂfy䵫|Y_UeFZ_[ *"ɪW0`/\o~8ţӆ LGTύA"O0@m˟}UZ ;O+`=K!0" a1&E:kA{5*j]`z5ae`U=e}Gx/\CKʛ0ҲD_V "2(XgM?-9%Iг#Ξ@U>_~$/">n>w๔k>kEPf/?r(6/{Zj.r,=jCL3;0vb>a|;s _CEſJ!#X)>e6^ĞZ%/MtXfSJ,1]mxJҧ΋uQ z-x6 vcf͓I_dZiO=t»j Ku<\fVp[茽8c({8'[hC:ߢ[ؖ*T6l,{'V;OV=/Ifęzq L; uG !,'ŧrb]䁆4R/naj兑 ۀ֥B PA7/DUvݯؚ[W&43NG3zCi.|B2oOOw0@%%^F-U9{7{=ي@!p[r]I[q2b˹-0UA&MJd!Vi( 5:x=(iXJbͪ J!A:E dʘļ@fqWѵV05@M"*ywNP @=`]wfX1ٓ!8q8g!s}I} &"ZD-NR "ମ#h#ث+Ei+tV1Ḱϧ,崲i0ST/N'EOPԻٗ