SQLite format 3@ .  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info wwq5, ]% Collections_Examples:threads=4elapsed=151.008cpu=473.180gc=20.592factor=3.137zXZִF! ]ŗXf[&sݞNasEXTwRlĹbLmlb o=8h2Znw_MM@j,o:~lXw+tqOJ†r25,Iv \/-{R2d8QrPm2,,LRW =yN#.TP{RoVU\̈́YD,D 膀O8Y?"4zgK 9FuBB%_(똛gC2]<##?LXm /aCvvN*["ŁkE2WU8Y9Cc4(A(j(:;ͷ,>ymsm/%ט\s,*գ|ZɘiYdO`VZø ܀O9[y\ /ɶFZSmRarL+tϥ(aXBv/"ɈD0 T?k-<[?ON˖mojW>yIqIW"Zhx94+b)1gvfL0ǬÅl-tZP2dHUD];#3P{.M)y럙yTJ)Tdb#[GET)Tv|\7O㤧]z-"'U8_2WЀ຿,=!Ⱥ[1էL ,;֌QG8eh%Tep_SQ ɪljԅ/RQ'_tNYJ%R@M.giWZRg9zxUZ= hQQ2DmimTL] 3x.,w5ԗ')厵W~ddQՑ~vLtЬDSgb3ey7s܏-Ne!1C쥶!DpVɥm͠UW`8y@Bm3U<Zi_#⏑YҬ zL$\IM4pn /km`"9}K6R>aJ̙E9.갻18eןPx>5A բ[ǎ'> ^.f6 \Ա|U9q?Ļ۞1q-aVʗ8,BISDʥ^VX3mw`RG^ L1O 5s|8If$ rkBLJ,1?^Gn!PL?47h7 $YL:[I`>AO Jxt3Azf6NÌ٣C#1DWAڑq-w'#|2liUDܳf 2mP?LpmhU@w2v Sզv,~x[M$mSW Z#Վ-k[ :ѨP a2#;vS}cpl}ꔫweχ?xa[XH7D}ZoB.&`ltZеr!aFoE;_a8C|8"B-?ODv4'~(1K9;56 b~fzc҇7EٍH?5D_qS%緈VkL}Q {b2bݭyŒhW 5 Collections_Examples,5U5 lg?eul_=41c פ,'"y;Ba#f=ֳH*j*B g]z_\o76.GŇCAaK4RcJ|l=]Ɯ7&kRdK.Gm)΃haW_usAsâ}*Zٲ%ҳ9W: ymXX?;:a̫gC_|jw Y4Ŀ!T/ņzq#D} 0X<3|0&(df,RvsE==])<$EDXS!'yn-M}tѷ YCg Z;& '/`yZ e캩qp2cx%uM.<^<<`nXTXxueǤ-"p&dB[Ռ3QQui`ӫf11"OR戵w?m^+|0A!YG^ rL Y e:㵘uvf7S /9|$0oԆ&@y;$Kd~TC5k\ bXa K֘D~qVY6((x6AufƫǺ4H(]r2yU )ቛV{`c[yx+;VnOS?hHYlJJ .u?~Wת[Tf2B49ZӳύYƄʵ53&+(*xx$0k/KA Ljm YO, SSv7r~BK.UpoQ T<B5QKX ,HR@a^=M"%` Jǻ ga+m@h#=pwbRruYP$rSV1ٛ?6Ԃc/G> )~Z$0|t2܌jXcȴί-b?PF`XBZ8[+_ռy=$0mS1 J΄ؐfCTSn,4NyT ʱ4n"1/͉$ʁŸ$~\2 %)$h 61Cv6?иY}RO%ߔ]7D;䕟R> .n"Ewl6m2i:"@bCF7rGˤO [x=M8+*~-[^yw= ] :Ifa-I9yqQ- ‰wiFn%TJg_h0b>@3R.>[C moBE_HbH`:I œkƐr~WFTB94R252⌝w=ZA|Ӣ}26v.'J a@=/KKN@]HG2>q,Gqn5syc>0rY7 FV}:& v o=?@<ƛi?&Qjo,J᪵;?fY>s A[=4d\5fMOU>f\2_?:>Cw? Uxˏz&#d߹D/X€quIlW7u$Rpo$Ke ibD8#%)F?iOfcWljƍ(6qh8,j_DjՉAa49J݈|]NhsLU? 5+t9q4,v4kLM&9Ȓ%/vryKjCCA{Dш!AG$X4>,mvOovf\r939Ic?KQp 5?S19^-WSyO'$n~X21)l "(bNZ҅-ogBq N:,n!$8  .h[lvt@|}?;ꘕCnZ Xc!}oz*sFuP6GgYZy5U/ \Collections_ExamplesCollections_Examples.Exploration_DFSGenerated_Code.ML7zXZִF! OBh] %H  xzQ,O찺& эS-5[I3-:1c虼p)K܈>()OdgC9^y'6o&H2ZGgSچ:R͛1k HЁ~K$v;KV_%eIWnJ 1EvA6dVJtሼZU/*jr471+qݻ6$$#qN4Ϸ4S_1piؓ'pߒ&>fmGu)IUqO[-Wf;\⋅>@|- N(ٵY| g}      ?^ 3 n ) x U y /J5K/Collections_ExamplesCollections_Examples.Nested_DFSGenerated_Code.MLH5G/Collections_ExamplesCollections_Examples.itp_2010Generated_Code.MLK5K1Collections_ExamplesCollections_Examples.Simple_DFSRefine_Transfer.hsH5K+Collections_ExamplesCollections_Examples.Simple_DFSProduct_Type.hsG5K)Collections_ExamplesCollections_Examples.Simple_DFSGen_Map2Set.hsF5K'Collections_ExamplesCollections_Examples.Simple_DFSSimple_DFS.hsF5K'Collections_ExamplesCollections_Examples.Simple_DFSRefine_Det.hsE5K%Collections_ExamplesCollections_Examples.Simple_DFSOrderings.hsD5K#Collections_ExamplesCollections_Examples.Simple_DFSRBT_Impl.hsB5KCollections_ExamplesCollections_Examples.Simple_DFSOption.hs A5KCollections_ExamplesCollections_Examples.Simple_DFSFoldi.hs ?5KCollections_ExamplesCollections_Examples.Simple_DFSHOL.hs E5K%Collections_ExamplesCollections_Examples.Simple_DFSData_Bits.hs B5KCollections_ExamplesCollections_Examples.Simple_DFSUint32.hs A5KCollections_ExamplesCollections_Examples.Simple_DFSArray.hs@5KCollections_ExamplesCollections_Examples.Simple_DFSUint.hsD5UCollections_ExamplesCollections_Examples.Exploration_DFSDFS.hsJ5U%Collections_ExamplesCollections_Examples.Exploration_DFSData_Bits.hsG5UCollections_ExamplesCollections_Examples.Exploration_DFSUint32.hsF5UCollections_ExamplesCollections_Examples.Exploration_DFSArray.hsR5U5Collections_ExamplesCollections_Examples.Exploration_DFSGenerated_Code.ocamlN5U/ Collections_ExamplesCollections_Examples.Exploration_DFSGenerated_Code.MLtrmbٺM^ϝGzsPļl^AWvثKvcq=ќZ$g _L[9:, Dћ.դIRzw%$;""yyeNjue0aBVB*̹y o#b,Œ0GGz>E/ű {baE$"N3t]. ^I`֛cR R5fc|6ŞFؚ5ÃYۘ`.wVY`s1ԅq|t7BnW>eӳ̅pϛx-ѵJcf%.8]sz*=?!4*+P8T(bܩ`\]!ydʘT :%qO+؁!rL*֫BCxݽv37o~>1lhq!#@x7IޘkM*{>_A%z*|߭ ۭjU@lo [>cm6X}^;!K{RUͥ{;H)v$kՄJ }WMP=ɠ)6P1aE r 1u(vIYMa$ykHã#<>`wV9%Ӿ'vJs~-A}*L6@Iqv'{ \o"Pv{du oZ ٥POgI ?cؓb7WJΟ" &Ρ-3ŷBmeO/EX(玗Ss=8K'Rj1$tunnx1,_wDڟVn%CxY*Eݎx.ۛJ :v^]l_Mj9S(O2!XtF<1- |^ $@ٶ\dtQhXi fY، 43@u|s,k(Y-p GwVXHFGmr_H ޢ#pS0~KG͚+sfY(u(ƄA 0}EG2^;+aG~1Ə\\U8$1Fx}~P%;{Z/!r#.>CߌE t;Ԋywi Ad2.},*.ўa Z0<2?,\[0v UG=[a\L:=kfAL-t BQgtL9Lb!=M2XUz o[M>R2ePc !| ZIRQM' o,xa,vH-in\TPs{)kzDbu~Gwo{G`S dʏ=1ZN"|]+$rh?SsWˮZ:-[~}wF _rp#K*,R=5L+? #G;.督o&Tb(]7Z*K^s}钫a<ݡ48I[k80yPoz*[֠Od-}Rh#{aHs熀\;ܧAGz69F2 Pǯ;l(*m?*`ʾAt!Yw~Wd!h)ر:{ qM L_!<ůDa`WZ6O HF'sM i h+@# r-̸ÇzuU9^]$\Ehk"_}d5enA)I9x_,XBo( wzZinX+Q:?O7!$ 2?r9AO}VS1p9$P j*{T-_4vamQhOT.xK+O.ǝXSZYRXxs<:vɳZf>Y7Iӝpel/\,q>Ūkt!,$o.6lg?eul_=41c פ,'"y;Ba#f=ֳH*j*B g]z_\o76.GŇCAaK4RcJ|l=]Ɯ7&kRdK.Gm)΃haW_usAsâ}*Zٲ%ҳ9W: ymXX?;:a̫gC_|jw Y4Ŀ!T/ņzq#D} 0X<3|0&(df,RvsE==])<$EDXS!'yn-M}tѷ YCg Z;& '/`yZ e캩qp2cx%uM.<^<<`nXTXxueǤ-"p&dB[Ռ3QQui`ӫf11"OR戵w?m^+|0A!YG^ rL Y e:㵘uvf7S /9|$0oԆ&@y;$Kd~TC5k\ bXa K֘D~qVY6((x6AufƫǺ4H(]r2yU )ቛV{`c[yx+;VnOS?hHYlJJ .u?~Wת[Tf2B49ZӳύYƄʵ53&+(*xx$0k/KA Ljm YO, SSv7r~BK.UpoQ T<B5QKX ,HR@a^=M"%` Jǻ ga+m@h#=pwbRruYP$rSV1ٛ?6Ԃc/G> )~Z$0|t2܌jXcȴί-b?PF`XBZ8[+_ռy=$0mS1 J΄ؐfCTSn,4NyT ʱ4n"1/͉$ʁŸ$~\2 %)$h 61Cv6?иY}RO%ߔ]7D;䕟R> .n"Ewl6m2i:"@bCF7rGˤO [x=M8+*~-[^yw= ] :Ifa-I9yqQ- ‰wiFn%TJg_h0b>@3R.>[C moBE_HbH`:I œkƐr~WFTB94R252⌝w=ZA|Ӣ}26v.'J a@=/KKN@]HG2>q,Gqn5syc>0rY7 FV}:& v o=?@<ƛi?&Qjo,J᪵;?fY>s A[=4d\5fMOU>f\2_?:>Cw? Uxˏz&#d߹D/X€quIlW7u$Rpo$Ke ibD8#%)F?iOfcWljƍ(6qh8,j_DjՉAa49J݈|]NhsLU? 5+t9q4,v4kLM&9Ȓ%/vryKjCCA{Dш!AG$X4>,mvOovf\r939Ic?KQp 5?S19^-WSyO'$n~X21)l "(bNZ҅-ogBq N:,n!$8  .h[lvt@|}?;ꘕCnZ Xc!}oz*sFuP6GgYZy5U/ \Collections_ExamplesCollections_Examples.Exploration_DFSGenerated_Code.ML7zXZִF! OBh] %H  xzQ,O찺& эS-5[I3-:1c虼p)K܈>()OdgC9^y'6o&H2ZGgSچ:R͛1k HЁ~K$v;KV_%eIWnJ 1EvA6dVJtሼZU/*jr471+qݻ6$$#qN4Ϸ4S_1piؓ'pߒ&>fmGu)IUqO[-Wf;\⋅>@|- N(ٵY| g}6̇NJGYշ8USX.  U L5U% Collections_ExamplesCollections_Examples.Exploration_DFSData_Bits.hs7zXZִF! @]K]b}v QTI.6]T kqziɒ&iэU276=R&XJ>|z8zY\(8";D/ ~1ƀb^7rQLӍ3 ".<$WE28l0y=EeEG(1Sӑlғq?&d=±g3e R_47K?_QqzU $7}Ĕ;^@ 6Pe: Ҝ f<"DJYXU^f3"p-] TM77)0!k M=f VK7k 6r~|-fL>$VO0a"dgS+ eRs0.- J,1a]Ia٠E?t!}`pY85!%SgYZ!5UXvze)V'W[3= Mj25CG3 ci.p:h1jxJWH6Ŋkc{D-2п ~nԹ9*X"ȋke_Tn`2,u+5ӰYH]=Hzhs'X˪< 5KXvze)V'W[3= Mj25CG3 ci.p:h1jxJWH6Ŋkc{D-2п ~nԹ9*X"ȋke_Tn`2,u+5ӰYH]=Hzhs'X˪5K Collections_ExamplesCollections_Examples.Simple_DFSUint.hs7zXZִF! W]6ȱܣBnxN3}:ך[&KL+}<>HnQ?VDyv{ -wA^s L9߫L 柖SL]Oŧk[uuϿaÈP+z/1%HK{zZ3`q,*m(9ۼ3v/v%a9*o]J3U(\~T[ʋ?_ZɻXY"~)qpIo=JLQSA~H&"0=,5o`N G\SYZkb7͎7-O8Me0u U Gi+I6|*{[Vf |sa=n{R wОG!HTbɞAk &rS8*3yu+b9 -g_z)7f kʆ>u9e`R# O.ޖvҰ8.OJ Z\%ONi#Z1jdFԻs|6TlǏQηVbތQ`Ozujd?j3͋f`t #Ja)`д=/dVlDK^r(/S&?)!|`w>[Ky$M%T*m%pƁw7$P)Ùr&Vƕv1rn o\n!:EBy&:PquֱcՑuZҨ5:!1ɓbHSCV`ŕޛM#1}'/vs+c̈́Aw-#FmI:NCO^]2bl N\x )VgY}IBp%a nϕ>!&XdL Y0gCJ t{.ar c74,'ޫ/ZӦT;OvyN:ymQRS6Ƽ1 Q eֲtq1n}p>F+|qYG(K]{Mc3<rm?,H1 F֢ZO3S=vKP%'U˗#̉w/Q`蒦1t@6^h߷a>Ca!d˿uhu+@Iq嶱wG-g-l FTCh's{ZͪZ-&n}SNorMzSs<6ܷj~f6XNV!v6a.a zpuݧP&\#dMk? &1S޹#Ggx`HJu(e|\ kU)p˲|I!~ӛi[s!M ij-0Bdxl(Ȁׯ Mwy] igRjDˀ!IA0'>i7A_EjjJ23۫HP_a;=_@)fgWNH"-b`Uv6zU1}TݙS3ō 9D4R9!oŞC HpyB(X0k\&r{z%O[5`i&+ܬb zHUy8_Sse )zx3[45UçU!>l:m9םj O q3-nruyV=3D#.&˴M$Q&ϊ gQFu#%)g!2\L] PtDr1` z  0zhi'tAU; ~fdm/M縯 V,tm2Mm7fvWGxU#L4.dH֫Ekz,4i ZUhwU6iC΂gYZ  6 N 5K# h4߸`_>\Wio"`Q >" _ ϴ;Dž@6_9VR5dʮrx: +Yc|c4 ՗_`)(fFC" LuAq\}u s)nz6LTڔ" >p}q,IxВsI^UIzj9v _ي_mfHem€E1íLQ! |6PzXi.%8 ))먢Zr)m X0υR3k&=zi֒I[6nyd:S!RφI9(Kn\Usd|`ír/Ef`p5[ mQpVQ^̞(q65zGDw£c3;W' ޹g뼚x> l?B.2H4]@Pq5iNAO\/oxC`Mw7ŀ\DZ^XhQ,\uB&Ьj}QZG3xOHq@H q VԵM+йZ&[DVe"{mHMmg̍Aդ"gcȊ_^9M@_ 0q0Kj/m"bB_[U*?u@n5K=a|p\6 PK<^J Z*OnE=?+Qa0rI\CT~2%Jl1o]lKţ@/L,Q Le*x}W}*0*mEn㳻:I 8rb ZwAL' "fhBCwEC:}>2Laa87#=tZ32sSZݼ?5us߂FHO*c3 4+ױgYZl 5K \Collections_ExamplesCollections_Examples.Simple_DFSOption.hs7zXZִF! @e]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmf($CIHD+d/&UflPfAxEPg֤+[cWڳүEl{L"^_ׅ|wj,BW( iױV%T䙓x|[Z'ƸD~d;PC-:2$fOKwfq]6gTMƦl[-|ў_C.DpS;$֕jDL[Mu_0Fg7 Zw0KPe]O<)ű;>S 'N,E9~  ܋h/bHᘱgYZO 5K $Collections_ExamplesCollections_Examples.Simple_DFSFoldi.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm+Ҍb.&NI*u`tPluD.>נuN\\\N&GKW9M8 FN bwVΜ*Tv ᪋J*ikUb+XǷ vnQaDǴ%E{hzu'7@¾N 50hk 5sډHzk t1! ]ӱZzT4O3j܏A}&Cs,rɋf範ȡ La 9A[LW#u\9s7ZUcAp$!fwwb|@I $wŁZ(=P蹤;5%εSSp",q2ihmbYgV!!>BHDE)Px&gYZe 5K TCollections_ExamplesCollections_Examples.Simple_DFSHOL.hs7zXZִF! =c]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm}PWQwNу}DIu&SVvΥtt^aZI4]F<-ߪX_Fi <8%kDuB68cyXRuO7&rx#705abͥ6~z4=߼h|q Ԛ_KM*7zGW׀ [G0ܕIa|z8zY\(8";D/ ~1ƀb^7rQLӍ3 ".<$WE28l0y=EeEG(1Sӑlғq?&d=±g3e R_47K?_QqzU $7}Ĕ;^@ 6Pe: Ҝ f<"DJYXU^f3"p-] TM77)0!k M=f VK7k 6r~|-fL>$VO0a"dgS+ eRs0.- J,1a]Ia٠E?t!}`pY85!%SgYZ  _l55K1 \Collections_ExamplesCollections_Examples.Simple_DFSRefine_Transfer.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm>!lCeskdФ -DA%Z5DC}~cۧ@r3>ǻ}n |ҙ5gB4(xdcrKۗT- e]wBU SnYV_ gcgYZr5K+ \Collections_ExamplesCollections_Examples.Simple_DFSProduct_Type.hs7zXZִF! Fe]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmrR^6^C/߉u!QdUT3\de8OV7}`UuڣL *f΍y-b]hkMHV4J{AG&]t/f("z6E_V^ ~Js(@E7 Ԩ^GJ|{zY,q^S SG eњ@Op&s=ۋy=v?8nᲴ9w (. 2N,ۛ) XT]j{= /<{gYZy5K) lCollections_ExamplesCollections_Examples.Simple_DFSGen_Map2Set.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm$5l 5OHДNJ {pWQwYrxP:$^1c`BDЇlYsy$Ux.pi@R#TZ_50*u^x ;͂QI=0h0-E9ڐ<$M{Xm|?p$*T2FÏcuwTi|% A` ; "%dcd?G%W?dHk]wG %$4M[}{uQJVʀZId^jjG3S;P?EF<kqvRCЃ4mji8'5=> vc^qn=;Jqq؀k찪f,-}AС9_:Ւ)zj6.,zM^dhG1g;3pYP3)l +|&y7 }yBqnc3b-z{g{X6Lyf`W`-,|m}<2ou0*WK|dxP RdvԡZW%/p.)'] ۧIG-8JD˷Z8-6kpQgkNSrN76C5Cn;7t9ӔxyNnF2fǟs0hkq(PRgF0ThJfhբ;4$>f?Pb=?fdI {%sJӳ[HK˻=<-Ÿ/gYZ\5K' 4Collections_ExamplesCollections_Examples.Simple_DFSRefine_Det.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm>!ltM(suu W}:U6[J8CZV0" %"޲ uPS&I%bNIx\1hG<+5l2.\|O{Xxx1ʗ(Cr0Bg_<&`<$ },u s S# `6صms߈H_ر?fq$5k%As权PHNK@Y݋>ygYZM^ϝGzsPļl^AWvثKvcq=ќZ$g _L[9:, Dћ.դIRzw%$;""yyeNjue0aBVB*̹y o#b,Œ0GGz>E/ű {baE$"N3t]. ^I`֛cR R5fc|6ŞFؚ5ÃYۘ`.wVY`s1ԅq|t7BnW>eӳ̅pϛx-ѵJcf%.8]sz*=?!4*+P8T(bܩ`\]!ydʘT :%qO+؁!rL*֫BCxݽv37o~>1lhq!#@x7IޘkM*{>_A%z*|߭ ۭjU@lo [>cm6X}^w˭PQE!̏9ɑt=A]"_ܹ/Mld}Q V4]Y9Ρ!BIGbYSΆbܺ: JΨj NwPs{TܜUQ/>X*E}6|4JnzSyCHq鰆)Oc>U<>j2e)b9ơ6qZWާ?Ꝏi+b_%CY<>ʷܥ\"J<щX+%rWOFvqgOx5EB? KO9PsOTڈ#AԌ{u,MZ:̬05h2gܠUHtdt,d/:ek'sެPLƻ|Pe g"9X"w^7W&`M{t[d,Օ 4'4OTPm6Ņ,LS:"#$KL=p ՛jDj}NMy~i#DG~?6:?Tz)GduAqC?՞-䑼(&eF-DϜj%GdWD⇯?w\d!" KᏔ;=ӖpE8[0GŽS43E׹{MRÝu?Ae:NJǂtmtUZR~n&yHb2rpv%at-PJ"h2PJi!k 2EH>ef9qγŧglw#蘚ߴ|ɀ dDc&E[Qxl(},4r8{ J3z0|#QKrmkoS %j*M{*!W1˥Z0sk ANQf3I%ލ,8ӱ%[U7Z]K< 0|C:v*n iSFOJB`tۀ0p*R)5瞄QN/R^Ԕ?b[v+:Z l |8`lpgXxeTT]9 շ{#2{ƻn'⪢( :*9zJq ts40 kȁYmǂTPI@$fTxpRnB{TuzuFH$4' m_c`}jj3RYsqԪLR^7WLa?u)k^ }>xK`0zuͤQw;ATq8"̣C>-ډC z|nk+-g6ndCBt?KrY }&%;I` ru4`nAcG~vOz|_=VTƮȊzwnųĐxon@Y0]?֭Vk| 78ߨ?s=`_B1E]=ӛ7r+w'3߁_JlEGN&*j!_gYZ &5G/ DCollections_ExamplesCollections_Examples.itp_2010Generated_Code.ML7zXZִF! Vc] %H  xzQ,O찺& эS-5[I3-:1c虼p)K܈>()OdgC9^y'6o&H2ZGgSچ:R͛1k HЁ~K$v;KV_%eIWnJ 1EvA6dVJtሼZU/*jr471+qݻ6$$#qN4Ϸ4S_1piؓ'pߒ&>fmGu)IUqO[-Wf;\⋅>@|- N(ٵY| g}6̇NJGYշ8USX.trmb 11L5K/ Collections_ExamplesCollections_Examples.Nested_DFSGenerated_Code.ML7zXZִF! D@]SAТY>9o*D O1tb^n^74M]@qwpDz{5yiGQT{_mKǚxɼ9M/@+Uz2EX1^NK8D|l --NQ{>Ƅ]VFuf5ɾ0bdmW_ Y8Tp;Jn R=لA`N2ctx)\ĶϮ]=HvlF9>d[TJt" b$T$~|S,DžYDb IY'zL ٩J}r4?O3Qۖ[&NaK \gYxi݇C8l?$]dP5S<Jÿ/ ]x|PQ\۩Ch7ש.V6 iU}'l уAG6_-7C )&LsJr y~%A3QL/ x>"_J -E`\mvփphk c`{UZd5Z0Ȃ|)~Ixw&֫Q[ָ*.Ԅ@*]mO|+D.Tf>@ T}\TD vn.se_je1s@&-fs|:ֺ_GXK_7i$/G_Vω>~H9n#PMdHVI8Tr'405fEa<:. ?`bD\Ό%(+戋MNrZbwQ,]un8`-vW.l̺E9Ļ[+8[TRW䔾jZ@T~Vn%g)5Od$V>]f[6W@[z)d wy&Ykl>oA-zTHڐbkYYz#S2pS0=NB |Yj7'mEo>qno1(/Dyު}9j4o`N*8о1N^%˃qՍJeGgVy:et0$x}-yh:8t|%d.453`~&D;i#M#^~HEG~g#K>U LnM=f'tчO1#foԗ+Ub\wفyN~cCRqqiiF*vio=?LƺB"Wӵs//Hߘ}F1kK>Jn/Yㆬ>(Ma^U`X0,6~Dgq+X2we i>9*⽚Wz)sDۦUydȜ-֪J|羧@rϮRIeR9w57{=jHB;IY2C& Cqyt0m[f=#&'B\28y5Ozm\Fcm4R Xo1 M ٓ/,!ez @ۥaV7Ltl>49@\sȝw+bOTHoaRq:Um;fbp?`חr4A)j;x'0·`)lEt'2]L~ш҇aWt@U](,S_zCx=Oj"G25#4%]8:=wP%I )"_z'YNLݥGsdF"tA0U=K&BD8**8a9,OA hWQ1GGh}p&ɢEAk,~%gJ?~/Q]p{/yS68i ~s5ginLedAx+g<3Nxº$o[<ڐh)^rWu=!Xjݰ<39q?N ಟKwS9ƬVf@ryԯr`Ե2*4nigML ƺܱb\hQ2Dg.d]r"<'5ZKo/}t;qp-_]8J|3V׎|=/`fMyJ_M- e>8I~]ƨ- mgYZ|O c#\AΒF&5pjr,#FvQX=uVA Fu'MShoS@H!s-(B" LplZ#VE "o𛊯#ى=ﶛ] U!V_yGwX-$Qj`e. )!+ 9fH 6ҊlC 'XxpO!mHk(Cʝ\eYħBv ƒs-b3:OW@HuKvI_4Un>ŕ} @@K5w"Q>?pÆbyTuhvL/H':=} p%u#=u` h GH49{!L(򠠼V4mtC!BHq3^gI?ރ*?}?a1~þ٭c3)&KShyYeָB@ LN*2FuQquC6*V0)fA!D^~KL3wKtc3H!i6CU.SR)%_ q+e2|ZizK;(oɗcPyc7)i9|9 ؘ41'pD@p¡0F7CS .{+hΖ:]ߥ@&+1{I gk 2R.˼ȞfAQj`pBx޴uC-ti^6r>P]îCFlSzu!|enfi#=&ҞJXJ$Y`3óm\k鲤zB9UKnx[a=4~N5wxy vmP$/v \bL\<*3͒nƼE'/ Y jG|%|"N g{Æ5틢/ 38!Ck%^ϥC('\܆G{}7BvT@ЂjVv񒑂F3aRV<3[/pTmnfrjƼ]SjӌV; Si'*Z^wyfhkS$ӄpf9tT3"oYj;+FD`NsZT 5~p}}t`(+|,DŽ Onݏ s/2W+C*}􏇬2㨋vXUFz"BT5X$nny00~me_{OzXhʥ_tf `WJQc=~beKyAׅ/BC6\FTD7٫ XneEgEU+?6OԟXb<]#6Zfpچ4pDry{9.1s.gMv5~gرy :&@ *0艢{2͐d3)>n\fM^ UҤLb@3%DȾ(fpe5}=&"*gYZ7zXZִF! =M]ŗXiɟlAC?H 7XzW!ի.y% >fb{z]eLbЗ:@J{k1UvX?QsxN_R:J U--I޲;0B>C^Y%je = mhYgiP0i5ۻzəyv<¾Fa2JƵ][ G}Đ;AHU䦍R*ӡ;;u<$p6&39䃸cejm_8n5 p+[jz JG9Mk%mwdi%C @+!5 ą@w%rי{M7}GU>6|ώU'!# ˉ%|Xw.iR^n7O/bк1p+&4K4&_`4ༀ%/[#nh Ra4O9!*Dߦt-7ҟ~2F ?.{0 / BX:QE#l N}8v @׹g+:/GK'×ڝAC1kcǩDP+\ݡQ"%65`VǹO;#s" 1ؾuN1|<ފ(ojqu&s ޛ<0c䊮Pur?4tR'9?eY_,u2 OZףPk ug KTrF[Yj=vi)%O_/ /kwZݮia0pbRŁ-NkƗCiY7 %pr'~;/(Ϧw55L18& l:YzyQȒ0Z/rv $gYZ7zXZִF! X1]ŗXi%B}52:gԭo,6^~U=ԗ"Ng_r˼B72 wf%(džvrIwX$C@ ە+9~g['vs$C+HmilB1NΥt45uC&޴u$!?Z(˷d>$l5g43t#k!2 2<MvsVI/ǿ nK;41Zo !nnI@m%P\x]<]ڒ?!i D iU)HQVu%q#S3L~AAI~v]B?|2m4p+#N&4PqQ.KlTbVFimp)w!;˿6cik@ a?^^SD31"n]!\Rp\0)_\aUq[Ϻr*jsY,$V an->7OאL+Ab*a.BV'˄Z0,ɅNi-l3NIeU X]]=a\b}gGΫ){/n b1k%KK_=wa[/*LxU3A⭃qGߌ|P Hd/0{Ia)z4 >?^Q*L/YpElEՊ{eݧO~9x2KғHcX~rs)EWvu@a'vz'ҵ=[B0sKaW'I󜜱#i>ٽ:D=!-#kYml6mT(|`CRdq\ ?0 1H_LIOVut|l@G6_4(M ҇gmBn?KAu9_P amƈO6GݰE3 )IOН gG`gNY M}|"U#R}ts6L ?#j.0ߩq(spwڒyzcDCO\A!28F@_oi?1MV 6-AR4ȹQ}jDT ^Q'wȣUv;/d`s=iɗ)6=t01>ddv/CߘeMͫ⍄֠+!&w5 z[UP+Ƀ~1~6$I{E+x=Gs#ݗޙL 4?IdTiRSzyIm KҒO[w+tis};]Ū qkډ"d|lA"tMAKfBϣ# BR麒l|m΅l%+%)}]$ڔOΞB7VIS'RXq-[hjM UFCL԰OH4BYs '%4PgB'O)Seߊ~>\><ĔG#m1l;ʟډ <ҿJK (ha!cPlĶ9kvc?PԢ"!7$32jY4~UBTkx&;(g ՗O2^[o3 N p4D4jW hEUX.EB=DY0<ɠ $m0)ĚhF|Px*C^Fˤ%67nR*/3udZG7JTy,]wW;$u(G׍U MȑF۱ 6DEH 2RB@-oBaP⋕֦jZ>݃Z57"ξO5L s h,}9ʂ)1Ü4+>ڛ_ m؄!"dQYMKgɄ(W@zk@Kz]3а77dM=Yv3`0]$4I݃CyfMy*&vl; X/vN E_KmyVҦZ~Vԝalg/APs>= S|.@ō9{ [ kQhu!]hīZ@.xQkB2c 8eK&yx(2I '(vBY1 ~3qk,L/w^CԜysouwk&9V_VDǨ_ގ:-.a{咮/3:^xz@Ȳ› *-NҰź#|.Ix?O#`~{*&z7 & ,s1yyQY]-zRќ RiK)wպu#2x= ˧|7MnD%/PhY3@ ߕO5j-i[Vib8NW'~n^0XrcAWpzK4ߚUGb$ϴ[%khq8wZjy?h@Nyl`W KIa6>CKl=!cAOэewY4ZF82Dr u8P]?#fm?Cw[rĉSh^.WresfaP]hi"_cb I3o4$ft> F w"Unj yě 2|۰y Q[nt맹 Ž$.$8z8ߺ /q bs6|x ؛. K(Lc3b|_}U1sOXiM:XP1j WbC,ˊ"xvL`&u\{'H+Z҇v4BlHKTof-[ryEp5)"DqתKF؈O1DGrcI Y2ZHq[h"bn.>Gxoht&+Ue+~+1 idt9K?EՌ kI4a0JNJ[,U%T"5$dY_iT{|IKA&v^N"@E!fc=ΔIcLNuH}mp,$68y]j(|litVNQUG9^mrWD]_f9}׸q~ EEo }?)Ἱ6c&R#ݒAeh %|R'o#D5!I?`pG`X"g4/*Ln ۄxVZXeT?[b5%0NS:j8HNq~uYT" XϺ,LA +J(#puҰ(l8F1xVyc@k7fE\a8YFL Gyi `Te4itm| û3H xtZ&8m\A)}VXeFrcG6q6.f}Q7J_f lFF5ߖWV Tt*ZZԅ$Vz3D41_R,zAV">#FWxov{\AQ_{e: ɔ2_}x)Eyc~ <~cInR&2b~l *vS#iֵlG[jn&srS5|n+ɶ3Veuy@upmY1{ OчEmtd>เ?@;}? 1iq=k8K{{g?6C~VAҋWF^(@7.\G^͉IZ0W0sdk-UU8!dLд/(Mz?AI/~Z{z6uu;;RA[ࠖm>m̎tV开7G\rǂEJa(f<?V)[5>Ȉ )u*`BƸ$5 d8%#OM ?C,Zz#;W|]K xmb¼4߰}{ Byuߓ`wWvP<#ll fDl8a2|IZH~z}lA-/w`#dkZV~Dٲ<rC((DP &z%؍Jf>Aő-qs p]"ڗYʣ{mjnt(Snb˞͡Ջd\z-r}lS.R(skn&J[}VS@ \RvqHgsYdXE6C>g: Vۅν|H[.^tœ:K×MMO?({vm;mL=@2T: (y8[ ''wmz&a=} P(seu whYFX/:^c~d}m~FKv>GsAjĢ~ihr% Zl`.YLxxȍ/ aZ" AqVB,i|y_?:'88Mij4{X|Ovgo+Ư?h;FFpbgymp~:WꋩܜѸ%9z9nBZ-EmGGYR{9X!<-=B!l5{%D-+PM bPAb-Oe=Sfe|hu{p1{X=vY 4*>qa(Ch| 'Uy3w^Z\;kr큡K-7ylr޹uSk.G0 2ۺ̛.ݗӈ9uK> "5$~K!tvSP O \]>Ƚ 4_?B W,T>z2;jUmO(gwxXa+&񄯂4cIFʯvIJ6d3CBd'e &Hu<|>4SӢ)WK0n^C^Y ?>ȩ"4$m䈙1@JkɊ!N٧YSÍV0FV0Uz ?(bq1x[! ߕlGQ|ǂdtaە_caGn{6|䜈 fb;ϾUpI#^n[^ {]a%ӥh B{0b`S K7=L*O@ :8D^YQ̀J<Ò Q W\7Kw snOF>nѼ/_+Aa_,߸lDPUcbV%22.ȣ'/,ʘK7A8ɸ!ߛj\^϶dI(A94&8nJ}_D엎ԝ.t=H6/ P$}c_CY{0'VJGz(y&s^[N΢uGm`F>h;= z-l\9,6h[gmvn!GAg[~`ڱ,^tICF\K#3=uX-e<NjYB()}~(JlHJAB5%?nNֽ>Do\t-\MHL)̉X U~@U#-Y_65][ĩ$|b sj􈥻Q=zޑ(viG/PNBOO<.< 18EwU1 "6*GQm >nFkn_Gv:^lzHSc=VٺqooFbP`n]r\Z" i٧ф}r499{ oqms㐡\Y!fԄGCۜ!.m\}`[1r%kI5( i~@jQQetP|պK%Zolϼ8;#_Nbh(VsHڏ-ǛyKFgmud!M .Ƞ`!=shS8!cyw+l8IA3Iob0UFL\{WH'̩X4S4ᐨ<.6 UW[F }؈h[*{/GZZ8qG!w߮6 k % l$j钫0~)Q >ЂqHRtE n^AB,R}ȦP zh[za*Zhr_Q[wN.3c:Ur|@/^Aĸ.G,ڿ3or8\B4%]_ mV'TZx= Y| c\VWEgj(eWu4sxg9~A#z54$XAO[8.h^qf岹wq)f7p-.qX_:]f}ODiKK+JC@"`t[>y-FZtU۽YVy.la7F;"pu{7:Zo2Đќ[Ŧ]߂qe[4 ~a=%w/7ezȪĺG *5aRUzŭ${ 7i7, yZɽ— ,Y}A-wfJjV21!W`E&^ϲxucYI1Owu㘟"sڳj: tl7 ڳ'cORA޻F~9F8shpy! v}4*ܶ:稠GũI$j,oOYHd;"<-rnPiP/,Ez; jʱuD$mzw&k{#L4 7pرpN8U세쉋  >m,n v$MMЍ_*X_TƖQ?Lu_ËJ66> d~Yߠ3QGzꊯf`l|?Pb?0%n&sB [{#Qߦ {7LA( ÃZardQq`mZy["ZHmX";~:HLܟ?ۤ~a#ZÌ5jȿ4S ~V41᝻V!)®D= N`M,v{Ɋ]3<.j2 :zyj A^tr$T9TB>uְr?A/~83++ X8*V"Hyc3LtRRw޿*;8b)%jML~i}$W -7/Bғ?m>P_Γ`C#0,!B[̞A.mfÄ:կJ#mwX)I$Kܪ kD : 'O#bTP#pn~ĊWAkLv5W-i~9_w`;7 =6A-&1o |k 6v!uN35X,Hv"rlVמ!NcH I1Z+;f.♤-Pyd1tL#߶rJiclFVatQ1ڈ+4/iaҙWrz AHƐ#v;NqߛYS9,/D3v7m=$p鄛더 #Dn>D hh`.$]V>cGyYÒMJ)|F { \G  3>O@`mu.8xO:& ×h$̨, yu?bb,rSXЪHNnl?.)ԃ"|q)Z}ٝ5 nŇ˲}:;'7Q^bj} 3t5,GX/޳4!RO+u5&P/HP h gg%4* 2)?I1#BP6O! ws/+L]a#ms u,IցNH%s%mo;ȑb6HUoATA⧛ XqBr7F0=QFLjȟ.$*}>Ȣ>ɽk@3eV.z2${m{ ҬRӬԐ.ίhi*aoitUx5?MNi[@{ܿW~zXsNniq+Xmʕxf6-eO=1_(ֹG ipAZI"{EșMFujB ~ eR-CwB6BvWf$M7qsP}ALF-*N/zcD ;S̒1ٹLO֍{`CnhKO N3*4^٘0}ٯxve?I(Y9awv9\5E G9yMC%B_8+}9<>Sb;2KZ`(bIҖ邴'},<$`do+Sܠ[y@#i-lA 2@"YYXڎ5>AhHBD͞kcvwQcb?TƋ PşT$KY:EAKct֘Roc(> x ]0Tcdű gYZec280183f0b286c139f4707fc42d4c96591954b43853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 a521f0bcc4dd0ef0a4162c955b773984b4083722 8767d9fb6dc50654be1cf1ed4933ae09bec0b543 fa629fd7603ae616c1079406dd30d7e23ae489dc