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 %t4TT ] Finger-Trees:threads=4elapsed=16.037cpu=31.376gc=1.9727zXZִF! ]ŗXiɟ7KIxjbk- ^ʼn4q 3/}ʕv膋# 8B/პ nyHDY}Z֢;l(m'#q I[\B.Olx ]aGC윚S=8_u͐BPܡ TFUD@< ~7؀#ť"srfVH2( o.`uɴsWq(.pp dx9bgR4Ti/ "6/ 'ƓjyR2?sAV's*딁זiF8]'$ƍ9y%L`j4yecm,w\ )mW<[V2'!t$'%]YȮxX̭q8q1!O27N@=>T( j.}Xz%i/TWl  e~Y%wδq*lgYZ7zXZִF! b]ŗXiɟ頪{jtJ" ZYYh(`]s"8"6tjg- $B覇g1)AɜT@USrxW 9j~^GngYZ7zXZִF! o"]ŗXi%D4h:+Jٵ6/"VD!m˄E2Ude+w'%=8?6>di&mpVQP(xB/ʊpI~.,XA֯QyoOBƯfF nyAUE.qLR!vqGjົá]F*2 ;Vh#ˁF_ԋ0!&M̜hy4,SFFJaZPL8 MlBA @\7D`^ȶI9J L5tepi?tCYe;@d9C0ڧ[#UKl I[1uH>]`'1e^ru.-Rթ+W^\9 m$~գ!P؜jUvk,'oSp6 c(L;q ׉v{a|iT" gLho{ [4ǥg.rpnTGJ;ӯHY.?lzi (RjQl޶Z44 a@Vh9!E1Z-u;%8/ҫx|r RDOLV$ g#Su} }m\\8Ʃ`94#6FlS AS ?гT pCf^R=^ N#."LYl3.=eJ?D,?IV'ޕR$Sվ.!Xk)2P >+9B:hUt?O:/ʁhGfe >!^ IM*,{}|\ (]hԁboA2wKpcEz "PwGRe歓 lȎj v7*5Iv0C 6qZA Wak }Y0ҕ\KBd Dŗɋ~,oUvc ?2adg6"z p!@5_Ϡ5)1f5W6uF˥ŶKmHZPSO)OeX`9o~WMie+uUaXkH0m%,PnbcB\bdk)vo\V~mdw23DL;Yq*Li +~jBp~w؟?V Ve+e5ힵhia|#4cꯎ 4&HZNh&"b6dT7uB?\(@O/B~$[g ^d}=qj&+\|xg5x}vb:,1@QKB]:g 1M}lʨ#xfQ^֩$ReK`y.<ƅI3CI0#7ىj(U}TJ:V#/x\mȷ&@DL4b{XfJ^i&qqͅم|R{.PBnsd%d C5EMjNuRH3@_'<]ku#1do4\VT\f>y!zRD!($ !w_Zż]5lgYZ0a3fffb7e1d3a4d6f4c8b2ede1c7c01fcf9358cec3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 1cfcafd7304d5a5e1a18a6227905b0aeb379bad3 % Finger-TreesZ%/7 LFinger-TreesFinger-Trees.Testcode/export1/Arith.hs7zXZִF! ]]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmcQ. \7+<25lA(ɓߋyF僈xa'kVVX`pr*)[8ңhU𶗣Mb_qkܨьy^*A7X4FU `0SlE p$/ Wlɠ]#eFGs ^pˮcV8PEa)~\):2EbE%|]>{UccZ%RwfÒQTnsǠ:di]J!9EAw'EJ,]:lRymeN+14#Y*J'M5/ꛇ٦{Xcij J xʺG{ 䋾?\2 _30e+Ǹ*LpaV8,_D~0oWx)`BPU CD-ѧX,~Bb!$CJe,n]pׯ0?VeUh gYZ%/5 DFinger-TreesFinger-Trees.Testcode/export1/Test.hs7zXZִF! ~]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmdz3yW.Ngxd{';cG YP7zkI~ ZPFhV7-@m#k?3\9,2. DXr^'W\Bp `P?%9۹ \m+'n9 f7NPe^Qe sTk`H<,}Bw2>e܍;VeMk29Nҙ<"iF$:/ZJ _U,,ˏŜ^0 `UڰK~gdY&5կy̦<'H2 8ńc.i tAnTC|DbZ` xW54ncݻ.g+9]tj\DvgYZ@%/3 Finger-TreesFinger-Trees.Testcode/export1/HOL.hs7zXZִF! H]=@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ܕIamta߿j(C`V9*,i z R"`O^p׸Gz[/7º rmR?I/̡#h{HbD@cѳf\)fTPa#T ȊS=8q)q"zZձi,΃xuKK+Q; {´y#ѷɄJI%3wNc%q]A0߇ o3*Jʨ:扏 t.jN5=W`F&P""l˲@\lE:THN E5h<\c+OyJ6VTP  #k\52%/+Finger-TreesFinger-Trees.Testcode/export3.ML 5%/1Finger-TreesFinger-Trees.Testcode/export2.ocaml?%/EFinger-TreesFinger-Trees.Testcode/export1/Product_Type.hs=%/AFinger-TreesFinger-Trees.Testcode/export1/FingerTree.hs9%/9Finger-TreesFinger-Trees.Testcode/export1/Option.hs8%/7Finger-TreesFinger-Trees.Testcode/export1/Arith.hs7%/5Finger-TreesFinger-Trees.Testcode/export1/Test.hs6%/3Finger-TreesFinger-Trees.Testcode/export1/HOL.hs4%;% Finger-TreesFinger-Trees.FingerTreedocument.texA39vI>fHv4~쿑#*IN Z#%ClraWuVؑ``czSm;jBg8څ+/z3 mx2 ~da q a})o+U8Үt́=f`ʰK(氐&:O ?K!x(PQŤCk,rl&1t}=0jV -Jo`S,2R"QN!C]+ XJIac{r\U#<DAr{Iq7]לd_څ(_IzI7w ̠kc)NVH\o)"SY Α')oBgx\wTlje\a}!t[3F#$!oxҭ1E5:U=LvgD>eU>4 c+(QEM鞨G%A ت"2dҥ|Dg}sz# HWEyGm̗13"%4[7bp>-II:LaO1zNV%m2ǜeIZUW5X~1[%ycll2:J]dOũ#LKH7o)~o^+MͽiGsU9?SPT_T.L LzdMǛk ět?-+@sTQ g&v^u"GصWoSlz5'Nq:+K)AVKm;o\t4:bt+!lg|k%cty寽f:+PRN ?n$DŽO ' H\ؗ<IۮlrĥCZ䊁#Uc%tvՉt5z@XәR/ù92>=Z %(n|aόu3y*&.Ə7Ei=Dkbe-ÈT. ;=,0#JiRE _ba>3,{h"Ė5`z0%5kz_}ym-qj˨ 9xNqmF6/NKN_bx=9XaD=vOh _??>hTTDYmMY(ZrQ1أlc z6 W6MGME{swA(vXn)#{SQ_r yh@fL[*c u !Y\USYlUU!E;/Smٱkt{EV1vd4/Ov<~ZT% C$ Q ~=D)đCA׸l-FvQ{x -!ͭ;wYO)#PkT1rnvQ좾s=}uٵ+ƌA>SH-[uvJen}UY # ,& Mfn\1^~$B++#dY}6P|GQ߯yCYMr|Y,)0*VC~O@.P?߃.`;n!ç NMe4.:B;m3Lq$c[ aFl~̧GH(%M9 .QNx눶> ( 1k7-q_Ɗ.xdk^8W ֧N ~ԅX@ gc|cZFo}?o5X nK}nx+ &&Cֿq?clէB_iOm2`*PNZc澀ZAx},: 1w?F{ ) mB`;p}~C@w{V 'kMK!Oݔl;I'e5hbS'7ESC='gAL-׮/`#,r&}:џuG9:oa'VUdag=pcėI4H$Ԓ~.pxxkv_: DDZ>o:xl<=ZhS*sܯ=dwn`VߧElSD0н*OB۵DZz"2P 3Y;h͡ӠͰWSS :Bw .؝҇o%T^»Wwl,fvL˓cQe؉+̖ ᇕ=2L)]zIA rL&ea]wwmÌ8cy~$8E:x/P8n]1{%{-?Ȅ۵cE0֛)%6;1m9UzH틼\g7EpDg".lb?eu9ҰpPe~=<Dzq\gI+vOFSBQ֬4q߾K"Y%JuE>!>[XZ sߥ9 :RZnǘ1Ҭ$N*b5ET;ׁ=C2VXGW68Vam'n–UCtFb@Nnt)ΔnSu>3 ;?MjSd]IV'K ã8ճVl%}H:2q \8zYɲpyn6Z?ؤJs d+'aF/4\'| \t$:ۼ9W8AJs;r8}py@I(4=ln%Ĝ>Rs¥ºLO0N<'fݲ)(Dckyi+M9U*"OlwQr_x]Ek0'K益oYX1f v'i-$3t?=I` L=zTCLdw̟/hRś7̿*a[[;9E5X%W`` i(e Szz*RǓE܃2LA0۷R B# @&8]Xp>`M9R g>xp. /@ׯ YoҿP&(4B8CY. `0yM贪S+;DZX K aN v'[Sq([Ϣ4Zտ#+9Nb ۄ|'I!i=%sZa].Vm{\F:B:5v#Pxx>3tL}xk)Ln6­Z IOV 3b0E-.Bj2˄HոwqO'F.D Mql@bEYyyWE\( Q(kІ'wJ_W?u;upǘU? yreqfTl$A4{>F3shHdl;׼fɅ*a%l,Lr]><sh1_(p-* QO_ )l@;n'pi:Un:(a A=(LXܷZ37p$p'FOr&=1AhE |)UʶdP@י9c-Si ޠ**4l G}^(je_œ#?na0yUű0^EE2j#C,bSX5czYT!㌽N?LjcaU]9VRpV1')+L7f8b Yo oW!e_ܧ-h >D =whykVNX}~j[ֆ)Pe_}o,4+/NzB?nCY*Y!T!WF#흧u: *tg@+q) 5+YPBv$}^AajV&Iuv~]t/ɀ:ڒ=m s.V} ϱv&#Sa#@WP0*(&9M.X{* cj׍t(v}8ړiuENk#;EBW{aHs ik;ZW5D8T'tͭD*el6Di$мx `&1*j>v娧u[L>B6m񾾛Z"x߀T8%p MnűL!-]ѧTưѰG Md \{\ÛH-=wr阊+# pVM>HXqQ!Bwqp%4p|z^-4 f.G ëTAElDU4O)L\rPYCwɷT"9v#}8'," @wobpRDϮ+ospЗlt)k[V‰@yX0*-yPPf%ƂT1>7ãg:+z [5⧌G5}*g[&h|"6WWH@cFIr|ø_g8x+\geVM#U2woNo@|n[Ak9N0Ⱥ:8@c }UƤm e7RUܷ5Τ^LOq,73ZFօ7 so\1c}-@#~}=y=J8 VO^ԒKNvqzQ"<&\PO'޼$S7i0CG@[">T5i@s>׾un^öJ3!p\َp\w"{qL! M{>IXq=-bܒ@OU$xJ&Q6mH\h~ĺI=59nHODVVMUOOBjǂ1@iob2u&o ԕMm/yOiH-cd#@<'N(]DZ_ Be ? GaTv4-@c"^^^us*%3d恋aJ\%x3] igRRr ^ @'}zOr G5JZV?_u8ߪ;S3Wȋ0Ye۪й:Xczci3ʯr K|b@r%m//j9.kr* 󇲲ca h?5QHY++uPֻZ QF6rm '`}*j-6*DG09~ /ǣMjrMBT| +d& *PFs;L,|P2dg =~Fk7B@8֛jKs"(v:YV$i%%Ӎ9[ұ7?~y7Y}JR!@- 'Ε=IuJ֧TGQ9j'!T^.r f\˘ّr$r)-V) Kѭm _"\Qlmv0+T'Ŕ%G+DW~̨Jԑ~(%ky'Q##PsF(d%1C;  #BQ p5zC)7).[̻j9R~O_1]/_Ɔ$ҙg_/$|+6O+)@G4dieq?)bmŪ'02}d.A2nR^h7m❩VElwZxK88[]Dk&DQfwҗ3/w-o+?2қjEVϞ_vwnR6^jyաB p .k%ejS3N-rw~TSV_GRս 3׻Q&w 'K| .Иl(kF@"DwDm~zkFLr%w;p8e]%o,[b=(Fq tjZP~X5qۘ[ ];}4unTu=g0[#7z Z6"@cB.mtci=o4߭@#3*n7I_wG*īcH:43߁}sߌ[5 ʤJML0f(Ό_6_^߯}tߌ󝟤?Zҟ`m +2a51ގ!>S98i=R˜T,(e~^-weH- m-&Ψp6 WC0cੋMCk"v%+.(Cjԉ BjQ&S~چ w%YaG ;.b@bמdRuc9~_U磢)ݏ9WK)ɛ_+4vvn'L,ܢ/천r'OzHYFK\5Wof)߀S=2eB S.I#'qo5i,[L)/eL[$^ O/[Qݙlr{s㲹x|+^]"N,lk㺓hY γ>z 7*ٕdw򢀆ՊA sޤZ9ͿAׄ,n5`@ ^XG3@@9 5vR i>jASZuGk1rlLՔ@,P@CZQҹ p"VRR:/#W˧-Y]OlYЇ7Л2ީ[C:`aC%~QT, pYe]GH!aug?,X}cc ;c}HwnjM]Cz}ym Dij',E#nj3fj,D2 w޲jя|x=LK7$F w-$-go)εL"N)"eq]ԧ,_wcGvzd]9jQZ_3Bc9^L=5X[md1g[fBj\/CZĤL0//B (f93X =SdWfUCʴ m!Rhht`ik}uv7N"? [S_y>xoՕ ~v ]RZq<בqjܵ㄂M_KZ^[/ wZV"z(ERƺuE,M̻@ml h4V4;AHƃK1Z&m (;oO¥!Ƶ[ vl7kz'E{܄‰ѿ98Ż&Opjfs5ׇV_̐PiO: ,PZa=\>c/ MتBm ĉM0YCBZBH 4·D/(6Ċkc1^4r8D_Vhc?`b6,:Vqb!\s|[*,1#KDef{P"w,i) ѓa@ixxł˿0 6s?i$ּV?CFC|4͊CH (ךRN+KSTsO|k M9K]e{iUpWYC7/{J9~Ǎ{CuU @{SQCwLnILJ-½+HYd;7-"nʩOI2Eovw{LIGeIm˳,va%~BPzg,k}:c*̸3ޕoRԷ=)@~pi(D[ᙳGnf \ᾉ/+4,X #gUv-#`F :-2\شUO HnS`5wO)g|`2S~@?aIC; 5p9&"z'07fϊBMFj>i?HJiim{n4:kPf=0-miNx;PZg[v?٣T~i;:HUfkmOڅt n/u_Zxj # ,`f6\LH(1X"$E:+n~2~8Upu xp4Bp%VRd]&$n e 7)  T5l҇:_Ǟ Ǿ0z,*jPiw}ZvU\n[C޿0W&ngd{`g`2rKLYK_a2ҰKF͏c\*$oKƬdz\oK 4|LP3XK2!@jgky,@$u\ҳ-T3YZ~5Ĵ15@&'^8V[sȥa>0И}nǘPx`N8;8Uo J϶+OMBȸմ$GRX@߰0m W\`kɄaPc0I02[Gk zAA:hMvI`eՏI/_0N_ ZƯj;{Μ5{lhOYk] ;.I"Jw=R,|g&r9`/ D!Dq{@~W̖c}XOzB aZU ug`A'rԛA0L'F1$ad;aT蠕4yv`z,RF+/^3c37Š]5 ]`QtsAfktTT Dwh~_0*{mJ!n]4OK@r]i&ifj\E؄ E[ 'B|,c9E S'ƳYZ}_w~K_ dq$  vFTB1LP$xhy -0Z]^?B%~Dٸ3s,B d*Уln()t ?piV]T]L<%S1r: wdk>9sr[0(7da$ݚ<F{sϥ︱VBߤѦ^;nwځ(/z 1!g[C1;4RU+d(&z}v^ v /"a p<1C6~evsX-hRsu.9,mVi2ߓdՎkuba b:%1{63|[͈D}*$kt {3iQ(%zVHyYYA0k37:Ho֊ʪdS4#aT!HJU(ڀƓT(8eO *T2D<z>);I~=Őo=̓,mK9٘"אh?Z{NejTT;Gsذ`]#E1zxj3޲7b?)0X6>(4k-8"P2 ߉&_2C۝-#Ipp _l>vLa(xggb ,JXAZ"*Rzk¨w`Qq:5\*2%}bp k9/ 9 2S#aΛ q^l9;w" C^hSR5K N@>CEd44!מm4l|+ˏ)FBȹQԄ$ hv257W١jFCKk7b8y A‚|!?Hht*޿Vq) ~>;BMDH"+}8FrܣS!ҐuJj&5x@v5Il4I'gM`ȪWɵ7SX*^ߓjHU1=$Ҡ--UCtz@l6XC` &$\~~,qtNFK&czgu{Y$5{N$,V~*{"06U^!nWnT2K!ܾ̍vE* ~|R{ll6?1ߖ"̍;'iOpZpje[D\^,QЃY4jZդއ :4?2 WCT/ ъ1,22yf)T/N!4x#(` :68pvRu!q=E?ЅTn{ Ś{'lK3x1;/z#}\'=F+x61'Ps{6:!#NFRQ=(1sIqQNX޺#d/i[IřFsr$/@g}.FH & QkX%D484t{5m峝Ŗق ?EB^%+9@@" r܄|$;OXv oACȧƮ4ALT ~yU6:Fp;`E6[ (,BK2dt\ϧ+ʢ#G]9m}?tq{%%h SF\Zyg횫;@` m h\gw94ܗ;RP5J$WȘu(Bplz|td|L'cش<7*mQn p&S۶~#B/do}΄SE쎇Xd|s[:Bf9x5eY~:YQ̖:̤4{xFZn3K}pL×]&ߏŻ~fZKڠ8s sv|p)M;o8l6YT V@=Eqp!S@꠬5k48B5I*zl."*{# 不S#Ƿֲ0пS=? }ղ!Pb;F6;(="=Hh4 (H+~U?{v] yG <R[߁t8ue¾N%xb* lcAbXAmC&R-g.Q1y ioӗv5/5 V%:SsW'δ# i<d"*iGcDq+ek8țƏM+)(k˄L(h X)-f_kIGqV6z7 ތ?XA''P)̲Z#oyW{[% Ĥk)^tHKt4 =wEYg_$, :OwE?BXn~(F뇁ZENM Se;isw88 v `T" 3{tuM =Ifuzjc˓xV䔺) KAgd>T`PXRM"RY+L@$A)uXm3V FZ,''B~{{Nj- z L}C"+{XY /ް{b] m}Tv\I7t>ѭ1ڈtwӞv&v(xft/]'$ˇe{ #dwc:`~aȜL+{+5޳ bxǛiέo%qz:u@Gس]z\SIzg'Ċ%3Ѳްs _L-D"ބ'ç1eI&VQ[aFKUoNkCĎl woW(3 T~#(Q]CUp<- ^JCG5!)WMߏ#ƦX`M StJ0:Xλ pF&%Fb53t5:tj)'Ồ~ydRgkzEB|'^# *%r5*g3)-_n8)p#"\VTҩNj;7|uA8W}Hƭ(A;*!'ld@u\$|WktdAa-Np!BSĝ,tWYx$t sWDžsNb<gLʩNn8C}e -/x{i4ҁl:[l [@-X x0|zٱ3 + B*·KI 5l8:(BPw^z ƴ/Nl4GY_ӷ;C?T[eln>\og:A.114%:pcT'&}I-35l31a0)'/2uZspmZ^7+20g+M޹9%a]ٝLb*.e;_1TLp4]^>{'^tK:K~'qb&$-F'"I>FNWegh#~T)kbAB2!)BʘW}YZ}U!{WDFޜ߆un]ک)!2:^h.m599x~TVҟq=_a2=}ZeXiR=c̔=(J kKT|e7yGvٷ͜c NdC`wp\H8R0gʦUd7i}>AɒRTա~)fXԠ5+7N@{r{hA)>O$<{fۉlGfh0a(KSi;xg2.ycĢs80pbl_+WvV(0"WU2w2Pܰ#JĪPtqM;²{[0Ydڃ?yRͰ"&/#1?U© +toޯ׳4})r9{Tp@J7r~AMO WlH7DŽ6ehcv% %t#1Pf4DS{x ׫xjzZ\2Ti#b AhcX 7pW5D }\c$+|mrIaGf%w FcNdqІ?PLgwGw7-d)A2 U}0wT2Kh0`{MQB[w g'P yQ}oTUNJ=V= iMD$[[:B6Xg0|ҋll+Qs_KgR4y}KL>k锣>D%3 E/ݢsK faAnghס.1qx_hKkƀE&5)'YM%st&O~N(Phl+׻Oyv0ŃI z[',K"֚ͻwنgQEe$ Dt6t|H;&7b=U@TeKnڤn1T,1HB|{X;j>?P%-1TQM碎zn-T!r@: n,*-g7X2Iؕ\])%b*K#F~*)McݢR04yGex0oXsK :Iɦȯ߽+5Vi]f p)OtG+S+C$4-' l8!dX$ϜG!|(O.REVJnӊ?gY[͍tPL?R(4s+j9o&HΛGaAu!i#Qh |Fb~݀WsG*"Ɨ8xFB@`D)EVFB`{e:G0EMY{VR1(َq>߱QSJt@f@ԖQ0(VW40ICy;&<<9ʺxDs{^)1qc!ҟ?*:(ۢ}9Y^G{޵Y%'nR}MFdRF!pEYJb.5$a~K,i[/<ލV?jˇG&v΁ʙqA_qjzjf@)4EY=!!*ul˵o%D-xlb+T4:5[ԥ҃ʊء8D!sՇfw}"%B!s ώ#|EKqB)>7OmVˑӣQ(YzU缥x4WPL]j j0| ueAk2w!ùwV\tvŞPX؎$W$  K.XRYA~ȸ"rAVA{`^A)kdUA>^)Onc00ABh=/K"c 1z˯ mIe l9Pn1 [PG*L;G4p?CX!$ހUSL8:?j:i,?4xU%TXIb#r1lkcvOK:9SB, Y#RpvQM6| T"s] 0t$]3b>-Q .Fε'&h| 0#8dvR§= j;1ZIZ!nfq/cWXD)b|Pko G-;xIQץ\-my_Ʒ# dGxх)!O{(ҬPWD+Y38/~&{6R,`{c3B~֍#>T7f bPBq= NN,/xåo05\9_KX]͖p&oA X>&LV ǢD< k">vRHqFfXֺHXvL,1`V(MO< M*QJrTyEE7qSm4~[R(X ݡT_32=6œ6²_Ɛ|i:$~%aN+SgLdpu.q_[t^LUNMoD"kSJ6) mV`) Q9YTӧ4Z`sGBkZߤCS1|8IXfJ`3h4g}fsnXTd{5]+=WS&`ݙLsZ|zDS+ÝʜTEg1D'u>R@Egq|wțjձ/%n+fͶ܎B0 ~@GAٗ\)8-bR 4b y=L8޽rm;cō!&u?#C x0jWf5[aÍ zL<c6avto2jl 3(W겑1.^2 v .rP{ __afRM!iGQ]u b}I#6[8 E pV U9a c7[{Vy..ɀt}ppC^NqkkP)ؖd:_!ЋpZFg +#K?@%O?FEn.%LIRb$wǕHǢUUD0TsG0Qdt'\%P)v * Vahmlg$ Q }=rՂGI麪VC5{jaw2Fq]L#ᅦF~&Fq@P4mMqzȐ{J6x/ 2Wy5!0z#psPx KW+9[p˨9ɶ s)[>#*bØA p=@XZ5Ub$~Zl/?y(,='MWG՝UK? 7}7pCɲhE.V:~ICBgˣZ/x6 Ew/d4҉kEΞC}ix^nL-!o !B6/JRf3Rgy^;E2p `yZ/e$k&|F~;]Ƕ"@>`q=x3}HZE\C|!"?j0c=׾x4L!K֫-҇O~K\1es1x[|WRpH3G]@?A@@uv AW&K :%_ iTLov`12v4w*ݢ<#e%YH= l2HQj #8fLT;,j<,g," ,t!>T^:U#6eE.9܍2+r=K!OTlʬ]K,CW/Egd,x0bgX2# wM1:8$mSAht1⸗uA`^^\s rHxdfKc]wEq5 'EK}'RV';dC/O') n`~;x!d09ב-/mcJ9n;,+V_l+ñ)6ǴJ1u2{VքOh3:X=Vl+8 bn!m'M?~ʨу!`$GW-C.Fv}n++a܇̝AZ1-Ȼ+8 cЩ_қ hiك8jyۘqu1OQwE7A`;fLT:Ӭ |):28xex~|&"vY[ Z6 u,f?m3 }{;TǮ.R)3exQ.M/1Z~7u^VT 7N{9RB $@A$ j]!XlbE .eLyt^W ݡ&@(=&!uO`5ܰuEPtTgh[EӊwF\bP lzqF*Z'#(ǑpB_SOk /dt2 ;0w\P6yejW_"1ZXO^ ,Ylr[n"H!C@hU={k_Ih/eP\O~!FܧDsd"Kv6 A`|HF5w!2r!2LOrXS:[ݫ*qsj15x]cE3AJ8 / as˘!%^jE;u5 o& k #x~g7k;o7i2q }ǜlt&R?.R?IÈ0C,X_:}o);a2a *J㗓e@bX0gŴl/?`!/(~Ok20aެ:HJ>ug:8K1KO8bY3"UŸ!:hZW {! J'{".#@mQB B^x3/F +O;73^ij dSF3fIli D<mΚ]RR9r+xqŖ)@2XT=<37Q0ma|Ȥ|-&HTHIU\⅒^\ %(`7E]嘃ػ8LPRs9AM6(kt&|˄j-O: {o˃3 e4l4JMBͫiR\*T̢H)0W72wrG@JCtmA*2)]xnO&21ま;`9e>ѐ}NUhr*gTi.>$DkP0w [Hy ; %>tZMvQcNqMf{k H~,T<ša{Jo7z;L驋Mm#6'1[/6]2 #t;P|y_B h4Ä1M|e[`t8_J!U (M =U'%~`YF#= ' z^ }՟?"lsK[X)đmՙ!{qsΩ숰.@*KĀ#O4ZiM|D[.'jpj]stde7Ejc( 8R^qkC]wC]2zm @/9f~ܼ҂+ltx;Vg%h+0vG!1"Δ_;u݅W-ÈWU,pz21G_IZs!8=D*20_Z{/Ր'>oSODVV洙dP/,|Aran#&WA?'*F"@PDnU=m^Qߵ+Ț8=M&|2hR>S(!V*{jd82>]𦐉/T;!@ 0O1}iK7s !0'B:L,H|e@q8]mVOfCwaoڢ:A1w!%{PaCkW_8+k|x= pM~R`}_ Cŵ kwB}?j2_c"TiQ]1?'W:alxjI% _t- ,FO5ljՁ<.8n$8}*d'eFC\j+-ÚKG %n5;?8Mۡl2-Y`H q%>}`S#a12XuٙYD]\@l}~ҩ3xifubn݀?Oz號Jq<9&;4m>ZIE*PϿ1~h ?te7/ejS} "ZD'i,e"3N %M^ZNj+:D^f'k3 #=:ekjod~5H۫nO7s#?9!}e-WǐQ*M[H}Vv=@tH6 /|'mu}ҔNvݤW ӯQ=_Hg s'Ui" [IK0ݴwəE[;Pꤾҕfz{ Q])Z{ƛ+uq\Qn1ig }@4P]4́ œvo,@uáĘWT]pPo,d 1l2 *)[8ңhU𶗣Mb_qkܨьy^*A7X4FU `0SlE p$/ Wlɠ]#eFGs ^pˮcV8PEa)~\):2EbE%|]>{UccZ%RwfÒQTnsǠ:di]J!9EAw'EJ,]:lRymeN+14#Y*J'M5/ꛇ٦{Xcij J xʺG{ 䋾?\2 _30e+Ǹ*LpaV8,_D~0oWx)`BPU CD-ѧX,~Bb!$CJe,n]pׯ0?VeUh gYZ%/5 DFinger-TreesFinger-Trees.Testcode/export1/Test.hs7zXZִF! ~]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmdz3yW.Ngxd{';cG YP7zkI~ ZPFhV7-@m#k?3\9,2. DXr^'W\Bp `P?%9۹ \m+'n9 f7NPe^Qe sTk`H<,}Bw2>e܍;VeMk29Nҙ<"iF$:/ZJ _U,,ˏŜ^0 `UڰK~gdY&5կy̦<'H2 8ńc.i tAnTC|DbZ` xW54ncݻ.g+9]tj\DvgYZ@%/3 Finger-TreesFinger-Trees.Testcode/export1/HOL.hs7zXZִF! H]=@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ܕIamta߿j(C`V9*,i z R"`O^p׸Gz[/7º rmR?I/̡#h{HbD@cѳf\)fTPa#T ȊS=8q)q"zZձi,΃xuKK+Q; {´y#ѷɄJI%3wNc%q]A0߇ o3*Jʨ:扏 t.jN5=W`F&P""l˲@\lE:THN E5h<\c+OyJ6VTP b  BRbP %/+ DFinger-TreesFinger-Trees.Testcode/export3.ML7zXZִF! ]9]9 ! kH#<'_N:ndSZL|q?BLErGP]̢4!H|1q`u \vc`ƕ'k虶ooxrRB]$;CP6HKeU覈nwsУC].gr4Ql9PX)Syv%q$P&E0#a?q(4s+ Dpʈ ![;$Ū@ϻ, 0A[̸s<-A&QI藏\m5lyޏ gCpw䊏v7U_@*;X:tŁY5oʜ9:pCY 4Df,X] }. AuG^Ô}E+IPHGt7'l/Ejs%/1 Finger-TreesFinger-Trees.Testcode/export2.ocaml7zXZִF! Z|]6ȱr[/|AjTR `#vj<yx.M >&_C*n#,7j Tw[Yt.II?o(YbDp˺m OBi+ donDJ(og0В,'[<@HEInN߀_i\i=[ff+7lZDSb‰^u+ {ƓdVۥ^1 |nMXiCyجtସsi͟ؠvG yu^">c;ܟ&"DP\X^ 55``]+ 9?h}AzoVι'ș(6w[{^ `%an%;@R@(i]s\;.؟lTM%/E $Finger-TreesFinger-Trees.Testcode/export1/Product_Type.hs7zXZִF! J]=@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 "~0,t.nSxEkis?3OnQ$.KU_ZuE)4v _MO KwSבzKQ9˺ƹ,`D)p##~BYn:♣x@R 1 nif`Vck,hiPw@&'.SVA[osP 7+jy3Ʈh{%/9 Finger-TreesFinger-Trees.Testcode/export1/Option.hs7zXZִF! <}]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmf($K7ͲP0l巃WOH3P"rp0EWL"iA12}߬ ";#1G Zlo8Q[ˍNT'H/;a**Xz4jth꠭ c@(ݻ8wA)z-n(eY)9~2-nH;^o\l`b=44؉:lǗllg;O (.KRĉe+%>)ȒGb wnW1s4Ufmʾ\׍VgYZ M9@-W^TZiH5 Դؤ|4_2_j Me;%sc(O֩EKZ8m8^xAV\_rXGPERUˀrW 3#SEgXKN6+99yRg |Oڒ-Qyk CɁup䓜88s;i*df_%(uc>$%^](*,jyv~='#YJ2kt=38Lya  M z:TEb`\I]|QHi} aP~ U ,2nPҁMDlڡr":c|wS_n޸:-5}aHSyaҒ< lE>oQ=W븠%d7QY R0LR, (AdM ;Bo4CǪ-*]EQYgu4 T4tKW/b+(fcxolX>bv 5w;fΙhJi9&q#H bz:J[2>%"=axM- KxaVb;BFg}/*4$pf@pe,l<<>Ic~f-AR}c !fQbe 86l'Ҿc|@2i{rv6*+g})r7dU2DxWcͨXA 6a:_ңR*fw:VH  Uk `&+fui^590xL$YFB{zMekۉ :ZJa662LА:1|l71v=lc93_6]lOJ'[6^y k 0Vb1Я !;4]Fb\Ai y6 2ԇ+:I.c%.:@N_Zo *I-䯗wS9uQwo6Y*w$!ġP&|P')6HL];d/EyէW\Aj~Α14w{)hg,1]tk֍O<[bxi 7ɩu1UޑC34P&2Q;$ts| !W,Y`Qϑ _z y*XܘzRGE p5~_@J eku@4t$&R*OQFs'r}˒)rŸCHq% $ 2~Hk38,3OXhcyu\ʣpTNc9 3FJ J"@<' Dm>]Hu;)&twÍa"Ѷ+3D, ƓL=;vVjV:fUh cJpgYZYa盾P~Apc6v5p—^zGQ5u'-k+䡔S ,5k˽X|T~1fzKJLVڎ({Jbtoҟ=͇"h>=;Xԉ˅!V["ف. k`\]]JĊ #aRCf- :C-2!WdECh+NhA0 T|fE;$ܟqXlO&5r5 ኑ_YSr֯<[}IpRxGmqnBҪ+Eѧ1'ofX PzYz'@btCɽf.g䤠+PL8RI=ۑrKf'>_Ì$U^9_KG'*"j2/ARs}ctx^ >( Ld 7PnQ97(Q5|Of\f gsxZľ8,z_VX$J:&TGUEuˏS0po/_ uPU΅.r>Gvf {&y=!+Pjԍq/ &໛;dm@zhrbh iw+D."ut$7-ѴB` Ed+^Uy $GK(N!iw(lݒj6!~3)1bZрKl~&ʛ#G䩒 2 Vz azE#%d9W".bA/=e"Iu¨}{DIvFs]pS}áy 7\+'q[X= 4ڐ篁q)_Jf>q`FԝYQP&Pܟ:,#xoLY!1ɻmxA\Fs9 Yx_j}# (cNkr 8 w+`y.>HS,X?7Y],㾺40D%[+NfMS9I $d։okΜcZ+TϬ1JՆ M*9 \k;JZ`_P0t[H.WY}MSˇ r2KU|9w.%.G=,(Y1xM6g ScsHs'6 7uKl#10c}QS/@\?(;?a..?NS= AZ2f4܊//7(5;TPL3Ұ `_2UKVU 8 0,jӄ=9,ոWpehb-\Y4݊Őg)nE,2(Jݐ`(O;sO8@FM,ZÁK^R"nS#JǴ[E.юR=nH%2+ka+v>*=;p,sި8 5 rD1 47kちLq/S!c& I|[d'Tׂ[y)+γ+J ¶nz=xuS-٬ɭzLZDpKq5ߪFQ=NzYMPn |q{ e_zf-t;xa6 %b7@pIw/xQ~8TQ<*1ɡy-넇!S9)#:%bEDƆrƶ)`h2DC)@ nfB:YaLҌ2jok^Gȣ6 A~/hnOda:]pYW/)Wr1kof>ޙD1HP3qjF_o =#eB#Sz꽕&d9X_I%lV՝>ZEt88лJkܩ;"];驨 ˜v`5kFMSU* [j |p"(N(-X9jc>kHd*5: $)|ۺ. AKcsTڮn.\VE|bfĪ=أr;R5TD}.F6?SngA(j9:ޮT jOyH\(:B}Nxm(>n\e3k4&TN{::"zi?2&5qÈӥL+4}DVsj@7F-΢ qz)|X ! .^1ILzdlidU൮ ֵgW#] +8ͷhBk߿(~MaEA6ۺN)A> TN%^b:B][Trܩ@vTJk`΁Ux.2E+xna3-b B'wĀ,ag׋en vC^06/a?VZ8'XiKl3@#)!`oUg{WvVcp@a[G23^C]"@Ɗ 0/`q؇]GX 9]^F^(cWN+y/;#o.~hg]GMղId rT%,vSzPlϟu_)_Sdb3nUKz&sp}R5{J2 t ]@{wk nanS NHtԯN',TORo8݌f5WW4K(>2ʬ\B̙Sec2!̮"Τx.j;_3Gfxr& U?AO^څ"/+~ixI`aj٣5ǰLU !f=%}*T-ag0/)&S ^Mz!f<ޱgYZ!xa N3 bϳ~ q<)S{iЈW#=R刌4EQuaS>Bvll*.{[𞡂6ægQ&eFf8#*'Xj" +ўzcZP鱶v`Uo U& vG 3giۢ!ͼ30AǴf^[E}Y_Ʒ{XGM34>F7%Ԡgz;ܯIXAn>'+#eqyjr ) nNQ!cĔ22ƹe`&a͘:XkTE4ϙPPCW|yU0",0U6\ Z];=sF.I,-&8o ;=)bZ T["QFXbLICD(O܆Dݷy Ll15Ev`uMxyc/D>Ԯ PV#S?D3ü^6i~/H`&}hNq{Iu6.ܑ60_*&βjP 1j H$p+uܕ_-`Oz KN{Iu`FÅ7{4?wC9Z˒Wd` { bK} MnV\\؎cNv2uxXUawܓΕxmݕElK Ur"5{r׿'5?wz9>]yBnSBUzVR(k93};5ӄHs򦙒Џʚ{$逤&/ HE7Ȫ*wH, H .KنMbhS&0[a.K)  X̜jP\Zf«({10HG4BFmZsj42 ס;oX٭ !ye?I}ԥHzl2+EpV]b>p@yJ ^s!ӘaɉHeM]%^bܛ't&XlT,:-NVc!]C2 c:o5iv!XY [8y \p[R]RlFdr`x.S uti e^T8yBFgoY+;њ['2T*[؏ DJ߿7zue"-lufo{'jힱH{>Mq^~ ?VBٮy>G΍t >(b.W@N+fuRGB;r>p׀q8 !DJ#BN ո8K`#;փ`O>]Qq?.Iמ^B%>CT0aBa%]Bx5 duʹ8fGN@]UvG"(a@5l;OtmSt92 ;݋M+e|g> ݇eɍo=)@ ^2i =ߘˠ} -9T]>L^x/qf^[ynC6a1!``~ѪtAi{Ȭ;11%Z^9ɄӝjyG˗;+;.xb3jfDo3A.~8ppLH{m ^ل7x+  6}@E2(( ~=qK5e)P725#Տ&<VcTŏT۫I#f ,poe2h͞;~z0*fO *&%^H )d?EӭHt; 9ˠzTXi=<l0V;2Qu-:r͌hKi~t7tnBddٝîa_(V,r`e|^& 1"&b򡯮Z0XFQT pL"Tj3Za=l>?ɹ5 %* 7sQ'[8 |mn5wZLQ_Ls ika[8#i<ȉ{׉ބl~'G1M0Ih־G`VO{r@;Mri^t6fii ?5pKy4g 3Q#:2+,-MPAƮi麝 >u Rweʢ{Z&+90``, Ԗ k=9 ]S}Wg 󝽸~\;1O$ИϽ/ nMǿ4֟Vt&O'gTUx:n,ŶٗSh.(J鄆 裫ϯ +YޜS$E4˟ jD*AL UЛj;SFEYߐjL5BJ@,?4vdrimbxjcJ _**yĄ$w]itŶM6qf]LrSU' >tPƊw#s&˺y/dwX#_n(r<(ՋR?}D$ȉÕh =WjSWhZ :ݪ8Z u'X]ˆJd&hF," 6׻7PmXZ(ayu~K 0axl0u1 wN>{ᶇ5`ZJ<hD)iU+i]F̽d%ˬ)t>SH3Et+S1o,ǡWBif[~]Υ)>3:ۈ^W͏;UBQRn\}C19^"{ Ts_i> ˈ>m7L{[8jo~A̹L ˵' \x-l&,ϩl.Dh8y?+"@ _ۺFS ^O+]_#Ӗė $ 9 wk@kh/Cڝ9HaKw:qHhC =dJD[:Vvt׽d%*ap/*0RA.*:1%O|->=9#MYl 4"4vd.EG"VA )aQkDte}y Eԛclr0VvBDf0rD\ 䎴܌|DUgVKgpi3ϕ3+j~ex^Rl0׮Ou S CO.pHk87UHMxGf U`Vcrl i<1u ƇS6Xz?aaF)հp$6#Jf~%50 gJ}D DJ/fot,4r> HT89;KG#3HGMEҝF,? Ou/cHINPTE^k3#=4}"Nwiis㽢fP#B$5mM_~3)v &TdV LׇWeA-g43_7 jnVջ?w]q 4T($"ƤӉ!"_gYZ