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  2 2C5t,d ]S]Saturation_Framework:threads=4elapsed=19.508cpu=64.608gc=2.0367zXZִF! .w]ŗXiɟH)0!h]ai5ҴVN#ILX*$ՂyxR>+_4~wz[9գ x9Z f]1LnZs6I.2qiNkytP;61[$ȐF'As7}XN@`:iy[{27W*!Y='*  e9[^Nh[ T0M4t?_U|pt^$sY@o* OGlL(цM:3G!$a:FmGm=-΀nDj`(Z4VNrACdI_pl6)H""iDJwoyEF d@Ͼ!Hy-RF Nbb}HsO*;ߜ("n, Sڙ ߃h>Us>=75/ 3ir&6 0{qі]$+jKOjjʦ[T>3  Id ^B%LK~L8v,LT:feDT,1$m9L"V[٥ 3/l‚ ,S=DaV~:vws(Q(~W xw:𵂟z/AlUȦ5(vp0uhA|SH񔱆) jҪ\tao!>#PRG A 5 Saturation_Frameworkb 5O% ~_F4p q!ߐeFp*L|Ͽ٩~ K(jYxNhPN!6TQnT_e8?Bn]ߟMOys#ZY"ň2Js:T0>m 7z Ӷ %6);,ٱ,(b~mE^-/uE\⢀41+0i+O5Nd”%|s<`-*4(C HƸ4+ƺL򨦞 *mYoXLqxkAd˷G7#- 4ЕznncJ@na tIkN樽[>, htBŧWŰn'tA@:4d2ڽՀW,th:t&{x|Rw Zk PrWD/oQ\DۗkqO A&OXIi+{i툶6bxaOd_&ޜi=T‹q&{_%?$hjF76Gaβ@ff3Ǖ@@ϋ|DȗW{ozֈe`P Eoe0', 0s߽$%sԷpQ:OҬ*õ,nC#C^-Ph@H٪mv@mF"B]ńBU-k]0Efĝ28jng7ұ2[ ;Jr_&s6PAUݢBHi5֚O     o ; ` U5k%Saturation_FrameworkSaturation_Framework.Given_Clause_Architecturesdocument.tex N5]%Saturation_FrameworkSaturation_Framework.Calculus_Variationsdocument.tex J5U%Saturation_FrameworkWell_Quasi_Orders.Infinite_Sequencesdocument.texH5Q%Saturation_FrameworkWell_Quasi_Orders.Minimal_Elementsdocument.texP5a%Saturation_FrameworkSaturation_Framework.Intersection_Calculusdocument.texJ5U%Saturation_FrameworkOpen_Induction.Restricted_Predicatesdocument.texC5G%Saturation_FrameworkSaturation_Framework.Calculusdocument.texa5%Saturation_FrameworkSaturation_Framework.Labeled_Lifting_to_Non_Ground_Calculidocument.texX5q%Saturation_FrameworkSaturation_Framework.Lifting_to_Non_Ground_Calculidocument.texF5O% Saturation_FrameworkLambda_Free_RPOs.Lambda_Free_Utildocument.texec75Ezvz)k9@ 8ILhp0لAsp;$?SрS7E?l!}Rh ,ۻ0!./[qy"ݭ-whm ZEg  BD9QOcXcxExT xKR;r-֬`O0 2JG¢m m1niH)C%sshtg )'-^&"1 x|4h]dX(LxHD5? s*Pc>s 8Đ3m #z) \"s=K&1 @|r%nS_J}k-Q!h[Rm} iƇaߡxSsepVS$s^LfhClh$OP̮רGũ] jk_W Ҥrֵ͒5p^nk5H5DϿA>B9E'r!X#+L֕ +3A'i3bb2e=)pFڳ"i`Q?B㬓#9t䒒rH^9LRK>`'ZǠyH.˜lXG=οMXX \ -݅4Lsg ;F甕8M+h*ċb0]a^6X2,_4VT{J2G]LYkBɡ^;1MAv݃`ՊvLۧuUЭnʃwV *n\{"ʴ%(QxW9>MFEeJc'wD(3z~W58ӹɋ**~G\"KN)b4 .LGt]*1l{ꄕ|*2CB`5wڃ <o^!XVtsv%lAC?q1:M͐*@(YN5t<2"_e>9/dC[(r.驊N .OSt{D;{<-D}ggo A=۝׆U tfWcPz$$y=EՄt2Qn|$l ]\@w2k< CvaD݀۔='w]zģ?:5elJ;#xLk0"ͦmy2x>7"s/>(3j6.-* 1CР J>f Dy$.<GLLJZ3$'Ċ ,qʙe&R64Ѭ=1K΂|ϸk@`/]6Kی  ^: ûjk|Yk<'޹N'd7oCb%xgn7 Zh&2j"c=mMv=+gdyb\p)`yʅ9 Q)cG2ɉz5HM@{ CmϡcI U{9z\^A۳C?Do-X&oZ܊d樨! F{g')eI ]AoJKc6>c22fߋTPCWڠE!PJGGɂ;snZ@BT%O{fYuj_Y>o[-wJri[0 %M:4qSR+9T6nؑO`ub$""mE%ˬgԘ uUzJاe\5;rP21gNJ!xnBeUhɛ`DQ4~z'"XsR>J&tײ+0M6R^N[3R&GmZZ[tors1$C y;ҪN˚ky WVp[R=r8|[SaLGd{(^ed˫:QxŶ3 hz\0yŤ g?tA⒩}͎khWKeƻqSAL<ǺG >` u? : f~o(ЃyXMc UYrq&P*ʓ<tymd<:Ɓm^Ju!5\U IЦf:4r" ?-UW6l.5"AGG[GlFᆇS:]8֢g{zdY^SBn;/AhutmD \i 4ΚL~aIWl ɓh\l\m&%NZ\9HmGiÌTg^)]u]5~+6\25H}q6a֟Qnhs "m2%*OYeΦqNخS(֒xn7Q5>t2RqokigY'f'([h=l!41\\Q#qȱ;5DH[m{^>q he_s)vC𚱝r!(HGxΜ{ ̖xPGZ5.5W v}5o 䇡(w67Q G-#A&=~en5qCTY@fe큺*Y?:'+Fu;z(.T١lzao'̉u&􈂠хϼ^z'l 6 ?8_^0K3ճcmhNj HT'qf\M, :]V'@P$aξp~ih?y5[k6)ы4%lSMzwEH爱ɼ{a&p_ aWGn/|. o_#K-b͔^}Ӓ~ࣲ~yp koAn; *.`ו=T^PDW򍰑;0+)Ƃ&xײ?CD;7i0r^Ef.){ԚO]3@HT:O "Э؟9<A! 7| 5j/XWDe }GryU,feR@dͷ {:^ q́śSybA0Ӵ 5S,4ʂZ\wwiw=Qɂ#u'=>.>4xJ:G6a;18 #BO]J? K猴8ֲmH5K]֊.3GIơ\#v72 ?ӗG旋hc㳾\d-WEv4͟YLpIP&r1P#IѠN8qR?bc I)&db TI$;l+g^oP٥12/myx2DpܝKj+Ht?Kz!mgxڒ̟:概v8GtC Y_n,p%տ0Α3È2cХMOwMakz(4$A,ajlAyA6uXx%CXbÜM] vq A]UKVb, (F6H݊=zy=Drߌ9ӞO}DŽ혚28)8dhugoh[&Sg^lG\zBaxn*XϤ "& KO{@_$$($ƕuݻU['8O}w({ՒBJ޴ǀ]{Ü_<襴*au0_ }ITFz@JxmW3cm$>()%JEE0RBnډo9Jni^vӐ@a{~'(k﯈ѡ>pwXF*D 'cn1g/tF!ձ$S=;mO}HlْU4z͎Ԕt>y\)f} ćS?]??K3ϿNđ ^5p )7HL:QF#;Tf7AefM}wLCqt')P3|_<Wθ (DTГHNMt*ZmJ9y_Y'\[Ӝs=M\( 9nss0!2a$rcC}=^ -/ 9ٮ> E`hK‹^G`1</߫}(%"Dd?r3${(ӮP@ؠBjLn@<[hɡ,M3<&!ֆ+Z5Dr[t42˵v!qM N4 /YfFYίƥg- ɠ>ܞs\ɘzNK '"K쩰Ьj ۚ ,0xPX24V jzٶ 떓.3Mo(?=4 @<΃0K@QaBģEӼ؎o?[IJ'+ ea F iI,oa=ߩ[ K3et! 5.XNPT(Olѭ T^{qw}rL@d*,v 5୭cvٹ*0#eĴ(WPyKݟj@)DHomh wV쿞ʇFJ5vZa{4`pMGCiF?uX/DR4jt-D{ 'g3蛫s4;<sپng?qny)hi+L74Zt,Ь@M5ksl>u-ktUGd6k\&b~tosьh4<c։2M_݈xY a-@m6p0e}bv͌L/AWgڴ')}s|Cs; `Tu&TA-"J9вceJcЅLjdIUD̴8OբScyԯЂ_[ dR[Ͱ/=@ZYHGJ$玮zm'Y_\lLs\hіXVyZ"S+͆uet-1K[2ZEģV7`b؝[7I 3Mڒ9D3KؚT}?)"66Q!-tu;^=[T]3!͸H/\m/YHzhEl.8arb9R ]~|J7+`|D`GNYۃ~٢X s/Og `Y&[/JwbWlƒ%M%z ͖h9GZ_l^}PU-5,P_Л홸$gQњB_;ނdI2{WQN\n>AIwð E< =3Mp[ZSra2w3kGmsi)p+}c!-?]9ʄ?$0杺$/TׯJͿ>i=9=P$y ;炤>&ZN<4\Gfb2'o,3`K+/3A87j8)X) gl)fIV *7 0 B5vo,= v-N6H >H,Y}Yp﷟w:CDV=p>7Y\t6"yp,IZ\'Z_()fCYipxVg儕V9mLNi˫,{t!4_FTƔ{=K`R{Q5<_ɮ^=;Js3![W~˚5#-?綖R9ޟJ"z9NdH͓zN`q.Y5KNJg=|,}bzqxEǼj!a>֒ XZ9ޓaW{ p|9K饠J֏6 ێ&K%-vr{gQ7eҍ 8z $"$ש GHg^g[{X5ӟZwث.=ȟY%5_'O83?$d#|z˶ 0 /uz=>C>kٴaX_ҥfs.z4zLYi (#b傇`ֶ}7AHݓSέIweR,=CaW$Xȟd:-~z" y߭b.]g,[¿k< L^eSιm!;:泔E.s6ގY襕Qd/'Lr.!a?L+;~QAn砓cv iـ+YUhC~KZ.eZG..-Fܣ8VZ柹F,ѸR!yE klY,!h2`a7,ci?bR433xr 7c'y )VJ_ g{Z3V@U&p$gYZ Mp8 0u"#=ĈkB?Q8X@վm/@D )S3`H?HJw'k!-`=(|y}~7\q[]tD@[k,szh}*h{P_L!V_̶_LfR(KXMdW9]|ΐ`ve ! vA̗͵u`Gޟ~'⚷x] ؠ"IU<ʏ3%7j8jZ0Y}rvcy68Vw[5J~f kbx<rgTM0:(X+5i+ `l~q\fv'`d{s8~ހƙ!Kg!{_vK4Ovj:cш`l:CLLoz ?5ː $mQ͙82`GW4&[Vlx|a'r3y^t&2fs&1V޽tL `cQxd8=n^4[ +FēcJժQ'CΜi&qN"rgFSfaۦG˦ȪLHZdw|]#<Ą33lXբ+ċ *I\}]Xh<:XCe!A[sG6K; -WM 3ɸ޹3A ꆃ67nOPPن/oeEK//'m'\N? ?yK\r4[d v{@=Bנ|Z)G O{g*o jdRALiB:QT\sXcD޲R]m8.s@=H*Gvx= Z S3rU?" 1hFD2&|!8:|9c{<Ϛ$qpئ$0kz娓2*}͑Yc;"Ut 5^V?EgGJ IUL+T.Hiʚ{ ]YHW|f+0lBZp蛪߆ Pf,K<č޻Y&`}ajl+-3K^Ys;]#NȞJ:_#cpt2(VΏ)A5V'7W?jݡҷ?DpPP~բA(.K6;\l; ('bfI4n[jT^NPxYo0p_T6~oz3Pw:܅vWϯ%@KX;<=?pdeFM9αxuTBfb DMwÎk#B 2 ԧ-λ?:ģm)|FxU>Wtu`o4T4tɏҌ U?<\bj ĸr_M=, Ǜ.Bߐa2ģdyߨiTfxQe;a⛱r/}~xtϸ{,hpqO__^.̾5ئ@7iHަ2/a8iK8f]^Ioa'x3(Vi獣~NH)<;2xo3/ HB!팼ȂUDTl^q= »L+GN 3ǼYa܂[ZlՋ|cE؂Y̬a ^M@? {L%} D 2a]NPWʒ m _dÎׅG{H'DS+VL8Lu2W;{ 9)D Uc%cfȾے{R__!4+(9謣s<dOuS90}SN +_0}(6k,` ;`?mAO3zË*;ƈ|)e M-.f* [NahOCۿYӥCjdA3y;\%p'j#k @ꀺ%)zb/N 0Im#|n聲v$0[ȵI٥v@'l gt> gb"|{m@9}RiP',QϒUUWRl7AXqK9O.hP:EHFE㓇%X9U>Ɨ8xL+V@ N ږJH)` y\LcuTIʂې$ou2ҧjG U*!vC\g[BXypZC{Cꎋ.rM!ݤn;č1NasxM)14.q\YQUghS20ȳmޔʫ.ILJ6@2l:82#$o!df丐5,5_c#_L2I{_V/y.Z.]s>,sje wa֞˰3!*Iw.zm=4 t\LÙ@trI# (۪݇JGG5G+Vu)/QfMϧ,v \ɤ_weAk; '[#a8_5[BP)@5{%GH-=Q%كdtSJ.+ߌnޯ㧶iFwBXi\ApM}<6K!P&&p4}'o߀|K ]pE/TIR8ഞzK _14Cn"[dz=+ U:1kM$6{m$_"־lS`{<$rHQ$~uF6A  lN/NK\dO=o$ciȡ9!l&vwQ}mwyNUN9}I|.K&?&s'Zu4Q݄`~u]`P||QBubuшSNfp& X惩d{60F`c`z;zyy?N=ݣ? D )BPP1w9:Д$Fy98;2;.}ْ MӁ;*03۾HFdnܝ +?9X?<nʯoX|'7P{uʄ@ZXaC?$d͸0-^7(wBOMO!'P)[#1C}aZҠR`G-T9SŦՎW7No"M 5Ӎ@uX!w}/!W컰WԏrFJ10x/+땈!Uu;)>UtZ sfm{|B:Bxe/1T &Ԝ+g:fQ>;@E]O(@W70Z2 }~HG\qEO[0SvB 45S4e#~:Oa݁(b )!u꣪,`%r+HZnJ9HnYϒJlY,RP(!,k=9! j6oH]&B}Ӣ' ,0Q^׽ SXB+V~@䄭$SS\I/tTY'u/٨]Gcn~U 巈>C ٫e *ӳؒEFlRcb7UҟU/OHKDY?܍r xy>Ϳ6bIP{O%.G ̔;QXxP߻yYS,υ4<-NWyknLCfFys_;Ԣt VֲfcCKmtoHGԝ-g֭@dsxJ \Ad;Ɲ[o?p=}Xד( QehϠuj{3\$aM_➸߀H xDUIX`9UtpٙK#bo"dTC^ s7?:nbоBl 3DSf vg͔bk'N1o]AeICk*c/p>k8+pf>1zVg|L<|KȎVZ]ANy?"?+аx P? ьE9M E΢˴[6;3,i50XX /xf S WOrl[hF|cnʆwXV, Ih9ɱR ꎪ1r%o4{Ƽ?z *$J>\NnxNnA8C&_fɫ@e{`Z <2T쎚k2Rk4IC균ő uCӆgFù!K)-۳vJd41L"´}o$IűLOĉс}YvGz.AJI(6FɅt03DG`2:%W&Ū;[VFXN>I42T몠*`\GxzajAxYn¥\ egYZ b 5O% ~_F4p q!ߐeFp*L|Ͽ٩~ K(jYxNhPN!6TQnT_e8?Bn]ߟMOys#ZY"ň2Js:T0>m 7z Ӷ %6);,ٱ,(b~mE^-/uE\⢀41+0i+O5Nd”%|s<`-*4(C HƸ4+ƺL򨦞 *mYoXLqxkAd˷G7#- 4ЕznncJ@na tIkN樽[>, htBŧWŰn'tA@:4d2ڽՀW,th:t&{x|Rw Zk PrWD/oQ\DۗkqO A&OXIi+{i툶6bxaOd_&ޜi=T‹q&{_%?$hjF76Gaβ@ff3Ǖ@@ϋ|DȗW{ozֈe`P Eoe0', 0s߽$%sԷpQ:OҬ*õ,nC#C^-Ph@H٪mv@mF"B]ńBU-k]0Efĝ28jng7ұ2[ ;Jr_&s6PAUݢBHi5֚O ȋ9` bG2ym .!W  ^^ 5q% |Saturation_FrameworkSaturation_Framework.Lifting_to_Non_Ground_Calculidocument.tex7zXZִF! -]A-MՋhvG"uIBm5#)(8=^el9<"p,%Gzq+tT.YLϹL.rJ c]n\~fh[^OpYnk'ό+:*v+trUs)kޏؓ1O"X*%/Q ,LAzgZ+w6Ga*^ExxFFnOH"=3)ŀ `$iÃ\ y_/uch6N;$iiGDw ^'QO2$>P}"XGGOr뽑Y-;76Yh6l /xDK4Tʡ sn&@Ⱦ#'hG@#Nnjk~NI5?aOUw%E`תޏDI(k@WAFd0wO' p\~F\dC^ǾTnP fo . IFe^=tSdoa`M=DÆ 8E̪nv2U:-c^G |X_7'gr' ,ܣB{])!P=.$Cޜ© ]x*]ъtw'~Q36hJRS?rXÜ[l {szHp)+'W.ÞjU&[điť Vp-y8P$jaХS=Hf5䖛۾}ti]<59׹ \:GtG͈l pNQuNz|<>EԄWm_<⫅kץaƴC0)ݍ)ȁ+=H-6sIؘ Q ;y{y-6C\h k'J5 3~sd솬wJB(1{ɚT#N|XodDS gj!5D_K7E(TBz}bPdy3 P>yJ ҜGae)_HL]a3kvoT?cl m;yn/2QC~CXKÉ}`?3!oϳ&Meї;&c3,ti98|~ ! P\+cUWtƭyǕa{gVZbo 9U<񽧺Ek7;E,˥ o0,0k9sjOhtRcyAgr R""d CM2XGje.>>N_~Km=+ULy b㯗C>,2!t|ϊYǘJ]HOxkٱ,+ rj@ۨ< 6xځ>op xlj>tpou!D(nnj}f-}\?\m$Tiy&e'p[Azl'݅y#+u{c~8Ciojq>H T8M 3"2ԗ6;Ф :\dn{j%wP⑯~\h RK\: >3> M9*h_Ӏc_oVC%ޕɯ*##UÐc`iHM3r9Y7-;@c!BѰw-Dno YHQ0 ;:KX.&X '}0tHN]9Hleǻ%ܫ$e˦|b !]ʧ0+ɋ6lqi->o66WIR^ʘI6TOȜw^k0Oy PbUgt)^% Q8pK>-)4ơnn v7Cy1LZ [-m eeariڬ}gKc3;]^@l%,Ò,ŸY[.fbW}w3wVs.T35֥죂JXݺ)W#RK(7EUC4pldH1&4=`kҙtPݑJ` 5G!vuäMuBSWQT!?DW]R+,;#ScOym=5/uɏEn{}(£Ox|yˎIRA`%>`j: Րk`H4^|D7 ؼbV& ֍0ZM,΃\VW5bR9vOzڰZT^84HnoOۮ<ȱ!)4!@gs.k Ue#HU.ݭx_3Ӓ@ t&qĘ;kki^xjOI䏲#a.0RP3^$pt- jVϻjc*T !OĤҦF>mJeW,a\:mHjƶ ҉$)}!#aUma9 8B{\V)1Ӕ1ca5]Yu TP~35$9VpxJ!AJm6LLP+cHV{ɒ %<4mb:@Ɉ#rzRB6&Zp?Ju6[p|5X%/m$f^a+k 4#ɹG+fjΩ&*>kv9#GҙeX7̯n2XVjCعIsza1]*'vbl3vbIJG'S; H7[$T_~ $AmBȑH3J|,0Za=NjOW,dHwf: q2V = gJ^G90V#a]]ױN aNhL[oX"ԙgɪ+[3a[ Xܧ1T.GR"ʍ⋰%{C,qBıoSST "k v y!QC~GVvD2j\K~M Wɳ}{: P HvD_h=OnkhEPjkDNPR8ιBC,#j挪%XQx5 t!;WV>|fV 7Ou -[YN>i*&˄OIے܅kQZvwe.* 9{J!)TjDM qŧqomq$xw#.< *@ʼ#:u-&lYe$]HyedGIH2@"䠰}CSD-"3'~)eWc5/59&RcZԈ65G${>xtN@hƲIvrVfZlKo tqIq ky@#'O&Έ3e@~g4)X`9-S`gHV .V*BЍkT>i%_>*wdK= ?Wт07 [.!Lqp6 *P=m(5vI|2S )lO{3/K%GPf9Y[Nmc--} !F"ᑰ4+hN1Omq;BEVw~Jx(,l[=?&LpSzgeku\'ǨV- Wե*[KN/;5nDR&2"Di ڻIAT]Ȋ6nn{* VGV6D|:wK^2JQz*8besz+0[ې.Sjb h2ߥ^BV _Ecj&}g,O-c#;#+!ArVVǑ^1tkWɶY+wRtTJyq9;ÏaHԕ?EԐuN}pE]ivUP)d|=~G fWB*xq>Vsa$SȜ@Qj*kYƒ4Qt\wxn]mkѴ3 О cnr Z2/[{kU2TK&E8oc8S9A"˙ٹ)Wd}خ^aEnxS_,6LEEjdvC"Ss 9Ϯ *jv;}jt-L+tTP;ՙ;yP@CdF934 w£ u%; c`}) q#`(+Kuwć*Sb fj#ż7Bc⽋j5~&[sq{s1p>)ֵ 䁖4RpFU^P,tߟO/ 6 |DP'^jIP+y, +, PK&l~]='8􈁱#e@_ub80oUQV-ڧH1T b򑓸tEMnEGo6w)A]0p]jqI-yWb'f)}$]Ce,||ʾML?S Mː۸Aa6$ѹN~)mm}F|y byً, P*Bb\7JiOEy|:t@g)?/#侠:53i|Sݬ5\JaC 2hy>*Ȼڰ iVe6ZQ6")yVZGF;jf{IbnȤ- $.ThÕhIDr5r\qF )Hpw4vJڱgYZ  5% LSaturation_FrameworkSaturation_Framework.Labeled_Lifting_to_Non_Ground_Calculidocument.tex7zXZִF! ^]A-MՋhvG"uIBm5nP| Me{6Cs4=IC 7-ԹU=NOΫ$~Rq2F<0 }ks@RCKu>86Xm(S.1TajNZ_’F<>³=9jA.cJq-Omp+/xvC`:p}t=_m/JωE!Z? |٤M[JVq.c5nj;'Cc"MnmZR@鸩PF@%@(R]rBC1^G v NY?ֵfyс()D!@4KvF&Y|`CuA9elBtmOؿu(iI厮VvG@ZE޳P-N̮{OO –\UZHAwe)|V|chTh@|/Xy2YK7|g[XW5kĭyb7no(-1޳/ō,ci2Ӕ1U>Pr])~ug 4ER "߮3t4ARӘYJRAЖ@pn?p$Rdʕ{@PF, !gx>EpŔYhv&-JqKN[[Q3`OhVuIǺ-e JSREp)#Ě?}\[2&9?.Sx"P[DMp]t@e}ѪDݬ_"ZLtE&ģF#-P&ˈ X,A '*d- OfRi]^O7#R=@(HIiLloT\?|la)lw-/GFU EO-*e)Vyօ"{-n(Q$p !9e2nq;(%Mk#V  2FDAO9oz>H\;cdgT+ϣE F^wrذ͌š~Ƭzi@B:j-7^Kk'iwkPdH##?yWqPVc^]!I̳h2OVx| 4DMh M>t~^PŔt:ޮNۯ|TZ[S%;2ky@/.~])&W<`Q3!I'CA$Y`3ffX/ P~@( ےi|\cwWaHq`خ{c9'{X-JBWbL@/On ̙"C2F9NNqL%{>k~[v*@ .Vk@3h.'t 5)k3Gjc؍v Lf̓.-.-as5ʌVO"?lAfU$>jYϓ-4ᝢՇr؃bi2 c8wI,9A=n)6oSAl^)^\ C%/εj~WMqκ΢bj\Y;^_ s'HDWA.?Ҍ{(.GD ,CTEZLM%=Њr}*Tg 8V` Ņ$PEu31iHR*Y-8nue^3ǔb# ̟ YcSG@K=_xا&# HldB8Je5Y!b哊 u3f U[lkψDY*B  Q<å51İHZÞf̓#qr,<ά,Оh.`5 C/!t fNZ0LI nc 1nz:us~"at}Z#B_[Ñ0_ W`[> q]A1vLA/`,HB/t0z|8.rP_q]↓M]H+5W0VzO69c_yCbjCP"*[`7a ]QF+Oȹ5LM]; :#6`c=D? , y>_Fu5h pHRX@Yk `i@l.nZs+ŵ9*֛>>2 :1ev`nZ߿9OԨV?,*`v @z\ Q%/x%zmUAe5 oSx1ܧG ߟ"R7n5 쉧TU^ne:Lay6R]#?-#;f9ƸXjjĽL,_-?)T|)=FtTIEﰚ4Ae+SxH.h[olj'R)a-{\E_uQ`')jH֪5RIU/=U oE=i¸j_[U1~̭Y[視~BL8j^h57q5S:{@uue(48- 1#"|&4F+&~'{N|rb Fx?v]6<ָ7gyWKJ-%z ˪ȃ^CT*_ TV=u\:G.K~e9.h!k;ܿ]5Ӳp ETRg̲g p5 y.=r( ^:j.ݪ9\P7Cl v~6UTtO([[cһāMTr]D _꽑ܱcv7 t}ZV"+ .ˣkUV~Os.6/8"MrNWY,!/V1Řĵ%c݋.< ܀.-T]R`D'/j7}L1h 뒍hsuIvxLbf >|9;ƒ3r16:f 4OF Mo̶սź\61K|FA7# D#i6a,d}HQPu35(Uv r&3K ~`6j׃OX8HDcl=}'yd;2N4 ̏Jܪ(02cؕ8%'PiW*S)&s ꒿;@.^\<0zQ}:F nhܕ"^ڦ?fXb4bǍk-Q 8ODϧ2\kU4]r5 d5jTSF+ntd>eBIW׵`ʽ3~t\6%9gpw|,"܎|_u)qF5]U^]FOVzw_ '~>g JUE#o Ƶ4E P4{k + ȅr#!A貿'蓁 Yw;cU)##$]ER$Y) C/FYO+WQR $_|6"a'``}B+s]>:`UZvH17$㞷NW;(̪wE&+4yHwC'pV`9Tٙf灍01'N -4vn$-.BެEFS~H=c|؜-OR[TTpqSDx@!IʧO ^nc2[V"-rRS z?fkW(!r(H\hȡrBׇU"{Fi؜'_efV>]TsEBt+caǀ_Ŗ;X2j|7pp.g-&z-\fβ*+&%G#=<69r}Dtp~[oVWfQK.S @$T0 vʂڐ7ONobu|zv>QCSPp!\)G1ho\`&-_rD:뉖%*[(0Eo<®Rb+URT|Ybڤ; ,oٚ7`Qh~odԓ`Bv20 'b -!LEh}>#P7XK~jJXU*1n9! [2@gWi3! F`!5&tRN-Ё ѹë6<}9BH6OOT6+7sRvYci$¹+1&c:wvECN9H?I^'畧6U/3Q㠻<@ʋ)bl:˔}FOjl6ʳ >9Pc؁kHy=Ǩ^a2l0[j}\A@P(3IcOD+ZpRG.=~Zϗ2dwlWZ8ޢiDʰZV Ac`3F[m.uTN"pcU𧬣JRY(յ0Yl|iꊜ`V:c:Őixۍ4wrJnXxˣd^??=&ĝųi?-Kv|&&Hڝp#.L>@KʃXѻ%/A#*e.It+Lgz #\KX'D9@G W2ed-@(E;u<v6^Y`"$b?nRx,} g!ג}eR=!hVv$*퍺(ޝwK%at.8~"ӝPݫQM#Wrz$U2dSrHVO5"fh+,KL3&jHFq0+R_Qg+F#>A(okࡩ//OU|WvΗʗlXymjV,P.\G5RVk6ڮFίgYZ \\5G% 4Saturation_FrameworkSaturation_Framework.Calculusdocument.tex7zXZִF! WY]A-MՋhvG"uIBm5 /non[bGlb,~S`/\L*xӨ#z5B_u,qߢP'B [fXрz"tZ)35Hɇ!hW EM'WaǀpuJ]g *^$CtP7skxB'2 }$ۓ2 <*[pUDDº'&K6ze?@"CHCKa5afUhe~ּSРXN[`mXZ6B U323Vaqf{;Nnn4W__ℐn zA e o„rTP×mצ'+m`rR9ewStݵ wyVJ!gr3U. <}jꔬHY)Igg[o< M&?K5>]]3K>7nk>[t4ЫJ*f;<>m6z)x.7HlZ,[P7a~ڈ_q{B]O͆FϵST[k#^ռ%sDJi-"@@ Ftƍ=v; ֆM9k[KOi '&dN*faө ) |EDyʻfs ޅ"[| OtCMH>X| Qo`/cѮm-Id Wkl{:W"q0_Ʀ1*`+PF(tw(&1~$prreqzwbrwE6OuV_-*]X v75g*U̲E 55rVrPC\ Jx5LV8GGgTּW:2ˉ,pZfBkɕ`76y`S)0ȣV3MM׏AgQCsQ85 DN`hP+'z\CeU\sQ}й1s7ADUP?wKAqMs=qZ/22i^Q9kho1⚣ )a_S)U)RNιLئ.\%+ah+Be0e4ho |W[Vw6tG_eGZ V- Mro5J &;>rloǒ*j> K^K\ѳ d_e2!> dR`nYw_?G wĦ>ceZӗsoMt1#X(\w^--H%9Rܫ6pj$~Fϕ)e&StsFPKq:Q-JUэ>YZ=%l{f QpUhL?? 2 3$v>(j*.a\HE}`@i200x)ݜ|B:h9$?$oYkb**J7ݕF@<434xx..hnB4%>[\ 9w0Jtm T2pIڢwӡ^H%]%ewsJ >w 0]f2\c'm X~J ^yƿ>i.%7E%?lbcbٚޔJf1I=#-T{!^ /`zHNd輴%0_>q^]4ENFHeȩvk'ƌd<^6KZkP̐fH,{Pـd7QR D!+'[ n*:̠ȣ_{zکr2»K!b/FiӴcGl)S~d+b*@EDsf(xOxՆ<)l87 ^L/!W(1*%h(1GG D2[@a*V!([̀Uex&|{=Ȩ9-D ^3Se}mU4\bC-p]`V}Z4Ǘ`W.̌ ;ֽEmw,vowi?8lXQRsu/gWE2=ɑ{pz:m?r<_e\7 /kJ)<TB byVoۀ,^,B zr֊8}kU) IlB;>JO9 9?T0RmZVLDZc8%rlp[Uv~9dy FɺP-+65ĭG/S=EpS]䣳e2zZ, 췼Ni6 ( K޹z @.jנ@XDIu/\7Qȕ:׎ t裇a# #P"Ȳk8s.y?XVE4DWR(Q`1W!ޘʴu<޸7@)w`)nQF%3I|=X;?qT%Jj0,PuNT~V3d鬊Ws*m"wۗ33t}?L]ediѥ|qdo1kx֪{Sdb9R]Zroku.\NG.\T{nZ8++p~3'V^Mh[;֘+GΊҟե>;-!xA2o)V $uib z~|%0]Ih1 /ek; xCz0({q^PK(Y8$P9*4~Khu7TAجRvAk`|@ZV\oc(:֕5][%!H`ܚC΋™v&jS"9b'ۼ 3rS`֨$v).خku _ tz =?3]Q/&yUEmUCjU-T;x5bC%W? g㌪bxhʘ8',6oL=ZrxdSEޭDJ!*j3Qv՟Ku| !)W/Xlx]oh~=Yr6  9Sz8ԏܟ|% 0ߪ 1MQ}140{?T{˝VDi>ф?9f^ l_V̪jk%[:0yl}c2~%ͧ~'{HCZeohBZf䅖k?WҊ% b"nj:c -Ek63:SAĕ8-[_* ,<[ǎ 68Tıoyٲ^6yTzmmaR[ ޣ){%0AӅOK"eWdi{%IیTM3ښ٬1y`i9"ԨYtaa`nIjwU72Շ(K3R-MEcE7mͳ0::Ԍ$Bz iյ} z \b*qb! @ =͌"Ha8#u< ,2~(2 Oi:U{? Spah1J/1װ7g&m8ZM2iy+EC:` mMHA?ax"\1$m4aǂ,D VCI 9!8F~ؖHނ𠳹CzOyy#$G@Ia&wU/] u:ӔnK%j:ܲ"SvBDdYCPl#bb U,k{alX$[)m}F!onSЭsMYBPhMM~|x̶ kW/ݺ<~ForROvc2mxL@_wa#MMiC;Y7!a`8#طP9OW`(RӐdǟBAT6^PK5Զ^\|xLٙ.L'Ҋla BmaHp.=n82a2-׵+I1&aV8-P<1ocoL{ YkZ{wիQn2PG:_ !$k>*_ts4DO1 |J dPXMQ9W(Q- PX6cfk txbF"2ϗk %Ɓ]նh@wjoe|WnK(ÄX ڨR }|Gx3=@xq= TAPsk= V" 9?zQ2 ފk9GGY:EG'X^Ŗ+YNF1ĥO]-xUI*+QAĘehHCyiM%'3"=y+QktƱagFTz+gј6-PSB{h 45 q23j ]pnm!0:o!Ä2ύnk%29yf/Rc!/xe%~py$8-ƫB,"Jd#w;;K  "Qg+Ԇ#]Lu+o]* v 7XtVy Q",zTzG&J5KߞZ 7p6dRDhdTUF7[\dn9g )% }방7T]z^| ::yxLS~jZVvRY8AItt@hsL/w!r.&6kt%{Z˸;`Rj!1{GpFjyZd:E D Aѿ9K-JxwerJ*y:VcKb3J( G4@4_Mȫ i{k_OWVEoDj =AIBXܴo-YaijJGP7w'[{@mlNZe/k"mzp!Y 3bR RO#Pa|P{VHL /hR~ cs[)1 O"~K>$9H7ʑ|$!ӵWGQZԒH_=pR|ZAn&ay&2niw>?:roU cc+Y_rN>O SD1&-$Ԅ,{tI~j")Mi*-ԓji@. wFC]*iKjr^YW}//һoR`2We9DV[r&X`*ܯAS7"D@e^7pа Yf)hL=; 7*:#;qrj jR8 Ci;ՓH0+ 4c!`MD-qo"̂`qؓk [**R'E"` RJM3 ߔkUsV:Ǩ^s RF7\?'MC50+>ȉxkqQ-q/);~-ƫ@)K_uuPP 2.גgM{ da}Ȇ?BYJN@|[̨*&^8?vx?ԖZqhP7{XOA*Օ[Xgy[;QGFw $Uߥ!'8)S/+mS>de'| ѯ".{ߨrR}۸.'ƑYy4*F$7t;$p*A6ߡWf",^r؞ xf`|СB}KCG՟[:ϭUɹEP A ]»H&W| vڮUjyu+ZzzN'o(QR654%ŵfw>+cP(pD-@ eK= DeD J:0Vv33G==&5 no'^Zq/ʋ?Y [H`|T}+C,&c <;KE{oo @1/EgK~^x_M*:'dר~,IK0JC C7?ǂ`s&6E(n!NYώ]J瑀\q2ژ,ؘߎ6ޤOL,!%ˢxQf1[%Ox)N$JtҿOdv)B_4Csesn1*-!5WQ-.nA=#։+R8X2É~@h _foϣZaz_cㅘ\Dc%*[Ϊ*wFV'"N. p~& (`2S, tz5Z9sL/t-ĪȘ!5CeV^8SDh;”=p]2$PڱQG-g<;z^m^YYˊbI֮)0q(Y:q|#9~eNNN& 'uIJ(Xw)$%5d~5::ܕrɠnYے)[e$llOpyiBv:Ea8 |."uV]9^C|#eyW V6(6ٱsR쌩6Q#]HBY& b(P4voOvNpQ`@a k+g0`몭0ֹ4~ 4]d]sw@m:^LDvt^;^Sd"p, JxJ˞EW8 YVݙʫJ GldW&HƏ)BIzm27{v{&A@_@0!93ϊ&Epd/YꘀCPhǘz>ݍrS"Uow8@IS 8ܮ!;U7F~X0gp|/^yvY6D` D$cTA V4/nx+axz(q}o+'z' 5Zڔ!χ eB4X W4i՞'x"* *oHJ̴ uHtؓn.as,bfg1^+/n3BJhbm~yB8ksl SBY% @Z~ė1v)nK8}įn0C )k<G`I{kV sF&nw@؀!.ΖU)/ZDjOZ8,@t3YtD^l(P<ߝYW!#@n{+yGSrK7NBn/捄O8a%5'z8S&´%rs4FX–x%-4&.@[}1@Oj_cV=@ nUԋND&$pjdgAHG@cPPV웊Y{mClCܺB0]fwbk`x泂=&X%jC'ȁJytMMl>n A<| ci$ڌ-|oF;٠ZCम%8i -pv%#Je1`L[txs/e' i[- }yu)P%ޓ܁pT4;ؽA釻 ?}3GNq+@~T^}۵<8ۅv'yj NЁV 42ia[>IIk e[XW^1R j.]醪9 T| . W#c9}o.//u$A(׸Anl3grH5N9pa;:Mn09lĮj\ty&0AF!%r 4R"\Q4T=lTn/uֽANZ*v3:pjW~gMް>[ !PV fi.=yĎJ5idvQ(v3 3 }H| }P´#[+ɁKdL3-6]#ɦhEgs`(ؔBH4y艋v(vaTqsFGsR`X  5U% |Saturation_FrameworkOpen_Induction.Restricted_Predicatesdocument.tex7zXZִF! " &w]A-MՋhvG"uIBm5z'?SYUYOWS>*uxwC41ObycjBGg&If%,7b#"q nS0حśrW3 }5[RpuĔOTh/0u?x$R dLtO/Tt6oESt` S?-EIS,YJUi**Kr†J2^m+.]UD.3t+x^t9 ߏ" ^g5#ߪի#Aa/YMy` &nREV<B Ñ{g׼.Qwd<7% c9U (g1Qrη-sjxفA4->Oo!8$ap7/;ԭjd^hFC*Zcp麶vT1ƨg4\خԑD:V-/oE&!. eCH z l)nԺOuMwh_jU "bm=:s]lw:FyrC9BssQWj8Ȭј`dw\CV`3aQѨ $E5qUh5~Gڑ9ܛ 4tR`O@m#+Jx;^<􃋤J/VT)b!Ɠ1 fl G F1ё=NsDHq-+ˎ,*5OUl(y+ƴnWiD}ңe`n#V7qTW}y"by0if!- ޔwBrr%8&LJd_q./ @HyW$U;E}A0_mQ(=)۾̟a5Kh _^ERRiߪ{aA~1ژ>opwq&; E2g~f}GF}Rrq QoW렆m=:񷒳FL8D:G+Kh @.^DZ^d@`{ڜ%djVi!tXd=lNq3LGSC3@<US=1V#;:bk O^<:-i kںW{BX!bUh`/=lAINӋ`f`,x;cAԲƭx94ٷr䭈Xu BPʪYWI `, iy_:m(I'6P+.p^9"^ \ ?,,ecIV#{x Si\Kx<_]kl`Ipp  ʬ29B.T%s॑T o0eO.35ӕ̺[HW$-Rp\M  nŨUyq9b_V 'mҍk)|ݑ3 {De7}M?|M0=UB@ҫ۞۾)56 x.6݅eɿc9^]G]vf3Uu5r=!yHoy. X%NnuR$$UdJn;Tg8z=]+DB)|ZFmYg&2ˉ!e8@ f]a\g*pYoƁh.1dNsեfȌx}x_a%@}laa&=`ՐW9-Tnn" юWr}ϖ@-WBv@k$̼6Nfb>7奰\sYlCi bMURS$yr_F|­Pi H_s35ûJ2kpC1k7ɜ]?Όr+mH׸c J4eOz0<]@PLG{*..k26zZr{*mċ@)\/Փ7O3^m;"؛O"3 Lݾ&AT02E<ĉR%:5+H '>%\6DTc>oI3 ١ M8S'E8Aa6zXJe#-bf \!Jam WnXYn<- J[6`e׿ O9F@.4vV&SRk5)qD˰-G z51Qw__wYO4s! ٨?qS۽sE+vAB?/Rm"!n)5y.B` 5ďQaMb[M5]*Xf|V= Z%Ъ%;QmA ;|v :gaAN9Zz-:ot"3r H3xUA8h/t7•OaB\VYe}tXd<ݩWК>6Y֋<dJk4 qe49S?.$@:lo,0(pXFmu:A8UgWӟlYŽyURv L->b'; Ph?w ҲU &1eۋmJx05bWXf7< C0elXˌ:~=zkى ܭ9 8W/FŁa=| '/鳖%J0Tp ŰLQޯCܟ#N-hpťOh3>(;%&B<4z [lV봯ۭ1MGM9BhѢ 3jX:)'I{w0B"͓yI߅Xg94Qpy|S p1?nYLMq4g: x5"8 hUC}9f3401VxEvo *T19+9sJ{<7"3sxAb5? 1:"|!1g>}v ׸՝vԜo@/(#abIHO2KIm3. jֲ35ט:ggD*QEItRT!? ׏sV`sh% /mLτ_7PögKk 1Ev銉cgZy j}kqx.zQ6^9@(J~;e"M!ީ-_pnPCo*qW9 ;WߍN/ω|k tnhT O}\.[~1?S+gh3}[-+5By 1ýb#8KFTv$MB'6eK_QYwWe$uwFTVb0D$H3-.)}:JX&ϳy,~VG; h;ŴiOmDھ(zqP]5S+an ;&!ӯ/Ҋw6]!1.̰ /lFdBѢ-#M2/OS#;#ҤU%<İ+bpDf6HP @4(zqP9;nE3,0'ZI[z^\)TFVxQNKu I%p8&atp&4.tۭN I+ ǩ#0w aU5FP2[L3n@U$u>>I,@z:`՞6T![~/|:HX$t,dTkWGq$kpH&fdRK |2!ӾWՐJ=2oaM2Liq&M0&fYۇ 1_;%^ac9)]lSyipۛzeamA5wH9^ap2>pvWufx$?Kp˯>Ӱ+#VBDl&GZoEaՓIWy:>\e[QL>̆%4STKelGVR堇N=Uv9/XH) jKڒu\S%Hn!fPbṣqcǍWk&/ё$phxAr@ʯ;= $!'(FRoWMq(SRvRҌC=6p6]XRE|RXrP)*N 8@7B,qITikn-qCIUA|"s4h]eY!6N>jW%Lfm ueȲV!5ا׫+V5T|ٗsCxYY:#[tHW0'5xgYZ cc5Q% ,Saturation_FrameworkWell_Quasi_Orders.Minimal_Elementsdocument.tex7zXZִF! j ]A-MՋhvG"uIBm51dmrD|9?jv7ވS x_]ySq A׏@L9O‰JJBvuT( {{:Z?sROzAPCP9kJx\Kj@J"1˙ 丨*4k%$gS5GGD}NZGI-_4Z'lnRE SA+N%L#-b m9TLd(\O!T3$!Keݯ?iK[BÙ*n∈rcDH'nȦ{Ɛ[Hw/uYPǫ:9G`ȚFe͗rwN8'Vcyݸ0F\>;iy`j L$i8}71-HMW/cB?W+85l:CFj,#ZnnK`̐bYNtAy?efW^K)V+yMJ0$>)&ZC)QS;)i/Mp>gh2&3M)?1z0јyբLVbJZϽc5QY`dvy*mt&k7Vt$^ݫ Co4Jϼ7& /}(7n hv:Y5)}8Jφ1#_nyDk%]X͗l֌8L7׶k(oko_f,Fw4#;q:2̊y{{dUdR85HQFW./y)\FWLLYm=) s4؃o|Vz)oQ;B~-{r|@H4ZN$FX71XxyB+{ y[a+ tjGU8ݮr`En˟ MskU)/`'Wtr|C%9aƍh[k1 {j bAeKv0ԂjOdQh#?q!3]!pyjXFS>gq{e{5lq2Bیm{?I_I6`*39n~Na]3!0kmn'-"wMmy~NKksݛ!xqvT6f T lg r!Е*zRhb^oHMBQ"v !v2R|@a>,RZZ|yɣ";R#}WT\Up3`GEq?|f*H%JXuϾ)g!&2\EQI⇁}I6Ih 9Z0"K{,{ҷU|d CM. @3Ӳ^c.-wc c]z^04쁹ێ9]2ڕvO?YpIW/ c}QڨQP64bpﱴKbkȵUYa*[VFq%cWcg&kܳۢ\_}Y ܩZf0;U}U4oY qm8 #ݦWJjz0#- oN_oA9"*RQI3JLq=П֘jYrr>OAQyأT}BQҘn Y%M;!Lix뀩Umj/a@+4Wx)a %An Y6*|P q O:+ %+ jmP } 3_*qllƋ(vR~Ubs+@{CisNYKLb'Ly,% }mfB1몉tf#$kO|>( t5D.6. ?n<uhӢ<|8~=D%&HKh$I" {Xk*.~o͠!~Ʒ`(fAJt%}JDqC捘<%:Ӂ|ډ`m>y TS%| {nEh=`4c*~A➊kf ժ~aQaw^ f2hn^ :L<?[^j! D^E ⭜7Ӄ : ڃJ`WJlv>z+M窜 #.@y>6>=Q/[85lK[6{p$Wj kk7kd58>>N1Aw~Q,ஶ(qљ-.Ҕ}y; ňFPՌì0M0m*WF/aL@۲Tl7$9нbzٌFQnc!&@fv43x_2ro- y8 5i,I޴k9U=qEz%)zl72WqQWhfָUzR&u[q`yLaɅec&bKb8ca)*owc]_ O׍dQ o]ADiCbלUlSo^ey11TBd4Wo )KO&n9PGtwDlkMuJH%b:v8o9< "iLa-2syB竘XaAYQ9ʂԢ|>:({~lt:+,莴Fvt?)r6bTqɪ@%%g"IU¦. H+X&9Q{HPS7T/=%}i<;1f+[}]xnO,dUrc,+ "LG "'`Si |#HsW}h7.lU\7ӭ &fDvenWVTnI.f,Pl|pԜ8W4PǩRL R8i;E6_} O4xH+1Y4f8&lT{m??:Dx vL,q54\WKhlyKG}~µSknPK- ҒoV?c`! G nPډv6.0}ǁi^*J<Ɩ}7Z.ü/z JK s) t8sTNGX/Cz&QMg<8AE*  L34|IJO]& ~ -H&zO(2.4{c8xYBy;vbnD5JH#Zs{ւ/b[{@[Kݱ{TB/rlV{yn2I #B c'QKO& w aAxndIP"Ꮋ1K5D wVVǐ25C7 jjEr;;Hc(yD:> TOX 6qK.䁧RUO)CHyCE<#f|v=w4~%tӦ"^ '3,u9NskV>ta !_ I3V>[$ؤ @k*go~;R ZPIm2";W1̊/\ÄOx*nAtw3V3y@L̛=p'yƨ2-C+}.~>mdR-Q{0xm#'+Nb#`X><0Uޅ57͵Gix˲8r#&;%=ȣ)j!m=rgIl;bs0*T?dmJ9c2{> 1z,Ln DZ5KSz4᪖5`  Gh:)sCX]F8}'(ZޠQ/ 1dih9]i?-s'CFꎔa'J-"F)t&bS^Ļϻ$@m`(8ܸPpB}nE5y' [z1!m1ǿ $enP׏ }mg=* #'&meaoi -G[\8+[ð6|{ ؒw?zf?Ѡ{Ai@O=RVT;A ꪉVǓ2XԼq!-I mvf(ߢ/\7k|=eWWSv쭛̀clᨨ2ZpLAhj[eJx‹/e$ݐŲ,^ . gCKiuB"wmq8K+?uZD$t؆m[VVږA寮4GW4Qv,l"Urk$hh9 Ƒ~m~`  Z0d(*{zCQX%9D7:)#l"l#IvTUK+BZоq3y!jPsGJ8EH q/"زdҲ C&b4&RL<39 "ި"û(9xdYݫ)ddd6Myx9=,=w,mmI:Sz]>]iO֐@py},E"An1Y zZ xuD|k=oQ(hbĘtA,Gؙ&CB;*c 2g$h7 d ^HaHUK8Ԍ`&?TJRؽ7|VikkU[}sԾw *[yB6HRΤ\ XօAL`D=4y(+bC;*0[D;1`!=n+vϧu^ĜHR>?%P?"(1.K i^G!=_bU/B@XD ƈ;E\y9Kp~$M_bE5xs#y+օY V&gF oh7:bft?_V#@k?y'~S>reHi24%#ʵF^B#E:oD;{inZDh^Bز_44@PKt3KYVYM$l 1F HrSd. J&u06 {nIEXmVrS[czukֻ# L?D"~Wt6 Ma!eQ~W=V)c?:;iUt@wg9k gy|PsD7YSpnH1xASiĨU 1#%/ΪSGgYZ \ 5]% $Saturation_FrameworkSaturation_Framework.Calculus_Variationsdocument.tex7zXZִF! UM]A-MՋhvG"uIBm5 /neTD ǁ|q6!H)AuRS*Lc@߷;?IcĤY&Uh# ڄe9AҏGT,@;Z W b0=kK2M6!#EC<S@M=:d\|?Ӈ4W ml9:V[zKKyDžh,X ;jOG/N[LVBVaNYfh52%TZ?'3E+ 'lPyx,v';r ohEkH 7*92`K]6ӊmjW9H} .#Pv!EZ1%5״zsӸX^|ok~w<+㏤DҀ(] 8dm@;UFA{:Ajk@RB2nZi~d 5I^U&( G"<@cX7'=V}*\6a/E l- Bx0K'w~t}C2,(^A\6m^^/Cπ&b2(i}F᩠⁍paݝ]Mby tSR3R6;q-\=`!y4۷f o267d7TuZsfCu 0Q:/WbCq W-3%2~.%ҠM_ +(Lk 'i I#tP5w>Qjdgv^\]lEe7x'׮GRl):ѵG?nE[ $3Ջe8 S+ERFؽHGѐOU`nZe 9rzH'Tܵj:f!Ӷ2)EDgo%OsKufjki k:|sHyېejqazR^A LywcE]X/,'{fut?vIW} RN طy*TǔP ^$djz[t8H)WP堣%>z?= G<#l&̈O8Xx2x{.}ol vΤVQ=4u΍ 8`—QZ_JpB+Q0=gC*XD;aj띫Կ$pNlD߇td1Za7 y7ƚ^@Bq'J*uϏoSm,FQهu\mÈo\baAj߷"7n{HNٲ`9K0wJ;g O!` R ّn7NZO@߬d$W3ȍn~;kr{E_%O෎)O9˘t$$T &p\ 9,8KW<~'良4 ߓaPMvƗx8 6@dff+[J}~/:W$ SKCE_=it~'έ)w {bAb#@qϿ+I2ݜb\޶'jԯ.@aK'SDNVEr4A|BV!:け]Zf)3ə`mv=Db RKH+ o؃:)T^XcMIħDWU$ShkW1h!x ::[,!- p} vZB.4kVvD(˳߬@UQ,4ѽA xg%0]1CnĜe$G_q]S7p70e(x`ֵ0k:yV~h1`=#ֿڢu:; -+_DeQe1õe'V MnCcJ%?O[l<-;ΫS49'Eف$8~I!F)K OQwE*.Բ:;'RTBK}Ŷ5sk2Le7/X$ H#S%HEt p?-ןas"$t6aI6Π؋(Rk潦CB&,5V {-t3ٙxHl/e rjB1Ml,܇Ji\hWўOj[ᅡ#Y㙽elUB- p򍣍>WxiΪ/] 犩sT0\1 G 繛SjS} Rs[@@! ZTn=dY_<cEk ސP95mw쇛ƴQfUmer;"~HQe$[1Z J?oZb핓 D#k7'[@o@ %46,*,D^_Oce-̮t-+6bk5<%ôϛqc7tk6YwM|ՀId% b$] Bpl=72KOv!.6~0*礵U'/<6:wyXx@vfO=Mya V=#$`Kes3#TiMbbld@/4qk+,y-2%ٔ_QBA,'Ԧ!B8 DXgU8Lŕf7:U:٫pq|9ETgYbUAaH̍˰: \;}gjϾ {"f̮e F ca@m m{RB fjwzA*K\\Ȇ1x@C&4&,P1nNMȽK9SdecS󎶿#P¨|m 2hǬGoE( mdAǟ@/^_v7Aw &}QAr;9 TmjqX)Ob@Ə#К=+A~R#3.6p1WA+8373o˵T"i%8p Y8`yCiH83)ӓ{p>_09h=1_rpǴ4 8ȂM̌<>E~40C%Q o)/ExH{C?Tlrf/ 3K^ݬ&FAʃ*CkQMM]\8Ro=Q 1QX"10g:DHr sm{vݏ9ǐX۰5VcNJ'Ͳg-D %yajK G*or$w1 ^fO[VV$t M3Ø_SC5߳A?m@cJjK HZ]ACKpF# JPߏ?%nTs"QþI_%cnYhoRϜW4"לhe)7όyO [V^i4UnXӯ#->OGSqFc"PFKdݯotJ⫶Msҫ {Y#''ԽA/Y+$R^dT;P5kԆyΥb7~9 l>P~? R}'}u6yW0jH61sc 7-25ЃH @XJ4sQQ ܔDBa쾼3_Z?S߀5^m al#̡yuQ Vtlqhe3Y9w=@ ŗ*9r><#*uJ${XVȃ|S\Bew7= 7ũ+aȳ_Tkvc"d*7e[Xs&bfȱZ^?*SRoD5|1!S[H,QAۙa#Qhc%ZdcQRI\ϴe쥾Zm7|8,&f3`dZ6bo*mssDk&ͯ^'UʓFy>//3×75eC2c2Hj&%,K6Ken+0_"VNʌ1KDe%&l7CtgmORNZՖ=u*O@ut@KO,a9i6!d?1=-n*tȜN73A(X; ܂hlky쮷ah5 ofљ@#91mt4CXz>[̖'NT8WÚ m@MG%j`6kL xN==[:0RۦFyۺ1 ŷظ8O:q%`6q 2 /@]Mq(h1Wi E(jdY ]Q,Zt P$ldr><~ΐpO?fY ـv$1]ZCSbSHBei}z_? (Rj29SRS |G׃'h1e$b7vN# GR.K/D4z86f`:!#^ѴnrZp0>ABEw"&ae%"4o.2B.IE֑y[sjf$,z@ B]!F&P(].x$c#hpշas>-7y9vPۋ/" rF`p&hƾEVݼ|itB,| D@1b>r[laCy5yC+}dЌMx~P X(P>"?{م o|^ܗU"'-ţ**eA3`нJ3UGgD֜#1띊G 0NSކJov \LJ6Om;^:+^UupT™XȦ#.uf{S.#6m4ҲYdh@EU3Lgwq*dpp4-WzׇJ%#0H 0mD{?Y6#QjF-2F! ջD^5uc D:aK4/޽} Ŗ%Ǒ(Z L¤!nUBqckdޤ&=5l5_~%C$-aǏJrĕ,+Է( 03;oEOtG?X&` }.<9>J%Xkq0W^ ն3'$ZU44ʨ@/r7rf""<^GbIU&saڛ6[m$C?ʲ 1߷SvA& e k :c Gw.`7^|%zTk!pZH^-? ڲu{FLDq2VѹFwV)k/c!.wS4{ѾR@:0uе39~_myvJ8X0X|[,MAȠ;ƞ&BaiӶw"l 2;g) 4coh>!*,na\!'J"$9LS09) J&YH K<U9/HeXc[Lt<~K }얨(B1OeIcg'bfrጙBEcW,(i/%)< زjȥzSL"OsR &x _8uˣF=rE14VG~` Oa?Ɯ@#I1ƀb\5"0b.V %,6&$:9I )Qp ۚumCJC}6,EZ+"b#eUB,}<'j$s$FF:`1v-:B|녋٤7ŊddoТh%@؛dY3k05# By #3`^'9/Ӷ).I4mk3庫;ߑU􄧾},X s?1grkso[9 ѧp2{GeL!bDx}V /g|w)o@ČR`]5U3w^ƒaTYs ̬!B ;EY*3ۂ/g:},b~n7s>9vLo+',FTp*5&fEIK4sAŬ؛,6uehD$={Y%( M˰+#Ӥg ՜AnJ|q:&*[ovtWN#T1%)d pͫI*@gzIs. 0d*Euȶv_)ؔ‹ԁZMULoit =M ˹ǽ: ^XR˓F2~ZBLG1SGc_+8 3-Y`+R&WӫYc0g^83`)u +͈?]h il!S>D[Z9V] :`kNE~ҎS7<{xV ϐFn,`ZΣ*HzCQDZbPg3pm@ae<-yxPC[Xm<(/L7ly)yۡ;a\7tɋ݄Dr{YdS{m@ydyNK} `Yt W#V #?_`gKDP2PGP2Sݦ.[ UT#rrq @#\H5@FE(QnzX!Gkn<֬cF RZ*W'"wXEܖF3\l mƎ&}7Jq+kD6OJG4PMBW?ڥR8}' U%H+!ͭB`C8^be(߾4aoVgeWū(3waJȷ`^J+ s3u)#Zgp覗; xٷn.iKkN^,QS͋r+1I vzS]j(gGC0?(ha`&9ox_=PGXU_ӞA`l4\^*J^}iC3ZO}ı4e5V(6Ӆ2ԩB \X3.LlĔşn{tohߏ37Ф1͡);ݽ)lW.$\?F¢Gw}qzDbaX߬|d,254)y E5ʬXbw%0u+G(B77 y#}"EBjfWO-e8,fј.xέr[bJvևͺomˆ>l{ݮd'q}y/Pb\+qf8/lZt SSxc0A'XtzKǃP+~2#Ph7Bs '9]UX0zCjbY C> QlI}q]~ɀaEv*ܖv Q9`-2%7wHՖ>/=_(3ݴO$d2l"/ NE 'f,[hR a1ΙDdTȸi˺=&0mO\ L@~+hv6-#r~-|OMdgql͑2DGKeb]]v7bc6ZhluϤvޱ=ga4܌M۲=p=>fdPHlmck5a$4_,qoe0(dn_m ~2t( Of,D;%$l}2z^N ;)+@/D|CvѴr*m_ PbL0GӂzX]ů$DN zKäl` ~ZB|7:}s i/'`r(DQ6iU^FCtˎS'7@ G.( - gyP3Dv+ eY?:|fXIɪ$[3 &rβ3Z_qW3]xr<@DZ\HrI(NJ[W*k}Ʉ_NO ҍx,&\kyF||V R% ۥ_Fo<Wa&$˛xΐVU%K$G_\wfg[ſ #0㲧Ji{;lxBJ_m܋Լ]t10s1kloU{Jt2/[d>UQnBso[#8yi|i1C6, prфݺ.g ~Z //jy"6#>x&@ =G"Szt`[0 :71نc(ز+>hv׶=x-DtOp98%e}x0[~L7l@0ZofwObl2svhY>gb{ES%-{cNd=<dI<[6x傥Ҧ[|t:$?F}}Elpyႜ9Z]MR5t0VVL|_”bPȀz>8cm[3 x6y?(Ckr;Lj4"uh g`eE>5KFQ~]!GG/~5UwȌ4ClˣQـU4L1,Ͷ\|Sj#xo)<)aENZr"0>~nVj8C}9XzZdޞ-xz V), P]Sy,m8vh)H5a8P`}qŋ.wx5WB>&*0QǸ~ 5iꉄ\^r'xVyC ւ.]um;*PG,F1씀POU*=|wׁʫcUh-BCZPWCZ&60 c@ N{x;UImԔcLKF>"mVA` i H |zOx)4q;^4k)u{XA.N猿&W+NN95y c"Qʧd{V/,ϒy$Kl+G/ѷQp5xʗۃ7}gl_!'섇8@\V뉬d1Ҕ]NT#9o} UE &U 3?R0D Q[{ؤb ]n i +Y\Z(lTFYZ iFk*>z\~;=k(Z 0ZD"՝%L.I3ʃTt4iz_D}e^_@ڲ@Jee5 8|@9qE=gʞ5lp`Hd6fJ2i4u#HfWn#"`F=z8nB)顺8'ߐę5l8ے>t@GM@@=aע %/Yk𣑧, sIAdw747]\t>4PBݽh_%|L^cRF6r.jB#Wവmm cH45bJtMؚ2ٳjLn2L͕$vh`x>^->5`t"#;~ m%É1#)M%<&7R,+ۏ'\@ޯ8sɰ| `vIMAYz!K?JL,V>%J.7>U9䠴\R,GaQK!>84M5 *c \ 7;$R&H2zxn}PuJkiHvjj("->P4{2RՏ?' %~ $J0۾cTTt>xlHK? k9-).>5SJwrMm]^yۏ[BIlR4>nzb#g_QNJ\T3.@A[ˈ(n@*A K钥hY)\pV ` M- 2cțm%CIe*r^"7j7i3HL @mP/g=N)t v!˴{@4qa4i:"Ţ2»0,Qe0ߙ(P"{C5a5FT&F߮/ #bIs܇D^h=gPy}:067{=ԗ̋8u/(JYm> %ڀ0`Ы6! 塜D{#-3-s ;xl a|~w<~u$%bz NՄ4 >-So !5;(aD{&hө?)Ƨ9jK7~S;\f̑*Us荕YXͩN@ h;5D'K={ӱ~>2+Se* ;*(a"ZH_C'(10)ݲ b6ݷZpFeVg %_O'wϳ7O)Ry$$+Yˍ3[P;H?>00am WbyʐRGN.#Gͻ?坺e kfCXpNFz[۝A۴[3 A;41r (il#J 0jn_v7J? #Otܔ|28(]sɸ?܋n_{RWyJ&o|<1h2+9z{- vFU؄KA+ [W Jm_:/d9B!8iGt ^%7:<>.ub~7+”'NJ+ICm%3DeĪ{5ڦRjy eEBj*}2,l5E!˂s^ϣ#9;? q݁/2섽IG:rRl)|K[G?v8]Syq#6>jrkՊ$^ROӄM|ؘ@P>_}Qk#QB 5eؖʛKUb`=QD7N[&i,Aɳ&0Lf[3Z.{^FL*iգ9qg34(ӃM *6 m?lbP|̅uV"ˮC AƼuIXvwε4+)ȶf:B3Kå*I虓u0sI޵!GQ*еnS&1 Ӏ|U65{'|r:e_-brW:}o9^I ⮸#t:e{Kכptq_`9Pj $! /|LVF qs8l~%aÊo[gmIfb_1L_5˷7SaXawaiZA~d frh8gXSR.t~ιYxUA{u1h" jOSj@ 圶_a>uw _!(!,8KTGQfGC!*h>{ֹM;Iè8^pZ#p\Hu4Q |b&NzZ Ln#uttq)W9^5{OR|pU:ҩi4{ܣ5khjNU^tAr)yiJ! bX< wNJu F.Eq3eD$f^GkIۺ*k7D 3n]"*QUoⲖc1B؈y@S%HL, )~J/cJGH*?Ȏ9iʷKbR kVCx_p?>ظY>%-IR5d9opQX r#H/+ NX٩cݼUKSJw \XX{$NO?pO!p2saȯC+mx ?;*!>6CU֮D&FeA% A0.54)jl[7Nԯ/^tN=*U'HL1%c['b=mWPb0o"a| tn)6:^MߕbCA]^42yy:a޺\<Շ׆>NtL>y)\I Z俐*Z,kޏ}ֆ!#^//96lT&4t5EՃ9wC4(&Fc`%׍K 9%F}њ)x ^SK$(ȟ)pID܊L÷Hun|ƊbW=Vibrxz_$ٹ5,ؑWݓ0IQ|ph8 wz\rRsCH 5+Szd8C8~vqMwJ"O2gZ|@O1^|J emeEaZ+!^_8ZX |i}y8!μvI H%ucqN}2Īzρu>v678K`vNx+$FgYZ  5k% Saturation_FrameworkSaturation_Framework.Given_Clause_Architecturesdocument.tex7zXZִF! /+|;^⛜zm7z?2ꧩ]/ Qs!GHs)>WDZVpoeӍa($rQ@9Ѣ4ઞ;jv~ tb](Bf4kU|{} ? {~g'nGNbP&$Z}bnO֚]Oү|)th(j3>0.}K?{qM+6,VvүMdB$ H̪Q2k!jmΛ ;&U, 5=G03Bmr&AVw{,6?SP ;}į?%N͡oML| 4+!YRXk:ObQؔ5(#p2v&QE$6t޾-( uE 3ɭK,~TfЅ\[BdB(nݚY0̑)SAކ׶KUl>n5$Hep/.(p/Q` hMZ N =AHh}ӽN?-K'sAeD;~1&{Iھ6PmZay|"|6E8ӎNϥE`  ʺjjwn.*vx "nb&hI!!Trΰ Imrvfg%> OoD0p"xT]gr3R|IÕI sZw]Ə23]eзP{Zg{Nܽ`2I 3fe@vx1%xP _NY[~R?^>lgAtR(k/SL1>If |U(4+SҘjƴVIfOm΂Urwk nƳ:sTC~ò4Lk Ƽ8 `|BŅ7}ҰjFFjYp*o3Y4qQ?zzUIN\]YzN@w F=)mz u?O`Vu|.jEB_&r B1ϋG~@ Q%EŘMNsf(eks3#:]% sv/i~Rkx9P9Rb95cxLW`7AEd3rmOjl8vgRiFPx|׭|5&]3%A^3lB`wḠ'G HMs/v|.F  هe,n_k*٧E'>WqV&)S` M|h S$ !I XrqH+ɫ}O>]WmmC!&U,ZgGɦmǀAY) {COXD U.$,ȱ:Ů$4zE6Yg?&ZE~c]'#F0uҭ#j8[^7!-NcJ3W#LXgr'u~28 D\#쥑^Nz\SzIY3F2D+k¢4ݬ}1@ιQ5Yl,C;j:v?'gw40w 'C>UE?|=I:Q;:W ,{,>4*75 13 T@C*ɳ`ױo_h$_1b2=D.0@7vej~DCZ~zGL7ˀ-KK;es)18S --f{XN#xr,wDMHljCCeDr$k!+ jWG;Iw5-2?4dD$?Z-cRA!>w\)zvOIeSЋe`u Ktŧ_ sC*+RP&ݨv/Ϣd)4G'3d?y[_= $#EwRZZ-  NyqhEcm}ێY(Xs+[)P^'+`wSin8N+p#DkfTnrE LڃJJ5J?u$uG&K,QmMbek|ڪ˰mVӎ:DB;<ʼn5z&Cu!Jh1=X\U3JwƸDCj=OuQ.:+geIieAi IVz;ioZ/дt(h+&xb `U!] [T%`z.KNnfث|p@&߅  uS~o }X\׭K/Pʻ7U[&:jvh\9GD.UupYn!P*6vcGNGd('NB k頾􈖰D٘? ^4eGכ`hO"<}ݪg,Ne J~\F .Z]W(g:v0 dYpix;ŜQ/l;&:HE]CIl*:MU?=m&-P:*Y y(easz#Gz!TvEXb8/OjLBB,h91aX/dra|ep71rzyh_dٲ#9dw q [xp<׾pM^-`'u8i1sf)ٵ5Һ:ZU obRYZ'w,s4׃`v?LanXxD7邴pU@G7syVÑ|mWatL9/ 6kZŝe#C,ȱzԢWrIqzc592o ӗ 0C |QSH9VR5\fxhPʽLVa:{R"A]i)/27 _: z,&yJ1ڹeV/"h7!~R]SPaR8+* ַ%|hƭ525~WƏf@3"9|>!YIvpc4"d]_*,i;10~/Oc14fkFa+vr7m;jɟy걮d5JKlߢےyMQY'လa|a5]L4b0/4m(SPiꈐq7kk|Q0a'D@d1 nZt-KY|tHN M2B wq @[L%x{Sg\VudWs%գ*װec-qEb[O~bRs|s|wEZv2tD8b׶wGh\ʧ?d`zT`CTTPi2^LuNJ`aUQb Z*ia!mlG.KY@dJRy>I>4 &R!TMߚETBQݟ Q`d'@vꭁ8 [-EkJѐeARhu)(6)c}=.D)S(EQ@8`Tn), lJ{hypęӉ316ڭĈzpQ[Kz(zx= EdA8 V㢌Df2 #^i3(tKѧ l:%X{ x8-lvT@̿=f)LtǙ 0֧iR,&,_I҄я kȁZSdzRľ$&; OI5 X˞P2Ԍq+Eu k`!AsOO܋*0ZSa{ c5lu9\_,pXnT8p-'Am9*!3q-U. Cf2< w#X06$fwH@ X%} G9v}~d}*&m m5PAd_1?N=KШI1G]!C"s9H3՛@,i ޴zâk]-mN8RGn?VJ:?^0\- UH( @ >'{؞EQh 4(,*07߉owԗBK'I Uwc@6 cm=[8S _2x% Iz^pvCC%QCucF]fT:̓%n@K7kmJ Ao[jQZgMM('0#cV8gk/ q7U,.*ϖ@9z4IpbFZ; hXy%?AZ XiL$DxttU6}[IDd^[rʸ҉&>v"/_ԥjg}0}RM1& -6 eEITR}jh\ lV+bBP2~(=(&2~uAg{x$HJKNHcB9 ,Y5 &];(Ii>fSEa_/7 7KIL7H09 ٞ8EӦͦcpcb1@mDeSixYI`Nbp5{ꖭֈr*0&!kŵNϳ}EaiCT!r\q_uAd{G\F$!P=vqGe;i!}/ W&c i{.$wE|PFD ڢ.Xq'd,LYJE?T?G:Fecn c:*v >i7rt7>' yN˨y|xSJg^r;-ى{kM. #5.115_DMkNq=WӰ(PPMdg bj͚_^v#Iv{ Q+1WKgǹ ;ܳHZ_{vt{9O)KًFbjQ;S, K{*S9MX[FN:bP&˳/ ]g cTx[fXxDP6k>sB1m.8db2gYZ20ddec396fa86e8e487454af2f7d73ea4ce0700a96398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 fbf84b3a7065bc63dafd29bc1f88aef2ad5c8b93 ffde4b21d3415856a2aa742263abb20386eebed6c4cedd534820b6718dcd9765e0d2edb845e32db1